simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-10 13:14:09 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions
sidekick/src/backend
History
Simon Cruanes 27cbb981e7 more controled API for Res
2019-02-11 16:55:43 +01:00
..
Backend_intf.ml capitalization of files; add new Log 2019-02-11 16:55:43 +01:00
Coq.ml more controled API for Res 2019-02-11 16:55:43 +01:00
Coq.mli do not expose St in solver, but only expose a restricted API. 2019-02-11 16:55:43 +01:00
Dedukti.ml more controled API for Res 2019-02-11 16:55:43 +01:00
Dedukti.mli do not expose St in solver, but only expose a restricted API. 2019-02-11 16:55:43 +01:00
Dimacs.ml make state explicit and add type t state-wrapper in most modules 2019-02-11 16:55:43 +01:00
Dimacs.mli make state explicit and add type t state-wrapper in most modules 2019-02-11 16:55:43 +01:00
Dot.ml more controled API for Res 2019-02-11 16:55:43 +01:00
Dot.mli do not expose St in solver, but only expose a restricted API. 2019-02-11 16:55:43 +01:00
jbuild big refactoring 2019-02-11 16:55:43 +01:00