├── LICENSE.txt ├── README.md ├── images ├── PCFL.png ├── PosterPicture.png └── SummaryCharts.png ├── lif ├── .clang-format ├── .dockerignore ├── .gitignore ├── CMakeLists.txt ├── LICENSE.txt ├── README.md ├── include │ ├── Analysis │ │ └── Taint.h │ └── Transform │ │ ├── CCFG.h │ │ ├── Cond.h │ │ ├── Func.h │ │ ├── Isochronous.h │ │ └── Loop.h ├── lib │ ├── Analysis │ │ └── Taint.cpp │ └── Transform │ │ ├── CCFG.cpp │ │ ├── Cond.cpp │ │ ├── Func.cpp │ │ ├── Isochronous.cpp │ │ └── Loop.cpp ├── test │ ├── README.md │ ├── ansi.clj │ ├── benchmarks.txt │ ├── benchmarks │ │ ├── comp │ │ │ ├── hash-one │ │ │ │ ├── include │ │ │ │ │ └── comp.h │ │ │ │ ├── input │ │ │ │ │ ├── 1.bin │ │ │ │ │ ├── 1.txt │ │ │ │ │ ├── 2.bin │ │ │ │ │ ├── 2.txt │ │ │ │ │ ├── 3.bin │ │ │ │ │ └── 3.txt │ │ │ │ ├── lib │ │ │ │ │ └── comp.c │ │ │ │ ├── llvm-ir │ │ │ │ │ ├── base.ctgrind.ll │ │ │ │ │ ├── base.ll │ │ │ │ │ ├── comp.ctgrind.ll │ │ │ │ │ ├── comp.ll │ │ │ │ │ ├── lif.ctgrind.ll │ │ │ │ │ ├── lif.ll │ │ │ │ │ ├── lifopt.ctgrind.ll │ │ │ │ │ ├── lifopt.ll │ │ │ │ │ ├── main.ctgrind.ll │ │ │ │ │ ├── main.ll │ │ │ │ │ ├── opt.ctgrind.ll │ │ │ │ │ └── opt.ll │ │ │ │ └── src │ │ │ │ │ └── main.c │ │ │ ├── plain-many │ │ │ │ ├── include │ │ │ │ │ └── comp.h │ │ │ │ ├── input │ │ │ │ │ ├── 1.bin │ │ │ │ │ ├── 1.txt │ │ │ │ │ ├── 2.bin │ │ │ │ │ ├── 2.txt │ │ │ │ │ ├── 3.bin │ │ │ │ │ ├── 3.txt │ │ │ │ │ ├── 4.bin │ │ │ │ │ └── 4.txt │ │ │ │ ├── lib │ │ │ │ │ └── comp.c │ │ │ │ ├── llvm-ir │ │ │ │ │ ├── base.ctgrind.ll │ │ │ │ │ ├── base.ll │ │ │ │ │ ├── comp.ctgrind.ll │ │ │ │ │ ├── comp.ll │ │ │ │ │ ├── lif.ctgrind.ll │ │ │ │ │ ├── lif.ll │ │ │ │ │ ├── lifopt.ctgrind.ll │ │ │ │ │ ├── lifopt.ll │ │ │ │ │ ├── main.ctgrind.ll │ │ │ │ │ ├── main.ll │ │ │ │ │ ├── opt.ctgrind.ll │ │ │ │ │ └── opt.ll │ │ │ │ └── src │ │ │ │ │ └── main.c │ │ │ └── plain-one │ │ │ │ ├── include │ │ │ │ └── comp.h │ │ │ │ ├── input │ │ │ │ ├── 1.bin │ │ │ │ ├── 1.txt │ │ │ │ ├── 2.bin │ │ │ │ ├── 2.txt │ │ │ │ ├── 3.bin │ │ │ │ ├── 3.txt │ │ │ │ ├── 4.bin │ │ │ │ └── 4.txt │ │ │ │ ├── lib │ │ │ │ └── comp.c │ │ │ │ ├── llvm-ir │ │ │ │ ├── base.ctgrind.ll │ │ │ │ ├── base.ll │ │ │ │ ├── comp.ctgrind.ll │ │ │ │ ├── comp.ll │ │ │ │ ├── lif.ctgrind.ll │ │ │ │ ├── lif.ll │ │ │ │ ├── lifopt.ctgrind.ll │ │ │ │ ├── lifopt.ll │ │ │ │ ├── main.ctgrind.ll │ │ │ │ ├── main.ll │ │ │ │ ├── opt.ctgrind.ll │ │ │ │ └── opt.ll │ │ │ │ └── src │ │ │ │ └── main.c │ │ ├── fact-2019 │ │ │ ├── crypto │ │ │ │ ├── include │ │ │ │ │ ├── _stdlib.h │ │ │ │ │ ├── crypto_poly1305.h │ │ │ │ │ ├── crypto_secretbox.h │ │ │ │ │ └── salsa20.h │ │ │ │ ├── input │ │ │ │ │ ├── 1.bin │ │ │ │ │ ├── 1.txt │ │ │ │ │ ├── 2.bin │ │ │ │ │ └── 2.txt │ │ │ │ ├── lib │ │ │ │ │ ├── _stdlib.c │ │ │ │ │ ├── crypto_poly1305.c │ │ │ │ │ ├── crypto_secretbox.c │ │ │ │ │ ├── lif.s │ │ │ │ │ └── salsa20.c │ │ │ │ ├── llvm-ir │ │ │ │ │ ├── _stdlib.ll │ │ │ │ │ ├── base.ctgrind.ll │ │ │ │ │ ├── base.ll │ │ │ │ │ ├── crypto_poly1305.ll │ │ │ │ │ ├── crypto_secretbox.ll │ │ │ │ │ ├── lif.ctgrind.ll │ │ │ │ │ ├── lif.ll │ │ │ │ │ ├── lifopt.ctgrind.ll │ │ │ │ │ ├── lifopt.ll │ │ │ │ │ ├── main.ctgrind.ll │ │ │ │ │ ├── main.ll │ │ │ │ │ ├── opt.ctgrind.ll │ │ │ │ │ ├── opt.ll │ │ │ │ │ └── salsa20.ll │ │ │ │ └── src │ │ │ │ │ └── main.c │ │ │ ├── donna │ │ │ │ ├── include │ │ │ │ │ └── curve25519_c64.h │ │ │ │ ├── input │ │ │ │ │ ├── 1.bin │ │ │ │ │ ├── 1.txt │ │ │ │ │ ├── 2.bin │ │ │ │ │ └── 2.txt │ │ │ │ ├── lib │ │ │ │ │ └── curve25519_c64.c │ │ │ │ ├── llvm-ir │ │ │ │ │ ├── base.ctgrind.ll │ │ │ │ │ ├── base.ll │ │ │ │ │ ├── curve25519_c64.ctgrind.ll │ │ │ │ │ ├── curve25519_c64.ll │ │ │ │ │ ├── lif.ctgrind.ll │ │ │ │ │ ├── lif.ll │ │ │ │ │ ├── lifopt.ctgrind.ll │ │ │ │ │ ├── lifopt.ll │ │ │ │ │ ├── main.ctgrind.ll │ │ │ │ │ ├── main.ll │ │ │ │ │ ├── opt.ctgrind.ll │ │ │ │ │ └── opt.ll │ │ │ │ └── src │ │ │ │ │ └── main.c │ │ │ ├── include │ │ │ │ └── fact.h │ │ │ └── ssl3 │ │ │ │ ├── include │ │ │ │ └── ssl3.h │ │ │ │ ├── input │ │ │ │ ├── 1.bin │ │ │ │ ├── 1.txt │ │ │ │ ├── 2.bin │ │ │ │ └── 2.txt │ │ │ │ ├── lib │ │ │ │ └── ssl3.c │ │ │ │ ├── llvm-ir │ │ │ │ ├── base.ctgrind.ll │ │ │ │ ├── base.ll │ │ │ │ ├── lif.ctgrind.ll │ │ │ │ ├── lif.ll │ │ │ │ ├── lifopt.ctgrind.ll │ │ │ │ ├── lifopt.ll │ │ │ │ ├── main.ctgrind.ll │ │ │ │ ├── main.ll │ │ │ │ ├── opt.ctgrind.ll │ │ │ │ ├── opt.ll │ │ │ │ ├── ssl3.ctgrind.ll │ │ │ │ └── ssl3.ll │ │ │ │ └── src │ │ │ │ └── main.c │ │ ├── include │ │ │ └── taint.h │ │ ├── log-redactor │ │ │ ├── include │ │ │ │ └── log_redactor.h │ │ │ ├── input │ │ │ │ ├── 1.bin │ │ │ │ ├── 1.txt │ │ │ │ ├── 2.bin │ │ │ │ └── 2.txt │ │ │ ├── lib │ │ │ │ └── log_redactor.c │ │ │ ├── llvm-ir │ │ │ │ ├── base.ctgrind.ll │ │ │ │ ├── base.ll │ │ │ │ ├── lif.ctgrind.ll │ │ │ │ ├── lif.ll │ │ │ │ ├── lifopt.ctgrind.ll │ │ │ │ ├── lifopt.ll │ │ │ │ ├── log_redactor.ctgrind.ll │ │ │ │ ├── log_redactor.ll │ │ │ │ ├── main.ctgrind.ll │ │ │ │ ├── main.ll │ │ │ │ ├── opt.ctgrind.ll │ │ │ │ └── opt.ll │ │ │ └── src │ │ │ │ └── main.c │ │ ├── mu │ │ │ ├── include │ │ │ │ └── mu.h │ │ │ ├── input │ │ │ │ ├── 1.bin │ │ │ │ ├── 1.txt │ │ │ │ ├── 2.bin │ │ │ │ └── 2.txt │ │ │ ├── lib │ │ │ │ └── mu.c │ │ │ ├── llvm-ir │ │ │ │ ├── base.ctgrind.ll │ │ │ │ ├── base.ll │ │ │ │ ├── lif.ctgrind.ll │ │ │ │ ├── lif.ll │ │ │ │ ├── lifopt.ctgrind.ll │ │ │ │ ├── lifopt.ll │ │ │ │ ├── main.ctgrind.ll │ │ │ │ ├── main.ll │ │ │ │ ├── mu.ctgrind.ll │ │ │ │ ├── mu.ll │ │ │ │ ├── opt.ctgrind.ll │ │ │ │ └── opt.ll │ │ │ └── src │ │ │ │ └── main.c │ │ └── scelim-2018 │ │ │ ├── applied-crypto │ │ │ ├── 3way │ │ │ │ ├── include │ │ │ │ │ └── 3way.h │ │ │ │ ├── input │ │ │ │ │ ├── 1.bin │ │ │ │ │ ├── 1.txt │ │ │ │ │ ├── 2.bin │ │ │ │ │ └── 2.txt │ │ │ │ ├── lib │ │ │ │ │ └── 3way.c │ │ │ │ ├── llvm-ir │ │ │ │ │ ├── 3way.ctgrind.ll │ │ │ │ │ ├── 3way.ll │ │ │ │ │ ├── base.ctgrind.ll │ │ │ │ │ ├── base.ll │ │ │ │ │ ├── lif.ctgrind.ll │ │ │ │ │ ├── lif.ll │ │ │ │ │ ├── lifopt.ctgrind.ll │ │ │ │ │ ├── lifopt.ll │ │ │ │ │ ├── main.ctgrind.ll │ │ │ │ │ ├── main.ll │ │ │ │ │ ├── opt.ctgrind.ll │ │ │ │ │ └── opt.ll │ │ │ │ └── src │ │ │ │ │ └── main.c │ │ │ ├── des │ │ │ │ ├── include │ │ │ │ │ └── des.h │ │ │ │ ├── input │ │ │ │ │ ├── 1.bin │ │ │ │ │ ├── 1.txt │ │ │ │ │ ├── 2.bin │ │ │ │ │ └── 2.txt │ │ │ │ ├── lib │ │ │ │ │ └── des.c │ │ │ │ ├── llvm-ir │ │ │ │ │ ├── base.ctgrind.ll │ │ │ │ │ ├── base.ll │ │ │ │ │ ├── des.ctgrind.ll │ │ │ │ │ ├── des.ll │ │ │ │ │ ├── lif.ctgrind.ll │ │ │ │ │ ├── lif.ll │ │ │ │ │ ├── lifopt.ctgrind.ll │ │ │ │ │ ├── lifopt.ll │ │ │ │ │ ├── main.ctgrind.ll │ │ │ │ │ ├── main.ll │ │ │ │ │ ├── opt.ctgrind.ll │ │ │ │ │ └── opt.ll │ │ │ │ └── src │ │ │ │ │ └── main.c │ │ │ └── loki91 │ │ │ │ ├── include │ │ │ │ └── loki91.h │ │ │ │ ├── input │ │ │ │ ├── 1.bin │ │ │ │ ├── 1.txt │ │ │ │ ├── 2.bin │ │ │ │ └── 2.txt │ │ │ │ ├── lib │ │ │ │ └── loki91.c │ │ │ │ ├── llvm-ir │ │ │ │ ├── base.ctgrind.ll │ │ │ │ ├── base.ll │ │ │ │ ├── lif.ctgrind.ll │ │ │ │ ├── lif.ll │ │ │ │ ├── lifopt.ctgrind.ll │ │ │ │ ├── lifopt.ll │ │ │ │ ├── loki91.ctgrind.ll │ │ │ │ ├── loki91.ll │ │ │ │ ├── main.ctgrind.ll │ │ │ │ ├── main.ll │ │ │ │ ├── opt.ctgrind.ll │ │ │ │ └── opt.ll │ │ │ │ └── src │ │ │ │ └── main.c │ │ │ ├── chronos │ │ │ └── cast5 │ │ │ │ ├── include │ │ │ │ └── cast5.h │ │ │ │ ├── input │ │ │ │ ├── 1.bin │ │ │ │ ├── 1.txt │ │ │ │ ├── 2.bin │ │ │ │ └── 2.txt │ │ │ │ ├── lib │ │ │ │ └── cast5.c │ │ │ │ ├── llvm-ir │ │ │ │ ├── base.ctgrind.ll │ │ │ │ ├── base.ll │ │ │ │ ├── cast5.ctgrind.ll │ │ │ │ ├── cast5.ll │ │ │ │ ├── lif.ctgrind.ll │ │ │ │ ├── lif.ll │ │ │ │ ├── lifopt.ctgrind.ll │ │ │ │ ├── lifopt.ll │ │ │ │ ├── main.ctgrind.ll │ │ │ │ ├── main.ll │ │ │ │ ├── opt.ctgrind.ll │ │ │ │ └── opt.ll │ │ │ │ └── src │ │ │ │ └── main.c │ │ │ └── ghostrider │ │ │ ├── dijkstra │ │ │ ├── include │ │ │ │ └── dijkstra.h │ │ │ ├── input │ │ │ │ ├── 1.bin │ │ │ │ ├── 1.txt │ │ │ │ ├── 2.bin │ │ │ │ └── 2.txt │ │ │ ├── lib │ │ │ │ └── dijkstra.c │ │ │ ├── llvm-ir │ │ │ │ ├── base.ctgrind.ll │ │ │ │ ├── base.ll │ │ │ │ ├── dijkstra.ctgrind.ll │ │ │ │ ├── dijkstra.ll │ │ │ │ ├── lif.ctgrind.ll │ │ │ │ ├── lif.ll │ │ │ │ ├── lifopt.ctgrind.ll │ │ │ │ ├── lifopt.ll │ │ │ │ ├── main.ctgrind.ll │ │ │ │ ├── main.ll │ │ │ │ ├── opt.ctgrind.ll │ │ │ │ └── opt.ll │ │ │ └── src │ │ │ │ └── main.c │ │ │ ├── findmax │ │ │ ├── include │ │ │ │ └── findmax.h │ │ │ ├── input │ │ │ │ ├── 1.bin │ │ │ │ ├── 1.txt │ │ │ │ ├── 2.bin │ │ │ │ └── 2.txt │ │ │ ├── lib │ │ │ │ └── findmax.c │ │ │ ├── llvm-ir │ │ │ │ ├── base.ctgrind.ll │ │ │ │ ├── base.ll │ │ │ │ ├── findmax.ctgrind.ll │ │ │ │ ├── findmax.ll │ │ │ │ ├── lif.ctgrind.ll │ │ │ │ ├── lif.ll │ │ │ │ ├── lifopt.ctgrind.ll │ │ │ │ ├── lifopt.ll │ │ │ │ ├── main.ctgrind.ll │ │ │ │ ├── main.ll │ │ │ │ ├── opt.ctgrind.ll │ │ │ │ └── opt.ll │ │ │ └── src │ │ │ │ └── main.c │ │ │ └── histogram │ │ │ ├── include │ │ │ └── histogram.h │ │ │ ├── input │ │ │ ├── 1.bin │ │ │ ├── 1.txt │ │ │ ├── 2.bin │ │ │ └── 2.txt │ │ │ ├── lib │ │ │ └── histogram.c │ │ │ ├── llvm-ir │ │ │ ├── base.ctgrind.ll │ │ │ ├── base.ll │ │ │ ├── histogram.ctgrind.ll │ │ │ ├── histogram.ll │ │ │ ├── lif.ctgrind.ll │ │ │ ├── lif.ll │ │ │ ├── lifopt.ctgrind.ll │ │ │ ├── lifopt.ll │ │ │ ├── main.ctgrind.ll │ │ │ ├── main.ll │ │ │ ├── opt.ctgrind.ll │ │ │ └── opt.ll │ │ │ └── src │ │ │ └── main.c │ ├── cli.clj │ ├── compile.clj │ ├── convert.py │ └── run.clj └── tool │ ├── CMakeLists.txt │ └── Lif.cpp └── prototype ├── .gitignore ├── LICENSE.txt ├── README.md ├── Setup.hs ├── app └── Main.hs ├── hie.yaml ├── lif-lang.cabal ├── package.yaml ├── src ├── Core │ ├── Error.hs │ ├── Eval.hs │ ├── Lang.hs │ └── Parser.hs ├── Flow │ ├── Block.hs │ ├── Cfg.hs │ └── DomTree.hs ├── Internal │ ├── Constraint.hs │ ├── Dot.hs │ ├── Graph.hs │ └── Map.hs └── Pass │ └── Invariant.hs ├── stack.yaml ├── stack.yaml.lock └── test ├── Spec.hs ├── comp.json ├── comp.lif ├── mu.json └── mu.lif /LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/LICENSE.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/README.md -------------------------------------------------------------------------------- /images/PCFL.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/images/PCFL.png -------------------------------------------------------------------------------- /images/PosterPicture.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/images/PosterPicture.png -------------------------------------------------------------------------------- /images/SummaryCharts.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/images/SummaryCharts.png -------------------------------------------------------------------------------- /lif/.clang-format: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/.clang-format -------------------------------------------------------------------------------- /lif/.dockerignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/.dockerignore -------------------------------------------------------------------------------- /lif/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/.gitignore -------------------------------------------------------------------------------- /lif/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/CMakeLists.txt -------------------------------------------------------------------------------- /lif/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/LICENSE.txt -------------------------------------------------------------------------------- /lif/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/README.md -------------------------------------------------------------------------------- /lif/include/Analysis/Taint.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/include/Analysis/Taint.h -------------------------------------------------------------------------------- /lif/include/Transform/CCFG.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/include/Transform/CCFG.h -------------------------------------------------------------------------------- /lif/include/Transform/Cond.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/include/Transform/Cond.h -------------------------------------------------------------------------------- /lif/include/Transform/Func.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/include/Transform/Func.h -------------------------------------------------------------------------------- /lif/include/Transform/Isochronous.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/include/Transform/Isochronous.h -------------------------------------------------------------------------------- /lif/include/Transform/Loop.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/include/Transform/Loop.h -------------------------------------------------------------------------------- /lif/lib/Analysis/Taint.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/lib/Analysis/Taint.cpp -------------------------------------------------------------------------------- /lif/lib/Transform/CCFG.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/lib/Transform/CCFG.cpp -------------------------------------------------------------------------------- /lif/lib/Transform/Cond.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/lib/Transform/Cond.cpp -------------------------------------------------------------------------------- /lif/lib/Transform/Func.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/lib/Transform/Func.cpp -------------------------------------------------------------------------------- /lif/lib/Transform/Isochronous.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/lib/Transform/Isochronous.cpp -------------------------------------------------------------------------------- /lif/lib/Transform/Loop.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/lib/Transform/Loop.cpp -------------------------------------------------------------------------------- /lif/test/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/README.md -------------------------------------------------------------------------------- /lif/test/ansi.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/ansi.clj -------------------------------------------------------------------------------- /lif/test/benchmarks.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks.txt -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/hash-one/include/comp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/hash-one/include/comp.h -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/hash-one/input/1.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/hash-one/input/1.bin -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/hash-one/input/1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/hash-one/input/1.txt -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/hash-one/input/2.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/hash-one/input/2.bin -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/hash-one/input/2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/hash-one/input/2.txt -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/hash-one/input/3.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/hash-one/input/3.bin -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/hash-one/input/3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/hash-one/input/3.txt -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/hash-one/lib/comp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/hash-one/lib/comp.c -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/hash-one/llvm-ir/base.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/hash-one/llvm-ir/base.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/hash-one/llvm-ir/base.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/hash-one/llvm-ir/base.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/hash-one/llvm-ir/comp.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/hash-one/llvm-ir/comp.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/hash-one/llvm-ir/comp.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/hash-one/llvm-ir/comp.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/hash-one/llvm-ir/lif.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/hash-one/llvm-ir/lif.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/hash-one/llvm-ir/lif.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/hash-one/llvm-ir/lif.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/hash-one/llvm-ir/lifopt.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/hash-one/llvm-ir/lifopt.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/hash-one/llvm-ir/lifopt.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/hash-one/llvm-ir/lifopt.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/hash-one/llvm-ir/main.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/hash-one/llvm-ir/main.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/hash-one/llvm-ir/main.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/hash-one/llvm-ir/main.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/hash-one/llvm-ir/opt.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/hash-one/llvm-ir/opt.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/hash-one/llvm-ir/opt.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/hash-one/llvm-ir/opt.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/hash-one/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/hash-one/src/main.c -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-many/include/comp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-many/include/comp.h -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-many/input/1.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-many/input/1.bin -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-many/input/1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-many/input/1.txt -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-many/input/2.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-many/input/2.bin -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-many/input/2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-many/input/2.txt -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-many/input/3.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-many/input/3.bin -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-many/input/3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-many/input/3.txt -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-many/input/4.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-many/input/4.bin -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-many/input/4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-many/input/4.txt -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-many/lib/comp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-many/lib/comp.c -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-many/llvm-ir/base.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-many/llvm-ir/base.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-many/llvm-ir/base.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-many/llvm-ir/base.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-many/llvm-ir/comp.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-many/llvm-ir/comp.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-many/llvm-ir/comp.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-many/llvm-ir/comp.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-many/llvm-ir/lif.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-many/llvm-ir/lif.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-many/llvm-ir/lif.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-many/llvm-ir/lif.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-many/llvm-ir/lifopt.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-many/llvm-ir/lifopt.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-many/llvm-ir/lifopt.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-many/llvm-ir/lifopt.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-many/llvm-ir/main.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-many/llvm-ir/main.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-many/llvm-ir/main.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-many/llvm-ir/main.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-many/llvm-ir/opt.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-many/llvm-ir/opt.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-many/llvm-ir/opt.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-many/llvm-ir/opt.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-many/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-many/src/main.c -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-one/include/comp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-one/include/comp.h -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-one/input/1.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-one/input/1.bin -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-one/input/1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-one/input/1.txt -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-one/input/2.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-one/input/2.bin -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-one/input/2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-one/input/2.txt -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-one/input/3.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-one/input/3.bin -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-one/input/3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-one/input/3.txt -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-one/input/4.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-one/input/4.bin -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-one/input/4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-one/input/4.txt -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-one/lib/comp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-one/lib/comp.c -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-one/llvm-ir/base.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-one/llvm-ir/base.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-one/llvm-ir/base.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-one/llvm-ir/base.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-one/llvm-ir/comp.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-one/llvm-ir/comp.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-one/llvm-ir/comp.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-one/llvm-ir/comp.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-one/llvm-ir/lif.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-one/llvm-ir/lif.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-one/llvm-ir/lif.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-one/llvm-ir/lif.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-one/llvm-ir/lifopt.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-one/llvm-ir/lifopt.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-one/llvm-ir/lifopt.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-one/llvm-ir/lifopt.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-one/llvm-ir/main.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-one/llvm-ir/main.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-one/llvm-ir/main.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-one/llvm-ir/main.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-one/llvm-ir/opt.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-one/llvm-ir/opt.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-one/llvm-ir/opt.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-one/llvm-ir/opt.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/comp/plain-one/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/comp/plain-one/src/main.c -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/crypto/include/_stdlib.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/crypto/include/_stdlib.h -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/crypto/include/crypto_poly1305.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/crypto/include/crypto_poly1305.h -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/crypto/include/crypto_secretbox.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/crypto/include/crypto_secretbox.h -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/crypto/include/salsa20.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/crypto/include/salsa20.h -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/crypto/input/1.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/crypto/input/1.bin -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/crypto/input/1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/crypto/input/1.txt -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/crypto/input/2.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/crypto/input/2.bin -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/crypto/input/2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/crypto/input/2.txt -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/crypto/lib/_stdlib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/crypto/lib/_stdlib.c -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/crypto/lib/crypto_poly1305.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/crypto/lib/crypto_poly1305.c -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/crypto/lib/crypto_secretbox.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/crypto/lib/crypto_secretbox.c -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/crypto/lib/lif.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/crypto/lib/lif.s -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/crypto/lib/salsa20.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/crypto/lib/salsa20.c -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/crypto/llvm-ir/_stdlib.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/crypto/llvm-ir/_stdlib.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/crypto/llvm-ir/base.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/crypto/llvm-ir/base.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/crypto/llvm-ir/base.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/crypto/llvm-ir/base.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/crypto/llvm-ir/crypto_poly1305.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/crypto/llvm-ir/crypto_poly1305.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/crypto/llvm-ir/crypto_secretbox.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/crypto/llvm-ir/crypto_secretbox.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/crypto/llvm-ir/lif.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/crypto/llvm-ir/lif.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/crypto/llvm-ir/lif.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/crypto/llvm-ir/lif.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/crypto/llvm-ir/lifopt.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/crypto/llvm-ir/lifopt.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/crypto/llvm-ir/lifopt.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/crypto/llvm-ir/lifopt.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/crypto/llvm-ir/main.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/crypto/llvm-ir/main.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/crypto/llvm-ir/main.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/crypto/llvm-ir/main.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/crypto/llvm-ir/opt.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/crypto/llvm-ir/opt.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/crypto/llvm-ir/opt.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/crypto/llvm-ir/opt.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/crypto/llvm-ir/salsa20.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/crypto/llvm-ir/salsa20.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/crypto/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/crypto/src/main.c -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/donna/include/curve25519_c64.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/donna/include/curve25519_c64.h -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/donna/input/1.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/donna/input/1.bin -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/donna/input/1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/donna/input/1.txt -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/donna/input/2.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/donna/input/2.bin -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/donna/input/2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/donna/input/2.txt -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/donna/lib/curve25519_c64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/donna/lib/curve25519_c64.c -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/donna/llvm-ir/base.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/donna/llvm-ir/base.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/donna/llvm-ir/base.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/donna/llvm-ir/base.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/donna/llvm-ir/curve25519_c64.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/donna/llvm-ir/curve25519_c64.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/donna/llvm-ir/curve25519_c64.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/donna/llvm-ir/curve25519_c64.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/donna/llvm-ir/lif.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/donna/llvm-ir/lif.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/donna/llvm-ir/lif.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/donna/llvm-ir/lif.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/donna/llvm-ir/lifopt.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/donna/llvm-ir/lifopt.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/donna/llvm-ir/lifopt.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/donna/llvm-ir/lifopt.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/donna/llvm-ir/main.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/donna/llvm-ir/main.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/donna/llvm-ir/main.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/donna/llvm-ir/main.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/donna/llvm-ir/opt.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/donna/llvm-ir/opt.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/donna/llvm-ir/opt.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/donna/llvm-ir/opt.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/donna/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/donna/src/main.c -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/include/fact.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/include/fact.h -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/ssl3/include/ssl3.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/ssl3/include/ssl3.h -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/ssl3/input/1.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/ssl3/input/1.bin -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/ssl3/input/1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/ssl3/input/1.txt -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/ssl3/input/2.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/ssl3/input/2.bin -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/ssl3/input/2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/ssl3/input/2.txt -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/ssl3/lib/ssl3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/ssl3/lib/ssl3.c -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/ssl3/llvm-ir/base.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/ssl3/llvm-ir/base.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/ssl3/llvm-ir/base.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/ssl3/llvm-ir/base.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/ssl3/llvm-ir/lif.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/ssl3/llvm-ir/lif.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/ssl3/llvm-ir/lif.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/ssl3/llvm-ir/lif.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/ssl3/llvm-ir/lifopt.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/ssl3/llvm-ir/lifopt.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/ssl3/llvm-ir/lifopt.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/ssl3/llvm-ir/lifopt.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/ssl3/llvm-ir/main.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/ssl3/llvm-ir/main.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/ssl3/llvm-ir/main.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/ssl3/llvm-ir/main.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/ssl3/llvm-ir/opt.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/ssl3/llvm-ir/opt.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/ssl3/llvm-ir/opt.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/ssl3/llvm-ir/opt.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/ssl3/llvm-ir/ssl3.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/ssl3/llvm-ir/ssl3.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/ssl3/llvm-ir/ssl3.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/ssl3/llvm-ir/ssl3.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/fact-2019/ssl3/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/fact-2019/ssl3/src/main.c -------------------------------------------------------------------------------- /lif/test/benchmarks/include/taint.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/include/taint.h -------------------------------------------------------------------------------- /lif/test/benchmarks/log-redactor/include/log_redactor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/log-redactor/include/log_redactor.h -------------------------------------------------------------------------------- /lif/test/benchmarks/log-redactor/input/1.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/log-redactor/input/1.bin -------------------------------------------------------------------------------- /lif/test/benchmarks/log-redactor/input/1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/log-redactor/input/1.txt -------------------------------------------------------------------------------- /lif/test/benchmarks/log-redactor/input/2.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/log-redactor/input/2.bin -------------------------------------------------------------------------------- /lif/test/benchmarks/log-redactor/input/2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/log-redactor/input/2.txt -------------------------------------------------------------------------------- /lif/test/benchmarks/log-redactor/lib/log_redactor.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/log-redactor/lib/log_redactor.c -------------------------------------------------------------------------------- /lif/test/benchmarks/log-redactor/llvm-ir/base.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/log-redactor/llvm-ir/base.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/log-redactor/llvm-ir/base.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/log-redactor/llvm-ir/base.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/log-redactor/llvm-ir/lif.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/log-redactor/llvm-ir/lif.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/log-redactor/llvm-ir/lif.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/log-redactor/llvm-ir/lif.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/log-redactor/llvm-ir/lifopt.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/log-redactor/llvm-ir/lifopt.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/log-redactor/llvm-ir/lifopt.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/log-redactor/llvm-ir/lifopt.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/log-redactor/llvm-ir/log_redactor.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/log-redactor/llvm-ir/log_redactor.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/log-redactor/llvm-ir/log_redactor.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/log-redactor/llvm-ir/log_redactor.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/log-redactor/llvm-ir/main.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/log-redactor/llvm-ir/main.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/log-redactor/llvm-ir/main.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/log-redactor/llvm-ir/main.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/log-redactor/llvm-ir/opt.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/log-redactor/llvm-ir/opt.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/log-redactor/llvm-ir/opt.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/log-redactor/llvm-ir/opt.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/log-redactor/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/log-redactor/src/main.c -------------------------------------------------------------------------------- /lif/test/benchmarks/mu/include/mu.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/mu/include/mu.h -------------------------------------------------------------------------------- /lif/test/benchmarks/mu/input/1.bin: -------------------------------------------------------------------------------- 1 | c`@ -------------------------------------------------------------------------------- /lif/test/benchmarks/mu/input/1.txt: -------------------------------------------------------------------------------- 1 | 0 0 0 2 | -------------------------------------------------------------------------------- /lif/test/benchmarks/mu/input/2.bin: -------------------------------------------------------------------------------- 1 | cd```bV  -------------------------------------------------------------------------------- /lif/test/benchmarks/mu/input/2.txt: -------------------------------------------------------------------------------- 1 | 1 3 5 2 | -------------------------------------------------------------------------------- /lif/test/benchmarks/mu/lib/mu.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/mu/lib/mu.c -------------------------------------------------------------------------------- /lif/test/benchmarks/mu/llvm-ir/base.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/mu/llvm-ir/base.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/mu/llvm-ir/base.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/mu/llvm-ir/base.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/mu/llvm-ir/lif.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/mu/llvm-ir/lif.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/mu/llvm-ir/lif.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/mu/llvm-ir/lif.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/mu/llvm-ir/lifopt.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/mu/llvm-ir/lifopt.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/mu/llvm-ir/lifopt.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/mu/llvm-ir/lifopt.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/mu/llvm-ir/main.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/mu/llvm-ir/main.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/mu/llvm-ir/main.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/mu/llvm-ir/main.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/mu/llvm-ir/mu.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/mu/llvm-ir/mu.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/mu/llvm-ir/mu.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/mu/llvm-ir/mu.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/mu/llvm-ir/opt.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/mu/llvm-ir/opt.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/mu/llvm-ir/opt.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/mu/llvm-ir/opt.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/mu/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/mu/src/main.c -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/3way/include/3way.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/3way/include/3way.h -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/3way/input/1.bin: -------------------------------------------------------------------------------- 1 | c`@F$ -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/3way/input/1.txt: -------------------------------------------------------------------------------- 1 | 0 0 0 2 | 1 1 1 3 | -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/3way/input/2.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/3way/input/2.bin -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/3way/input/2.txt: -------------------------------------------------------------------------------- 1 | 1 3 5 2 | 1 1 1 3 | -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/3way/lib/3way.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/3way/lib/3way.c -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/3way/llvm-ir/3way.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/3way/llvm-ir/3way.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/3way/llvm-ir/3way.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/3way/llvm-ir/3way.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/3way/llvm-ir/base.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/3way/llvm-ir/base.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/3way/llvm-ir/base.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/3way/llvm-ir/base.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/3way/llvm-ir/lif.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/3way/llvm-ir/lif.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/3way/llvm-ir/lif.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/3way/llvm-ir/lif.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/3way/llvm-ir/lifopt.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/3way/llvm-ir/lifopt.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/3way/llvm-ir/lifopt.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/3way/llvm-ir/lifopt.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/3way/llvm-ir/main.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/3way/llvm-ir/main.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/3way/llvm-ir/main.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/3way/llvm-ir/main.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/3way/llvm-ir/opt.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/3way/llvm-ir/opt.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/3way/llvm-ir/opt.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/3way/llvm-ir/opt.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/3way/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/3way/src/main.c -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/des/include/des.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/des/include/des.h -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/des/input/1.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/des/input/1.bin -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/des/input/1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/des/input/1.txt -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/des/input/2.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/des/input/2.bin -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/des/input/2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/des/input/2.txt -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/des/lib/des.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/des/lib/des.c -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/des/llvm-ir/base.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/des/llvm-ir/base.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/des/llvm-ir/base.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/des/llvm-ir/base.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/des/llvm-ir/des.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/des/llvm-ir/des.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/des/llvm-ir/des.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/des/llvm-ir/des.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/des/llvm-ir/lif.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/des/llvm-ir/lif.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/des/llvm-ir/lif.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/des/llvm-ir/lif.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/des/llvm-ir/lifopt.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/des/llvm-ir/lifopt.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/des/llvm-ir/lifopt.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/des/llvm-ir/lifopt.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/des/llvm-ir/main.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/des/llvm-ir/main.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/des/llvm-ir/main.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/des/llvm-ir/main.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/des/llvm-ir/opt.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/des/llvm-ir/opt.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/des/llvm-ir/opt.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/des/llvm-ir/opt.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/des/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/des/src/main.c -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/loki91/include/loki91.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/loki91/include/loki91.h -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/loki91/input/1.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/loki91/input/1.bin -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/loki91/input/1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/loki91/input/1.txt -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/loki91/input/2.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/loki91/input/2.bin -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/loki91/input/2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/loki91/input/2.txt -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/loki91/lib/loki91.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/loki91/lib/loki91.c -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/loki91/llvm-ir/base.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/loki91/llvm-ir/base.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/loki91/llvm-ir/base.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/loki91/llvm-ir/base.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/loki91/llvm-ir/lif.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/loki91/llvm-ir/lif.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/loki91/llvm-ir/lif.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/loki91/llvm-ir/lif.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/loki91/llvm-ir/lifopt.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/loki91/llvm-ir/lifopt.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/loki91/llvm-ir/lifopt.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/loki91/llvm-ir/lifopt.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/loki91/llvm-ir/loki91.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/loki91/llvm-ir/loki91.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/loki91/llvm-ir/loki91.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/loki91/llvm-ir/loki91.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/loki91/llvm-ir/main.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/loki91/llvm-ir/main.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/loki91/llvm-ir/main.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/loki91/llvm-ir/main.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/loki91/llvm-ir/opt.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/loki91/llvm-ir/opt.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/loki91/llvm-ir/opt.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/loki91/llvm-ir/opt.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/applied-crypto/loki91/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/applied-crypto/loki91/src/main.c -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/chronos/cast5/include/cast5.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/chronos/cast5/include/cast5.h -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/chronos/cast5/input/1.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/chronos/cast5/input/1.bin -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/chronos/cast5/input/1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/chronos/cast5/input/1.txt -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/chronos/cast5/input/2.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/chronos/cast5/input/2.bin -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/chronos/cast5/input/2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/chronos/cast5/input/2.txt -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/chronos/cast5/lib/cast5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/chronos/cast5/lib/cast5.c -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/chronos/cast5/llvm-ir/base.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/chronos/cast5/llvm-ir/base.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/chronos/cast5/llvm-ir/base.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/chronos/cast5/llvm-ir/base.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/chronos/cast5/llvm-ir/cast5.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/chronos/cast5/llvm-ir/cast5.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/chronos/cast5/llvm-ir/cast5.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/chronos/cast5/llvm-ir/cast5.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/chronos/cast5/llvm-ir/lif.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/chronos/cast5/llvm-ir/lif.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/chronos/cast5/llvm-ir/lif.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/chronos/cast5/llvm-ir/lif.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/chronos/cast5/llvm-ir/lifopt.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/chronos/cast5/llvm-ir/lifopt.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/chronos/cast5/llvm-ir/lifopt.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/chronos/cast5/llvm-ir/lifopt.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/chronos/cast5/llvm-ir/main.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/chronos/cast5/llvm-ir/main.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/chronos/cast5/llvm-ir/main.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/chronos/cast5/llvm-ir/main.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/chronos/cast5/llvm-ir/opt.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/chronos/cast5/llvm-ir/opt.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/chronos/cast5/llvm-ir/opt.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/chronos/cast5/llvm-ir/opt.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/chronos/cast5/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/chronos/cast5/src/main.c -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/dijkstra/include/dijkstra.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/dijkstra/include/dijkstra.h -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/dijkstra/input/1.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/dijkstra/input/1.bin -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/dijkstra/input/1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/dijkstra/input/1.txt -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/dijkstra/input/2.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/dijkstra/input/2.bin -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/dijkstra/input/2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/dijkstra/input/2.txt -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/dijkstra/lib/dijkstra.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/dijkstra/lib/dijkstra.c -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/dijkstra/llvm-ir/base.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/dijkstra/llvm-ir/base.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/dijkstra/llvm-ir/base.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/dijkstra/llvm-ir/base.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/dijkstra/llvm-ir/dijkstra.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/dijkstra/llvm-ir/dijkstra.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/dijkstra/llvm-ir/dijkstra.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/dijkstra/llvm-ir/dijkstra.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/dijkstra/llvm-ir/lif.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/dijkstra/llvm-ir/lif.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/dijkstra/llvm-ir/lif.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/dijkstra/llvm-ir/lif.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/dijkstra/llvm-ir/lifopt.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/dijkstra/llvm-ir/lifopt.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/dijkstra/llvm-ir/lifopt.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/dijkstra/llvm-ir/lifopt.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/dijkstra/llvm-ir/main.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/dijkstra/llvm-ir/main.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/dijkstra/llvm-ir/main.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/dijkstra/llvm-ir/main.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/dijkstra/llvm-ir/opt.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/dijkstra/llvm-ir/opt.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/dijkstra/llvm-ir/opt.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/dijkstra/llvm-ir/opt.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/dijkstra/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/dijkstra/src/main.c -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/findmax/include/findmax.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/findmax/include/findmax.h -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/findmax/input/1.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/findmax/input/1.bin -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/findmax/input/1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/findmax/input/1.txt -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/findmax/input/2.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/findmax/input/2.bin -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/findmax/input/2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/findmax/input/2.txt -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/findmax/lib/findmax.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/findmax/lib/findmax.c -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/findmax/llvm-ir/base.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/findmax/llvm-ir/base.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/findmax/llvm-ir/base.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/findmax/llvm-ir/base.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/findmax/llvm-ir/findmax.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/findmax/llvm-ir/findmax.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/findmax/llvm-ir/findmax.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/findmax/llvm-ir/findmax.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/findmax/llvm-ir/lif.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/findmax/llvm-ir/lif.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/findmax/llvm-ir/lif.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/findmax/llvm-ir/lif.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/findmax/llvm-ir/lifopt.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/findmax/llvm-ir/lifopt.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/findmax/llvm-ir/lifopt.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/findmax/llvm-ir/lifopt.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/findmax/llvm-ir/main.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/findmax/llvm-ir/main.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/findmax/llvm-ir/main.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/findmax/llvm-ir/main.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/findmax/llvm-ir/opt.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/findmax/llvm-ir/opt.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/findmax/llvm-ir/opt.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/findmax/llvm-ir/opt.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/findmax/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/findmax/src/main.c -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/histogram/include/histogram.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/histogram/include/histogram.h -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/histogram/input/1.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/histogram/input/1.bin -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/histogram/input/1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/histogram/input/1.txt -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/histogram/input/2.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/histogram/input/2.bin -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/histogram/input/2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/histogram/input/2.txt -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/histogram/lib/histogram.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/histogram/lib/histogram.c -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/histogram/llvm-ir/base.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/histogram/llvm-ir/base.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/histogram/llvm-ir/base.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/histogram/llvm-ir/base.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/histogram/llvm-ir/histogram.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/histogram/llvm-ir/histogram.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/histogram/llvm-ir/histogram.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/histogram/llvm-ir/histogram.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/histogram/llvm-ir/lif.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/histogram/llvm-ir/lif.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/histogram/llvm-ir/lif.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/histogram/llvm-ir/lif.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/histogram/llvm-ir/lifopt.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/histogram/llvm-ir/lifopt.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/histogram/llvm-ir/lifopt.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/histogram/llvm-ir/lifopt.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/histogram/llvm-ir/main.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/histogram/llvm-ir/main.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/histogram/llvm-ir/main.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/histogram/llvm-ir/main.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/histogram/llvm-ir/opt.ctgrind.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/histogram/llvm-ir/opt.ctgrind.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/histogram/llvm-ir/opt.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/histogram/llvm-ir/opt.ll -------------------------------------------------------------------------------- /lif/test/benchmarks/scelim-2018/ghostrider/histogram/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/benchmarks/scelim-2018/ghostrider/histogram/src/main.c -------------------------------------------------------------------------------- /lif/test/cli.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/cli.clj -------------------------------------------------------------------------------- /lif/test/compile.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/compile.clj -------------------------------------------------------------------------------- /lif/test/convert.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/convert.py -------------------------------------------------------------------------------- /lif/test/run.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/test/run.clj -------------------------------------------------------------------------------- /lif/tool/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/tool/CMakeLists.txt -------------------------------------------------------------------------------- /lif/tool/Lif.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/lif/tool/Lif.cpp -------------------------------------------------------------------------------- /prototype/.gitignore: -------------------------------------------------------------------------------- 1 | .stack-work/ 2 | *~ -------------------------------------------------------------------------------- /prototype/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/prototype/LICENSE.txt -------------------------------------------------------------------------------- /prototype/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/prototype/README.md -------------------------------------------------------------------------------- /prototype/Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /prototype/app/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/prototype/app/Main.hs -------------------------------------------------------------------------------- /prototype/hie.yaml: -------------------------------------------------------------------------------- 1 | cradle: 2 | stack: 3 | -------------------------------------------------------------------------------- /prototype/lif-lang.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/prototype/lif-lang.cabal -------------------------------------------------------------------------------- /prototype/package.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/prototype/package.yaml -------------------------------------------------------------------------------- /prototype/src/Core/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/prototype/src/Core/Error.hs -------------------------------------------------------------------------------- /prototype/src/Core/Eval.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/prototype/src/Core/Eval.hs -------------------------------------------------------------------------------- /prototype/src/Core/Lang.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/prototype/src/Core/Lang.hs -------------------------------------------------------------------------------- /prototype/src/Core/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/prototype/src/Core/Parser.hs -------------------------------------------------------------------------------- /prototype/src/Flow/Block.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/prototype/src/Flow/Block.hs -------------------------------------------------------------------------------- /prototype/src/Flow/Cfg.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/prototype/src/Flow/Cfg.hs -------------------------------------------------------------------------------- /prototype/src/Flow/DomTree.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/prototype/src/Flow/DomTree.hs -------------------------------------------------------------------------------- /prototype/src/Internal/Constraint.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/prototype/src/Internal/Constraint.hs -------------------------------------------------------------------------------- /prototype/src/Internal/Dot.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/prototype/src/Internal/Dot.hs -------------------------------------------------------------------------------- /prototype/src/Internal/Graph.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/prototype/src/Internal/Graph.hs -------------------------------------------------------------------------------- /prototype/src/Internal/Map.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/prototype/src/Internal/Map.hs -------------------------------------------------------------------------------- /prototype/src/Pass/Invariant.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/prototype/src/Pass/Invariant.hs -------------------------------------------------------------------------------- /prototype/stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/prototype/stack.yaml -------------------------------------------------------------------------------- /prototype/stack.yaml.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/prototype/stack.yaml.lock -------------------------------------------------------------------------------- /prototype/test/Spec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/prototype/test/Spec.hs -------------------------------------------------------------------------------- /prototype/test/comp.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/prototype/test/comp.json -------------------------------------------------------------------------------- /prototype/test/comp.lif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/prototype/test/comp.lif -------------------------------------------------------------------------------- /prototype/test/mu.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/prototype/test/mu.json -------------------------------------------------------------------------------- /prototype/test/mu.lif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lac-dcc/lif/HEAD/prototype/test/mu.lif --------------------------------------------------------------------------------