.. |
.gitignore
|
Added GPL 2 License to the C sources.
|
2007-06-11 14:01:04 +02:00 |
arachne.c
|
CLEANUP: Reindenting code.
|
2010-11-11 00:09:16 +01:00 |
arachne.h
|
Proof output improved for occurrences of the Athena problem.
|
2007-09-18 15:36:11 +02:00 |
binding.c
|
BUGFIX: C-minimality was tripping over claims.
|
2009-01-28 20:45:58 +01:00 |
binding.h
|
Removed unused functions.
|
2008-08-21 16:58:12 +02:00 |
bool.h
|
Added GPL 2 License to the C sources.
|
2007-06-11 14:01:04 +02:00 |
build-brutus.sh
|
BRUTUS: Added special build script.
|
2010-11-11 12:14:49 +01:00 |
build-debug.sh
|
Added debug build script.
|
2008-08-21 21:57:42 +02:00 |
build.sh
|
- Big catchup commit to make sure we are up to beta7.
|
2007-05-18 14:06:29 +02:00 |
BuildMacIntel-MacPPC.cmake
|
- Last few improvements for build scripts.
|
2007-01-09 09:47:06 +00:00 |
BuildMacIntel.cmake
|
- Last few improvements for build scripts.
|
2007-01-09 09:47:06 +00:00 |
BuildMacPPC-MacIntel.cmake
|
- Last few improvements for build scripts.
|
2007-01-09 09:47:06 +00:00 |
BuildMacPPC.cmake
|
- Last few improvements for build scripts.
|
2007-01-09 09:47:06 +00:00 |
BuildPlatform.cmake
|
- Fixed equality tests and related script problems.
|
2007-01-09 15:37:43 +00:00 |
BuildUnix-Win32.cmake
|
- Big catchup commit to make sure we are up to beta7.
|
2007-05-18 14:06:29 +02:00 |
BuildUnix.cmake
|
- Big catchup commit to make sure we are up to beta7.
|
2007-05-18 14:06:29 +02:00 |
claim.c
|
Added GPL 2 License to the C sources.
|
2007-06-11 14:01:04 +02:00 |
claim.h
|
Improved handling of cases with untyped variables.
|
2008-01-28 15:23:40 +01:00 |
CMakeLists.txt
|
Added commented-out code to use llvm as a compiler instead of gcc when needed.
|
2010-11-11 00:02:36 +01:00 |
color.c
|
Added GPL 2 License to the C sources.
|
2007-06-11 14:01:04 +02:00 |
color.h
|
Added GPL 2 License to the C sources.
|
2007-06-11 14:01:04 +02:00 |
compile.txt
|
Removed a large number of obsolete files.
|
2007-06-12 14:39:08 +02:00 |
compiler.c
|
SPDL: Introduced 'hashfunction f;' construct to input language.
|
2010-11-11 00:01:31 +01:00 |
compiler.h
|
Added GPL 2 License to the C sources.
|
2007-06-11 14:01:04 +02:00 |
copy2gui.sh
|
- Removed Bin subdirectory and updates scripts.
|
2007-05-21 13:34:43 +02:00 |
cost.c
|
Added GPL 2 License to the C sources.
|
2007-06-11 14:01:04 +02:00 |
cost.h
|
Added GPL 2 License to the C sources.
|
2007-06-11 14:01:04 +02:00 |
debug.c
|
Added GPL 2 License to the C sources.
|
2007-06-11 14:01:04 +02:00 |
debug.h
|
Added GPL 2 License to the C sources.
|
2007-06-11 14:01:04 +02:00 |
depend.c
|
EFFICIENCY: If a new dependency overlaps with an old one, we don't have to recompute the closure.
|
2010-11-11 10:37:18 +01:00 |
depend.h
|
Added GPL 2 License to the C sources.
|
2007-06-11 14:01:04 +02:00 |
dotout.c
|
CLEANUP: Reindenting code.
|
2010-11-11 00:09:16 +01:00 |
dotout.h
|
Added GPL 2 License to the C sources.
|
2007-06-11 14:01:04 +02:00 |
error.c
|
Added factored-out 'warning_pre' function.
|
2010-11-10 10:37:57 +01:00 |
error.h
|
Added factored-out 'warning_pre' function.
|
2010-11-10 10:37:57 +01:00 |
find-unused-functions.py
|
Created a small program that can find unused functions.
|
2008-08-21 16:56:12 +02:00 |
FindBISON.cmake
|
- Some fixes for GUI by hiding variables.
|
2007-01-07 17:32:15 +00:00 |
FindFLEX.cmake
|
- Some fixes for GUI by hiding variables.
|
2007-01-07 17:32:15 +00:00 |
GetOS.cmake
|
- Last few improvements for build scripts.
|
2007-01-09 09:47:06 +00:00 |
GNU-General-Public-License.txt
|
Added GPL 2 License to the C sources.
|
2007-06-11 14:01:04 +02:00 |
heuristic.c
|
EFFICIENCY: New (default) heuristic.
|
2010-11-11 10:37:18 +01:00 |
heuristic.h
|
Added GPL 2 License to the C sources.
|
2007-06-11 14:01:04 +02:00 |
hidelevel.c
|
Removed unused functions.
|
2008-08-21 16:58:12 +02:00 |
hidelevel.h
|
Removed unused functions.
|
2008-08-21 16:58:12 +02:00 |
intruderknowledge.c
|
Reindent of the code revealed that some was not indented nicely yet. Silly.
|
2008-03-23 15:56:09 +09:00 |
intruderknowledge.h
|
Added GPL 2 License to the C sources.
|
2007-06-11 14:01:04 +02:00 |
knowledge.c
|
Removed unused functions.
|
2008-08-21 16:58:12 +02:00 |
knowledge.h
|
Removed unused functions.
|
2008-08-21 16:58:12 +02:00 |
label.c
|
Added GPL 2 License to the C sources.
|
2007-06-11 14:01:04 +02:00 |
label.h
|
Added GPL 2 License to the C sources.
|
2007-06-11 14:01:04 +02:00 |
list.c
|
Added GPL 2 License to the C sources.
|
2007-06-11 14:01:04 +02:00 |
list.h
|
Added GPL 2 License to the C sources.
|
2007-06-11 14:01:04 +02:00 |
main.c
|
SPDL: Introduced preconstructed PKI with pk/sk/k.
|
2010-11-11 00:01:31 +01:00 |
mgu.c
|
Added a note for code cleanup.
|
2008-08-21 22:32:19 +02:00 |
mgu.h
|
Removed unused functions.
|
2008-08-21 16:58:12 +02:00 |
mymalloc.h
|
Added GPL 2 License to the C sources.
|
2007-06-11 14:01:04 +02:00 |
NOTES.txt
|
Added notes.
|
2008-03-13 10:24:13 +01:00 |
parser.y
|
SPDL: Introduced 'hashfunction f;' construct to input language.
|
2010-11-11 00:01:31 +01:00 |
pheading.h
|
Added GPL 2 License to the C sources.
|
2007-06-11 14:01:04 +02:00 |
prune_bounds.c
|
Added GPL 2 License to the C sources.
|
2007-06-11 14:01:04 +02:00 |
prune_bounds.h
|
Added GPL 2 License to the C sources.
|
2007-06-11 14:01:04 +02:00 |
prune_theorems.c
|
Disable some aggressive error reporting: unclear why this is actually invalid per se
|
2010-12-31 15:43:00 +01:00 |
prune_theorems.h
|
Added GPL 2 License to the C sources.
|
2007-06-11 14:01:04 +02:00 |
reindent.sh
|
Better reindent script (from newCompromise branch)
|
2010-11-10 23:55:21 +01:00 |
role.c
|
Output should also yield 'recv' instead of 'read'.
|
2008-08-21 16:58:57 +02:00 |
role.h
|
Added GPL 2 License to the C sources.
|
2007-06-11 14:01:04 +02:00 |
scanner.l
|
Introduced 'fresh' for fresh value generation and added deprecation warning for 'const' usage.
|
2010-11-10 10:37:57 +01:00 |
ScannerParser.cmake
|
- Fixed scanner problem (I forgot the interaction between flex and bison)
|
2007-01-09 15:22:34 +00:00 |
scantags.py
|
- Removed more dead code, improved scantags.py
|
2007-01-27 11:07:45 +00:00 |
specialterm.c
|
SPDL: Introduced preconstructed PKI with pk/sk/k.
|
2010-11-11 00:01:31 +01:00 |
specialterm.h
|
SPDL: Introduced preconstructed PKI with pk/sk/k.
|
2010-11-11 00:01:31 +01:00 |
states.c
|
Removed unused functions.
|
2008-08-21 16:58:12 +02:00 |
states.h
|
Removed unused functions.
|
2008-08-21 16:58:12 +02:00 |
subbuild-mac-universal.sh
|
- Removed Bin subdirectory and updates scripts.
|
2007-05-21 13:34:43 +02:00 |
subbuild-unix-both.sh
|
BUGFIX: Build scripts did not always build unix version correctly.
|
2008-09-15 16:48:39 +02:00 |
switches.c
|
EFFICIENCY: New (default) heuristic.
|
2010-11-11 10:37:18 +01:00 |
switches.h
|
Added switch to disable verbose exit codes.
|
2008-06-16 18:57:28 +02:00 |
symbol.c
|
Added GPL 2 License to the C sources.
|
2007-06-11 14:01:04 +02:00 |
symbol.h
|
Added GPL 2 License to the C sources.
|
2007-06-11 14:01:04 +02:00 |
system.c
|
Removed unused functions.
|
2008-08-21 16:58:12 +02:00 |
system.h
|
Removed unused functions.
|
2008-08-21 16:58:12 +02:00 |
tac.c
|
SPDL: Introduced 'hashfunction f;' construct to input language.
|
2010-11-11 00:01:31 +01:00 |
tac.h
|
SPDL: Introduced 'hashfunction f;' construct to input language.
|
2010-11-11 00:01:31 +01:00 |
tempfile.c
|
Added GPL 2 License to the C sources.
|
2007-06-11 14:01:04 +02:00 |
tempfile.h
|
Added GPL 2 License to the C sources.
|
2007-06-11 14:01:04 +02:00 |
term.c
|
Added GPL 2 License to the C sources.
|
2007-06-11 14:01:04 +02:00 |
term.h
|
Added GPL 2 License to the C sources.
|
2007-06-11 14:01:04 +02:00 |
termlist.c
|
Removed unused functions.
|
2008-08-21 16:58:12 +02:00 |
termlist.h
|
Added GPL 2 License to the C sources.
|
2007-06-11 14:01:04 +02:00 |
termmap.c
|
Added GPL 2 License to the C sources.
|
2007-06-11 14:01:04 +02:00 |
termmap.h
|
Added GPL 2 License to the C sources.
|
2007-06-11 14:01:04 +02:00 |
timer.c
|
CLEANUP: Add timing output to proof output.
|
2010-11-11 00:01:12 +01:00 |
timer.h
|
Added GPL 2 License to the C sources.
|
2007-06-11 14:01:04 +02:00 |
type.c
|
Removed unused functions.
|
2008-08-21 16:58:12 +02:00 |
type.h
|
Removed unused functions.
|
2008-08-21 16:58:12 +02:00 |
UniversalBinary.cmake
|
- Fixed equality tests and related script problems.
|
2007-01-09 15:37:43 +00:00 |
version.h
|
Added GPL 2 License to the C sources.
|
2007-06-11 14:01:04 +02:00 |
warshall.c
|
Added GPL 2 License to the C sources.
|
2007-06-11 14:01:04 +02:00 |
warshall.h
|
Added GPL 2 License to the C sources.
|
2007-06-11 14:01:04 +02:00 |
xmlout.c
|
Output should also yield 'recv' instead of 'read'.
|
2008-08-21 16:58:57 +02:00 |
xmlout.h
|
Removed unused functions.
|
2008-08-21 16:58:12 +02:00 |