andr3/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
b92c097b38
scyther/src
History
Cas Cremers b92c097b38 BUGFIX: Windows version had a compilation problem. 
The use of 'strndup' in scanner.l caused problems for non-gnu modes of gcc, which
was being invoked for the mingw32 compilation. Replaced now by the more portable
strncpy + malloc version.
2012-12-17 20:51:42 +01:00
..
.gitignore Added GPL 2 License to the C sources. 2007-06-11 14:01:04 +02:00
arachne.c Introduced markers in proof output for consistency with book description. 2012-10-02 13:43:30 +02:00
arachne.h Updated dates. 2012-04-24 13:56:51 +02:00
binding.c Removing obsolete 'c-minimal' terminology. 2012-05-02 10:15:45 +02:00
binding.h Refactored first_origination code. 2012-05-01 14:46:01 +02:00
bool.h Updated dates. 2012-04-24 13:56:51 +02:00
build-brutus.sh Started script to describe version. 2012-06-12 23:12:14 +02:00
build-debug.sh Started script to describe version. 2012-06-12 23:12:14 +02:00
build.sh Dropped Mac PPC support for now; only Intel binaries will be available. 2012-11-22 14:35:28 +01:00
BuildMacIntel.cmake BUILD: Added flag for Mac builds to enable building on 10.8 but allow also execution on 10.6 and 10.7. 2012-11-23 09:25:27 +01:00
BuildPlatform.cmake Dropped Mac PPC support for now; only Intel binaries will be available. 2012-11-22 14:35:28 +01: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 support for inequality tests. 2012-11-21 13:40:15 +01:00
claim.h Updated dates. 2012-04-24 13:56:51 +02: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 Updated dates. 2012-04-24 13:56:51 +02:00
color.h Updated dates. 2012-04-24 13:56:51 +02:00
compile.txt Removed a large number of obsolete files. 2007-06-12 14:39:08 +02:00
compiler.c Implemented well-formedness check as in the 2012 book. 2012-12-06 09:52:13 +01:00
compiler.h Updated dates. 2012-04-24 13:56:51 +02:00
cost.c Updated dates. 2012-04-24 13:56:51 +02:00
cost.h Updated dates. 2012-04-24 13:56:51 +02:00
debug.c Updated dates. 2012-04-24 13:56:51 +02:00
debug.h Updated dates. 2012-04-24 13:56:51 +02:00
depend.c Updated dates. 2012-04-24 13:56:51 +02:00
depend.h Synchronising MPA branch with compromise branch where possible. 2012-04-25 17:03:51 +02:00
describe-version.py BUGFIX: In case sources are compiled outside of git, ran into error where trying to strip None. 2012-12-14 15:35:01 +01:00
dotout.c Removed remaining 'Const' declarations. 2012-07-12 13:36:40 +02:00
dotout.h Updated dates. 2012-04-24 13:56:51 +02:00
error.c Updated dates. 2012-04-24 13:56:51 +02:00
error.h Updated dates. 2012-04-24 13:56:51 +02: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 Improved goal selection heuristic and trivial goal skipping. 2012-06-12 23:12:15 +02:00
heuristic.h Updated dates. 2012-04-24 13:56:51 +02:00
hidelevel.c Updated dates. 2012-04-24 13:56:51 +02:00
hidelevel.h Updated dates. 2012-04-24 13:56:51 +02:00
intruderknowledge.c Updated dates. 2012-04-24 13:56:51 +02:00
intruderknowledge.h Updated dates. 2012-04-24 13:56:51 +02:00
knowledge.c Added public functions list to knowledge structure and added AddFunction for it. 2012-06-12 23:12:15 +02:00
knowledge.h Added public functions list to knowledge structure and added AddFunction for it. 2012-06-12 23:12:15 +02:00
label.c Fixing read->recv conventions. 2012-04-25 09:53:07 +02:00
label.h Fixing read->recv conventions. 2012-04-25 09:53:07 +02:00
list.c BUGFIX to list-length code: classical case of uninitialized variable. 2012-11-22 12:27:05 +01:00
list.h Updated dates. 2012-04-24 13:56:51 +02:00
main.c Updated dates. 2012-04-24 13:56:51 +02:00
mgu.c Updated dates. 2012-04-24 13:56:51 +02:00
mgu.h Updated dates. 2012-04-24 13:56:51 +02:00
mymalloc.h Updated dates. 2012-04-24 13:56:51 +02:00
NOTES.txt Added notes. 2008-03-13 10:24:13 +01:00
ns3.spdl Added support for macro definitions. 2012-11-22 12:30:00 +01:00
parser.y NEW: Scyther input files can now specify any command-line option. 2012-12-14 23:55:07 +01:00
pheading.h Updated dates. 2012-04-24 13:56:51 +02:00
prune_bounds.c Updated dates. 2012-04-24 13:56:51 +02:00
prune_bounds.h Updated dates. 2012-04-24 13:56:51 +02:00
prune_theorems.c NEW: Added '--one-role-per-agent' switch. 2012-12-14 17:06:55 +01:00
prune_theorems.h Updated dates. 2012-04-24 13:56:51 +02:00
reindent.sh Better reindent script (from newCompromise branch) 2010-11-10 23:55:21 +01:00
role.c Implemented well-formedness check as in the 2012 book. 2012-12-06 09:52:13 +01:00
role.h Implemented well-formedness check as in the 2012 book. 2012-12-06 09:52:13 +01:00
scanner.l BUGFIX: Windows version had a compilation problem. 2012-12-17 20:51:42 +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 Added support for inequality tests. 2012-11-21 13:40:15 +01:00
specialterm.h Added support for inequality tests. 2012-11-21 13:40:15 +01:00
states.c Updated dates. 2012-04-24 13:56:51 +02:00
states.h Updated dates. 2012-04-24 13:56:51 +02:00
subbuild-mac-intel.sh Dropped Mac PPC support for now; only Intel binaries will be available. 2012-11-22 14:35:28 +01:00
subbuild-unix-both.sh New refactoring of build system for linux, should be clearer. 2012-06-12 23:12:14 +02:00
subbuild-unix-unix.sh New refactoring of build system for linux, should be clearer. 2012-06-12 23:12:14 +02:00
subbuild-unix-w32.sh New refactoring of build system for linux, should be clearer. 2012-06-12 23:12:14 +02:00
switches.c Fixing typos. 2012-12-15 00:00:26 +01:00
switches.h NEW: Scyther input files can now specify any command-line option. 2012-12-14 23:55:07 +01:00
symbol.c Updated dates. 2012-04-24 13:56:51 +02:00
symbol.h Updated dates. 2012-04-24 13:56:51 +02:00
system.c Introduced markers in proof output for consistency with book description. 2012-10-02 13:43:30 +02:00
system.h Introduced markers in proof output for consistency with book description. 2012-10-02 13:43:30 +02:00
tac.c BUGFIX: Occurrence of multiple macro symbols in one tuple could lead to infinite loop. 2012-11-23 14:34:04 +01:00
tac.h NEW: Scyther input files can now specify any command-line option. 2012-12-14 23:55:07 +01:00
tempfile.c Inherited tempfile setup from compromise branch. 2012-04-25 16:19:21 +02:00
tempfile.h Updated dates. 2012-04-24 13:56:51 +02:00
term.c Updated dates. 2012-04-24 13:56:51 +02:00
term.h Updated dates. 2012-04-24 13:56:51 +02:00
termlist.c Updated dates. 2012-04-24 13:56:51 +02:00
termlist.h Updated dates. 2012-04-24 13:56:51 +02:00
termmap.c Updated dates. 2012-04-24 13:56:51 +02:00
termmap.h Updated dates. 2012-04-24 13:56:51 +02:00
timer.c Updated dates. 2012-04-24 13:56:51 +02:00
timer.h Updated dates. 2012-04-24 13:56:51 +02:00
type.c Updated dates. 2012-04-24 13:56:51 +02:00
type.h Updated dates. 2012-04-24 13:56:51 +02:00
warshall.c Updated dates. 2012-04-24 13:56:51 +02:00
warshall.h Updated dates. 2012-04-24 13:56:51 +02:00
xmlout.c Fixing read->recv conventions. 2012-04-25 09:53:07 +02:00
xmlout.h Updated dates. 2012-04-24 13:56:51 +02:00