Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 153 | logplain |
d--------- | CBMCStubLibrary | 40 | logplain |
-rw-r--r-- | CMakeLists.txt | 1054 | logplain |
-rw-r--r-- | Makefile.template | 4104 | logplain |
-rw-r--r-- | MakefileCommon.json | 1192 | logplain |
-rw-r--r-- | MakefileLinux.json | 441 | logplain |
-rw-r--r-- | MakefileWindows.json | 513 | logplain |
d--------- | Queue | 1082 | logplain |
-rw-r--r-- | README.md | 208 | logplain |
d--------- | Task | 644 | logplain |
-rwxr-xr-x | make_cbmc_batch_files.py | 2205 | logplain |
-rwxr-xr-x | make_common_makefile.py | 8439 | logplain |
-rwxr-xr-x | make_configuration_directories.py | 6163 | logplain |
-rwxr-xr-x | make_proof_makefiles.py | 14693 | logplain |
-rwxr-xr-x | make_remove_makefiles.py | 1891 | logplain |
-rwxr-xr-x | make_type_header_files.py | 6044 | logplain |
-rwxr-xr-x | ninja.py | 6480 | logplain |
-rwxr-xr-x | prepare.py | 4358 | logplain |
d--------- | utility | 48 | logplain |