swh:1:snp:5e8b82b979dcfe9ccd62d3c9957f302efed5e599
History
Tip revision: 31552cff3d6d4239fcf05c9c201e9c2fa3678b7a authored by Jan Wroblewski on 10 February 2022, 12:43:54 UTC
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

README.txt

back to top