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
File | Mode | Size |
---|---|---|
benchmark | ||
examples | ||
.gitignore | -rw-r--r-- | 281 bytes |
.merlin | -rw-r--r-- | 42 bytes |
COPYING.txt | -rw-r--r-- | 34.3 KB |
Makefile | -rw-r--r-- | 2.1 KB |
README.txt | -rw-r--r-- | 3.9 KB |
batchQueue.ml | -rw-r--r-- | 871 bytes |
benchmark-all.sh | -rwxr-xr-x | 813 bytes |
benchmark.sh | -rwxr-xr-x | 1.2 KB |
binding.ml | -rw-r--r-- | 1.2 KB |
cfa.ml | -rw-r--r-- | 18.8 KB |
context.ml | -rw-r--r-- | 12.3 KB |
conversion.ml | -rw-r--r-- | 14.2 KB |
duplicationFactorGraph.ml | -rw-r--r-- | 20.5 KB |
environment.ml | -rw-r--r-- | 6.5 KB |
etaExpansion.ml | -rw-r--r-- | 9.5 KB |
flags.ml | -rw-r--r-- | 1.2 KB |
grammar.ml | -rw-r--r-- | 5.7 KB |
grammarCommon.ml | -rw-r--r-- | 1.2 KB |
hGrammar.ml | -rw-r--r-- | 13.7 KB |
htyStore.ml | -rw-r--r-- | 1.0 KB |
infSatLexer.mll | -rw-r--r-- | 1.3 KB |
infSatParser.mly | -rw-r--r-- | 1.8 KB |
main.ml | -rw-r--r-- | 5.8 KB |
main_wrapper.ml | -rw-r--r-- | 54 bytes |
parencol.c | -rw-r--r-- | 946 bytes |
profile-debug.sh | -rwxr-xr-x | 535 bytes |
proof.ml | -rw-r--r-- | 10.3 KB |
safety.ml | -rw-r--r-- | 2.6 KB |
saturation.ml | -rw-r--r-- | 17.8 KB |
setQueue.ml | -rw-r--r-- | 1.3 KB |
setVsList.ml | -rw-r--r-- | 1.6 KB |
sortedList.ml | -rw-r--r-- | 6.3 KB |
syntax.ml | -rw-r--r-- | 2.4 KB |
targetEnvs.ml | -rw-r--r-- | 8.6 KB |
test.ml | -rw-r--r-- | 95.7 KB |
test_wrapper.ml | -rw-r--r-- | 68 bytes |
timing.ml | -rw-r--r-- | 1013 bytes |
twoLayerQueue.ml | -rw-r--r-- | 1.2 KB |
type.ml | -rw-r--r-- | 6.2 KB |
typing.ml | -rw-r--r-- | 25.5 KB |
typingCommon.ml | -rw-r--r-- | 1.1 KB |
utilities.ml | -rw-r--r-- | 11.5 KB |
utop_wrapper.ml | -rw-r--r-- | 27 bytes |