sylv/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
76c516dee008980805bd1c47c7f1168e6b9453a3
scyther/src
History
Cas Cremers 76c516dee0 Merge branch 'reverting-b7' into release
2007-05-21 16:41:19 +02:00
..
.gitignore
- Added some ignore patterns.
2007-05-21 13:56:00 +02:00
arachne.c
- Big catchup commit to make sure we are up to beta7.
2007-05-18 14:06:29 +02:00
arachne.h
- Many cleanups to make -Wall happy. Next up is pedantic...
2007-01-06 14:45:29 +00:00
attacktemplate.tex
- Template cleanup for latex.
2004-05-21 12:32:57 +00:00
binding.c
- Big catchup commit to make sure we are up to beta7.
2007-05-18 14:06:29 +02:00
binding.h
- Revised cost heuristic. Trace length is no longer the real
2006-04-02 12:29:02 +00:00
bool.h
- Forgot the bool file.
2007-05-18 13:57:33 +02:00
bugs.txt
- Big catchup commit to make sure we are up to beta7.
2007-05-18 14:06:29 +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 feature for multi-party protocols (weaker precondition on Reachable)
2007-01-16 17:22:51 +00:00
claim.h
- Claim reporting moved into claim.c
2006-08-01 05:58:02 +00:00
CMakeLists.txt
Got rid of obsolete version number encoding.
2007-05-20 16:08:56 +02:00
color.c
- Huge code documentation effort.
2006-01-02 21:06:08 +00:00
color.h
- Many cleanups to make -Wall happy. Next up is pedantic...
2007-01-06 14:45:29 +00:00
compile.txt
- Cross compilation for windows added.
2006-09-08 13:09:14 +00:00
compiler.c
- Big catchup commit to make sure we are up to beta7.
2007-05-18 14:06:29 +02:00
compiler.h
- Moved special terms into their own (very) special file.
2005-06-16 14:10:07 +00:00
copy2gui.sh
- Removed Bin subdirectory and updates scripts.
2007-05-21 13:34:43 +02:00
cost.c
- Many cleanups to make -Wall happy. Next up is pedantic...
2007-01-06 14:45:29 +00:00
cost.h
- Some reindentation. Nothing interesting, just syntax.
2006-01-02 16:07:56 +00:00
debug.c
- Some work towards moving stderror output for non-linux things out of
2006-08-02 10:29:40 +00:00
debug.h
- Made all references to system explicit const references.
2004-07-20 12:41:56 +00:00
depend.c
- "--clusters" output is quite advanced, but still dot makes a bit of a
2006-05-26 11:27:05 +00:00
depend.h
- Improved dot class output.
2006-03-08 15:12:58 +00:00
design.txt
- Moved everything about.
2004-04-23 10:58:43 +00:00
dotout.c
- Removed more dead code, improved scantags.py
2007-01-27 11:07:45 +00:00
dotout.h
- Moved dot output (finally) into a separate file, and made some minor
2005-12-27 11:50:46 +00:00
error.c
- Using stderr or not is now a macro in error.h
2006-08-06 18:01:23 +00:00
error.h
- Removed some dead code by using scantags.py
2007-01-27 10:33:15 +00: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
heuristic.c
- Removed more dead code, improved scantags.py
2007-01-27 11:07:45 +00:00
heuristic.h
- More refactoring for Arachne. Slowly we're getting somewhere.
2006-01-02 19:19:23 +00:00
hidelevel.c
- Some fixes after pedantic tests. What remains: (a) C++ style comments (//) and (b) nested functions.
2007-01-06 18:01:36 +00:00
hidelevel.h
- Added new heuristics based on hidelevel results.
2006-02-22 15:48:58 +00:00
hidelevel.txt
- Much work for the skeleton of the Hidelevel lemma.
2006-02-21 20:29:05 +00:00
intruderknowledge.c
- Big catchup commit to make sure we are up to beta7.
2007-05-18 14:06:29 +02:00
intruderknowledge.h
- Added well-formedness checks. This will only be enabled if a role uses
2006-07-31 11:08:51 +00:00
knowledge.c
- Many cleanups to make -Wall happy. Next up is pedantic...
2007-01-06 14:45:29 +00:00
knowledge.h
- Many cleanups to make -Wall happy. Next up is pedantic...
2007-01-06 14:45:29 +00:00
label.c
- Term identifiers can now contain primes (SM)
2006-04-25 13:58:14 +00:00
label.h
- Term identifiers can now contain primes (SM)
2006-04-25 13:58:14 +00:00
language.txt
- Moved everything about.
2004-04-23 10:58:43 +00:00
license.txt
- Some consistency fixes after removing argtable2 dependency.
2005-04-10 15:36:41 +00:00
list.c
- Big catchup commit to make sure we are up to beta7.
2007-05-18 14:06:29 +02:00
list.h
- Huge code documentation effort.
2006-01-02 21:06:08 +00:00
main.c
- Cleanup
2007-05-03 11:40:58 +00:00
Makefile-fallback
- Added the fallback Makefile. This works fine, and I can test with the
2004-05-21 14:18:35 +00:00
mgu.c
- Big catchup commit to make sure we are up to beta7.
2007-05-18 14:06:29 +02:00
mgu.h
- Big catchup commit to make sure we are up to beta7.
2007-05-18 14:06:29 +02:00
mymalloc.h
- Updates (fast forwarding to latest Scyther from svn)
2007-05-18 13:55:11 +02:00
notes.txt
- Fixes, feature additions.
2007-01-27 10:04:18 +00:00
parser.y
- Fixed role comparison bug.
2007-02-01 12:18:38 +00:00
pheading.h
- Renamed nearly all files. Now, we try to use singular terms.
2004-07-24 19:07:29 +00:00
problem.spdl
- Big catchup commit to make sure we are up to beta7.
2007-05-18 14:06:29 +02:00
prune_bounds.c
- Added switch '--max-of-role' to further restrict state space. Added for comparison testing.
2007-01-26 15:31:49 +00:00
prune_bounds.h
- Refactoring code: splitting stuff out of arachne.c
2006-01-02 18:43:25 +00:00
prune_theorems.c
- Warning fixes.
2007-01-31 11:23:53 +00:00
prune_theorems.h
- Refactoring code: splitting stuff out of arachne.c
2006-01-02 18:43:25 +00:00
reindent.sh
- Big catchup commit to make sure we are up to beta7.
2007-05-18 14:06:29 +02:00
role.c
- Improved error output with line number syntax.
2007-01-29 17:20:45 +00:00
role.h
- Improved error output with line number syntax.
2007-01-29 17:20:45 +00:00
scanner.l
- Some work towards moving stderror output for non-linux things out of
2006-08-02 10:29:40 +00: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
- Big catchup commit to make sure we are up to beta7.
2007-05-18 14:06:29 +02:00
specialterm.h
- Big catchup commit to make sure we are up to beta7.
2007-05-18 14:06:29 +02:00
states.c
- Many cleanups to make -Wall happy. Next up is pedantic...
2007-01-06 14:45:29 +00:00
states.h
- Reindented everything, so the layout is up to date again.
2004-08-09 10:05:58 +00:00
subbuild-mac-universal.sh
- Removed Bin subdirectory and updates scripts.
2007-05-21 13:34:43 +02:00
subbuild-unix-both.sh
- Removed Bin subdirectory and updates scripts.
2007-05-21 13:34:43 +02:00
switches.c
Got rid of obsolete version number encoding.
2007-05-20 16:08:56 +02:00
switches.h
- Cleanup
2007-05-03 11:40:58 +00:00
symbol.c
- Some fixes after pedantic tests. What remains: (a) C++ style comments (//) and (b) nested functions.
2007-01-06 18:01:36 +00:00
symbol.h
- Huge code documentation effort.
2006-01-02 21:06:08 +00:00
system.c
- Big catchup commit to make sure we are up to beta7.
2007-05-18 14:06:29 +02:00
system.h
- Improved error output with line number syntax.
2007-01-29 17:20:45 +00:00
tac.c
- Many cleanups to make -Wall happy. Next up is pedantic...
2007-01-06 14:45:29 +00:00
tac.h
- Added functional 'knows' keyword.
2006-07-27 10:44:12 +00:00
tempfile.c
- Forgotten tempfile code.
2007-05-18 13:56:43 +02:00
tempfile.h
- Forgotten tempfile code.
2007-05-18 13:56:43 +02:00
term.c
- Removed more dead code, improved scantags.py
2007-01-27 11:07:45 +00:00
term.h
- Big catchup commit to make sure we are up to beta7.
2007-05-18 14:06:29 +02:00
termlist.c
- Big catchup commit to make sure we are up to beta7.
2007-05-18 14:06:29 +02:00
termlist.h
- Big catchup commit to make sure we are up to beta7.
2007-05-18 14:06:29 +02:00
termmap.c
- From this version onwards, Scyther no longer supports the modelchecker
2006-03-08 13:58:46 +00:00
termmap.h
- Renamed nearly all files. Now, we try to use singular terms.
2004-07-24 19:07:29 +00:00
timer.c
- Fixed obsolete usage of 'CLK_TCK', which has received a new name.
2006-11-29 08:41:23 +00:00
timer.h
- Added a --timer=x switch to abort Arachne proofs after x seconds.
2005-01-05 15:29:27 +00:00
todo.txt
- Big catchup commit to make sure we are up to beta7.
2007-05-18 14:06:29 +02:00
type.c
- Big catchup commit to make sure we are up to beta7.
2007-05-18 14:06:29 +02:00
type.h
- Big catchup commit to make sure we are up to beta7.
2007-05-18 14:06:29 +02:00
UniversalBinary.cmake
- Fixed equality tests and related script problems.
2007-01-09 15:37:43 +00:00
version.h
Got rid of obsolete version number encoding.
2007-05-20 16:08:56 +02:00
warshall.c
- [[[ Broken commit ]]]
2006-02-26 15:00:58 +00:00
warshall.h
- Big catchup commit to make sure we are up to beta7.
2007-05-18 14:06:29 +02:00
xmlout.c
- Big catchup commit to make sure we are up to beta7.
2007-05-18 14:06:29 +02:00
xmlout.h
- Added encapsulated dot output and claim reporting to the XML output.
2006-08-01 07:31:40 +00:00