simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-05 19:00:33 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions
1909 commits 53 branches 1 tag 17 MiB
Commit graph

14 commits

Author SHA1 Message Date
Simon Cruanes
b0cb60ab67
gitignore 2022-07-18 23:27:07 -04:00
Simon Cruanes
5427618dab gitignore 2021-03-29 13:30:13 -04:00
Simon Cruanes
a14fe25ba0 chore: add tools, update gitignore 2019-02-16 14:50:34 -06:00
Simon Cruanes
ac50e10788 big refactoring 
- move to jbuilder
- use a functorial heap (with indices embedded in lit/var)
- update Vec with optims from mc2
- change semantics of Vec.shrink
- use new Log module
 2017-12-28 15:51:04 +01:00
Guillaume Bury
8896ce2b79 Documentation update 2016-12-01 15:35:15 +01:00
Simon Cruanes
51f10d7ad5 update some files 2016-07-22 11:31:17 +02:00
Guillaume Bury
cb8092af3b Cleaned makefile a bit + moved the testing binary 2016-01-30 17:02:24 +01:00
Simon Cruanes
2fe5be8317 update Log interface, with real/dummy implementation 
- `make disable_log` to use the dummy
- `make enable_log` to use the real one (slower)
 2016-01-20 21:04:44 +01:00
Guillaume Bury
3c235e259d Sat Solver is broken. 2014-11-01 02:12:17 +01:00
Simon Cruanes
a1f46f4870 documentation 2014-10-29 14:25:29 +01:00
Guillaume Bury
ed037a4aab Replaced old makefile (we use ocamlbuild now). 
Added .merlin (still may needs some work though).
Fixed some warning of deprecated use of 'Pervasives.or'
 2014-10-29 12:43:08 +01:00
Simon Cruanes
d81b6bd2bc META file 2014-03-06 11:10:06 +01:00
Simon Cruanes
ed33ff6b33 gitignore 2014-03-06 10:53:10 +01:00
Simon Cruanes
d7f09c9791 initial commit 2014-03-06 10:45:04 +01:00