https://github.com/xi-business/infsat
Tip revision: 31552cff3d6d4239fcf05c9c201e9c2fa3678b7a authored by Jan Wroblewski on 10 February 2022, 12:43:54 UTC
Removed unusable benchmark and renamed the other g45 one.
Removed unusable benchmark and renamed the other g45 one.
Tip revision: 31552cf
.gitignore
*.cmi
*.cmx
*.cmo
*.cmt
*.cmti
*.exe
*.log
*.prof.ml
/benchmark.txt
/infsat
/infsat-g
/infsat-debug
/infsat-prof-debug
/parencol
*.out
*.callgrind
*.cpuprofile
ocamlprof.dump
ocamlprof.bak
top
test
oUnit-*
infSatParser.ml
infSatParser.mli
infSatLexer.ml
TAGS
*~
*.o
doc/
coverage/
