Repository navigation
HolBA legacy code #172
Description
The following code is not built/tested in CI, there should probably be a decision on what to do with it (e.g., moving to attic):
- src/tools/exec/examples/example-toy.sml
- src/tools/cfg/examples/example-aes.sml
- src/tools/cfg/examples/example-old-simple.sml
- src/tools/wp/benchmark/binaries-test.sml
- src/tools/exec/examples/example-toy.sml
- src/tools/scamv/persistence/t-test-logs.sml
- src/tools/scamv/examples/driver-test.sml
- src/tools/scamv/examples/driver-entry.sml
- src/tools/lifter/examples/gcd_code-test.sml
- src/tools/lifter/examples/aes-test.sml
- src/tools/lifter/examples/hex-test.sml
- src/tools/lifter/benchmark/binaries-test.sml
- src/shared/examples/example-HolSmt-simplification.sml
- examples/aes/cfg-test.sml
- examples/aes/exec/aes-test.sml
- examples/aes/wp71-pass-test.sml
- examples/aes/wp-test.sml
- examples/nic/example-print-prog.sml
- examples/nic/wpsimp_test-early-wp.sml
Activity