https://github.com/NTU-ALComLab/elimssat
Revision 076babed38a25f78805750192e9a54eba6ce9ef6 authored by haorenW1025 on 17 July 2022, 15:41:26 UTC, committed by haorenW1025 on 17 July 2022, 15:41:26 UTC
1 parent 5c108b3
Tip revision: 076babed38a25f78805750192e9a54eba6ce9ef6 authored by haorenW1025 on 17 July 2022, 15:41:26 UTC
add reference to benchmarks in README
add reference to benchmarks in README
Tip revision: 076babe
| File | Mode | Size |
|---|---|---|
| benchexec | ||
| benchmark | ||
| lib | ||
| script | ||
| src | ||
| .appveyor.yml | -rw-r--r-- | 1.0 KB |
| .gitattributes | -rw-r--r-- | 324 bytes |
| .gitignore | -rw-r--r-- | 510 bytes |
| .gitmodules | -rw-r--r-- | 111 bytes |
| .hgignore | -rw-r--r-- | 494 bytes |
| .travis.yml | -rw-r--r-- | 708 bytes |
| CMakeLists.txt | -rw-r--r-- | 3.7 KB |
| Makefile | -rw-r--r-- | 6.7 KB |
| README.md | -rw-r--r-- | 1.1 KB |
| abc.rc | -rw-r--r-- | 4.6 KB |
| abcexe.dsp | -rw-r--r-- | 4.5 KB |
| abclib.dsp | -rw-r--r-- | 109.3 KB |
| abcspace.dsw | -rw-r--r-- | 765 bytes |
| arch_flags.c | -rw-r--r-- | 355 bytes |
| build.sh | -rwxr-xr-x | 859 bytes |
| copyright.txt | -rw-r--r-- | 1.1 KB |
| depends.sh | -rwxr-xr-x | 235 bytes |
| i10.aig | -rw-r--r-- | 14.4 KB |
| manthan.patch | -rw-r--r-- | 45.2 KB |
| readmeaig | -rw-r--r-- | 3.2 KB |
Computing file changes ...
