sylv/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Commit Graph

  • 09419702d8 - New version mechanism in place ccremers 2007-05-03 15:52:51 +00:00
  • 32e6070a26 - New Mac version ccremers 2007-05-03 15:47:15 +00:00
  • 14170f603f - New binaries ccremers 2007-05-03 13:26:04 +00:00
  • 1558ef1987 - New Mac binary ccremers 2007-05-03 13:25:30 +00:00
  • d414200c3c - Improved build process ccremers 2007-05-03 13:21:43 +00:00
  • 71e79b5ed7 - New build thing ccremers 2007-05-03 12:00:00 +00:00
  • 5b528f69ba - Cleanup ccremers 2007-05-03 11:40:58 +00:00
  • 4529fd4bfd - Cleanup of build files ccremers 2007-05-03 11:32:07 +00:00
  • acb3f6b846 - Minor renaming of build scripts ccremers 2007-05-03 11:22:00 +00:00
  • 9882651f4a - Fixed role comparison bug. ccremers 2007-02-01 12:18:38 +00:00
  • 6e82d585be - Errors now get a nice colour ccremers 2007-01-31 15:45:05 +00:00
  • c63b87c750 - Oops. ccremers 2007-01-31 12:20:44 +00:00
  • ed433130e2 - New binaries. ccremers 2007-01-31 11:24:25 +00:00
  • eaf4506634 - Warning fixes. ccremers 2007-01-31 11:23:53 +00:00
  • 6f59ed3ab3 - Got rid of ctrl-W mapping to be nice to silly Emacs users. ccremers 2007-01-30 19:58:12 +00:00
  • 2ff5adf040 - Minor cleanup on Scyther output parser. ccremers 2007-01-30 17:43:58 +00:00
  • 17d1898b29 - Factored out editor component. ccremers 2007-01-30 11:01:17 +00:00
  • 6f5846d09f - Added new binaries for both windows and linux ccremers 2007-01-29 22:56:56 +00:00
  • a0704db58a - New icon draft. ccremers 2007-01-29 22:24:46 +00:00
  • eef54f2c39 - Added EPS for manual. ccremers 2007-01-29 21:51:59 +00:00
  • 41d811a49a - Improved error output with line number syntax. ccremers 2007-01-29 17:20:45 +00:00
  • 33df1ccb5b - Enabled Scintilla editor ccremers 2007-01-29 16:32:35 +00:00
  • df62d65d5c - Fixes to error output ccremers 2007-01-29 15:17:11 +00:00
  • cf84e83f9f - Scanned protocols for new obligatory check. ccremers 2007-01-29 15:05:15 +00:00
  • 9ca722e3cc - Added automatic checking of label correspondence. This will break [BREAK ALERT] some protocol files, e.g. those with weird roles. Fix them by prefixing the bang 'make' for ignoring labels. ccremers 2007-01-29 13:15:35 +00:00
  • df9a5a58ac - Embedded bike picture now, which is what you want. ccremers 2007-01-28 19:48:00 +00:00
  • 2a3d41e60c - Added improved wheel. ccremers 2007-01-28 19:35:23 +00:00
  • 5d0b15e292 - Reinstated the graphical about screen. ccremers 2007-01-27 22:52:22 +00:00
  • 3b79e325dc - Worked on new splash screen ccremers 2007-01-27 21:43:09 +00:00
  • 70a718807e - Improved error handling: any Scyther errors now raise an exception. This can be dealt with accordingly. If no error occurs, we can just nicely assume the output is a claim list or something similar. ccremers 2007-01-27 21:42:16 +00:00
  • 6cd4d3d7b6 - Added new feature to changelog (scripting interface for singular claim testing) ccremers 2007-01-27 13:11:07 +00:00
  • 836f30c26a - Bugfixes for singular claim testing support. ccremers 2007-01-27 13:08:24 +00:00
  • 0e21a2bd20 - Added scripting support for claim list retrieval and single claim evaluation. ccremers 2007-01-27 12:53:19 +00:00
  • 72c081c3cd - Cleanup ccremers 2007-01-27 11:16:04 +00:00
  • 91b52f6b4a - Removed more dead code, improved scantags.py ccremers 2007-01-27 11:07:45 +00:00
  • 256ec24d87 - Removed some dead code by using scantags.py ccremers 2007-01-27 10:33:15 +00:00
  • 1eb1e7849e - Fixes, feature additions. ccremers 2007-01-27 10:04:18 +00:00
  • 435bf9bb9b - Added '--scan-claims switch' ccremers 2007-01-27 09:52:44 +00:00
  • 139f93746d - Added switch '--max-of-role' to further restrict state space. Added for comparison testing. ccremers 2007-01-26 15:31:49 +00:00
  • 68047b596a - Added a scanner program to detect possibly unused code. (Other programs that can do similar stuff seem to hickup on the nested functions.) ccremers 2007-01-26 13:59:15 +00:00
  • eaa6ef1345 - Added feature for multi-party protocols (weaker precondition on Reachable) ccremers 2007-01-16 17:22:51 +00:00
  • a8cf31973b - Added some notes ccremers 2007-01-16 13:26:26 +00:00
  • 2804f79454 - Added new button sketches ccremers 2007-01-13 00:12:33 +00:00
  • fd0004bd9f - New static version. ccremers 2007-01-12 22:16:37 +00:00
  • f20559210b - We really want a static binary if possible. ccremers 2007-01-12 22:15:52 +00:00
  • d8da0a083f - Warnings should not cause the output to be ignored ccremers 2007-01-12 10:02:56 +00:00
  • 36edcc91fb - Added note about where the version numbers are. ccremers 2007-01-11 13:08:44 +00:00
  • 994ff7b095 - Added new Linux and Windows binaries (beta6) ccremers 2007-01-11 13:03:11 +00:00
  • fa42e15d3d - More version updates. ccremers 2007-01-11 11:22:57 +00:00
  • e97a704e2b - Making new version numbers. ccremers 2007-01-11 11:20:55 +00:00
  • 825980aab1 - Updated version number. ccremers 2007-01-11 11:18:26 +00:00
  • 412c75cc51 - Working towards text attack output. ccremers 2007-01-10 14:32:08 +00:00
  • 1ecc43e9d6 - Fixes to font things. ccremers 2007-01-10 14:30:52 +00:00
  • 888b9b611a - Generated parser/scanner files are no longer needed, as all build platforms (linux/mac) will probably have them installed. ccremers 2007-01-09 16:35:42 +00:00
  • 4d9a567646 - Added universal binary ccremers 2007-01-09 16:12:48 +00:00
  • ae65d0a30d - Fixed bug in new trace code. ccremers 2007-01-09 16:11:58 +00:00
  • c5125fec9e - Fixed problem with dot and xml output for debug version. ccremers 2007-01-09 16:07:29 +00:00
  • 35bd183a20 - Fixed equality tests and related script problems. ccremers 2007-01-09 15:37:43 +00:00
  • eafb56396f - Fixed new naming scheme in copy script ccremers 2007-01-09 15:28:03 +00:00
  • 4ba6c82968 - Generated new parser. ccremers 2007-01-09 15:27:19 +00:00
  • eb7f14c891 - Fixed scanner problem (I forgot the interaction between flex and bison) ccremers 2007-01-09 15:22:34 +00:00
  • c125c8f54e - Added dependencies ccremers 2007-01-09 14:47:52 +00:00
  • 16291579e7 - Fixed malloc problem. ccremers 2007-01-09 14:47:33 +00:00
  • c3f1d9661a - New naming scheme for mac binaries. ccremers 2007-01-09 14:37:17 +00:00
  • 3aaffd3110 - Mac building should work fine now. ccremers 2007-01-09 10:55:39 +00:00
  • da94176985 - Last few improvements for build scripts. ccremers 2007-01-09 09:47:06 +00:00
  • 7898de5f15 - Fix to find_file: this needs a path. ccremers 2007-01-09 08:54:00 +00:00
  • 41021072fa Added Mac build scripts ccremers 2007-01-08 13:41:39 +00:00
  • 7978eb6716 - Refactored code for readability, and split off archives. Works fine now on Mac-Intel ccremers 2007-01-08 13:24:37 +00:00
  • ad984680ac - Compiles on Mac now, although generates linux too. Very weird. ccremers 2007-01-08 11:20:19 +00:00
  • 0a1a13dd5a - Added more features for cross-compilation. ccremers 2007-01-08 07:38:17 +00:00
  • 3f68f5ece5 - Started towards cross-compilation. ccremers 2007-01-08 07:21:29 +00:00
  • 3ed08929a2 - Fixed bug in code. ccremers 2007-01-08 07:21:09 +00:00
  • 17e1eb4b6e - More improvements to the SVNVersion retrieval. ccremers 2007-01-08 06:32:00 +00:00
  • e595169501 - Improved svnversion writes. ccremers 2007-01-08 06:17:10 +00:00
  • e508befbf5 - Some fixes for GUI by hiding variables. ccremers 2007-01-07 17:32:15 +00:00
  • 5e300ee18c - Removed makefile from archive, as it is now generated by cmake. ccremers 2007-01-07 17:23:24 +00:00
  • dadf2e02fb - Added basic cmake setup files. It seems to compile for now. ccremers 2007-01-07 17:19:45 +00:00
  • 179cc9e3be - Added unused function, to test programs for that later. ccremers 2007-01-06 18:44:04 +00:00
  • 0fddd9f566 - Some fixes after pedantic tests. What remains: (a) C++ style comments (//) and (b) nested functions. ccremers 2007-01-06 18:01:36 +00:00
  • 89c3a20acf - Many cleanups to make -Wall happy. Next up is pedantic... ccremers 2007-01-06 14:45:29 +00:00
  • 92090142a0 - Added small script to be strict about stuff check. ccremers 2007-01-06 14:07:06 +00:00
  • 24bf895890 - Added error report in case of no output at all. (Tailored for reported OS X problem.) ccremers 2007-01-02 15:34:58 +00:00
  • 903f9bcbce - Fixes working towards attack indent output. ccremers 2007-01-02 15:22:25 +00:00
  • f3f6e56feb - Uncommented previously commented code. ccremers 2006-12-20 17:20:09 +00:00
  • 55a5acc0eb - Added 'clean' target. ccremers 2006-12-15 14:22:13 +00:00
  • e8d8524ed4 - Added local SCons copy (0.96.93) - Added Makefile wrapper for SCons ccremers 2006-12-15 14:20:04 +00:00
  • 807232a51e - Sanitized the settings window a bit. ccremers 2006-12-15 13:45:09 +00:00
  • a459002ae9 - Final builds for today. ccremers 2006-12-14 21:00:06 +00:00
  • 38dd697f41 - Bug seems to be resolved! ccremers 2006-12-14 20:32:24 +00:00
  • 8f1e1ae8a9 - Complete rewrite of Scyther call (also preparing for Mac OS X versions) ccremers 2006-12-14 20:08:34 +00:00
  • aac06d3c43 - Some code refactoring. ccremers 2006-12-14 19:46:36 +00:00
  • 7786e0d65f - Added 'append' switches and modified gui behaviour correspondingly. ccremers 2006-12-14 16:28:29 +00:00
  • 8c397d984e - Turned error switch into append switch. ccremers 2006-12-14 16:14:18 +00:00
  • 7eb354d22c - Correction to previous commit: added required files. ccremers 2006-12-14 14:08:08 +00:00
  • 4e2b7c405b - Improved error handling. ccremers 2006-12-14 14:06:50 +00:00
  • 2886e1a7e5 - Hopefully improved the attack displays. Needs checking. ccremers 2006-12-13 15:43:10 +00:00
  • 68e9ad9cf4 - New compiled version, ready for platform-testing on windows. ccremers 2006-12-13 13:48:33 +00:00
  • 0cf1affc26 - Threw out possibly offending statement. ccremers 2006-12-13 13:44:34 +00:00
  • 5a4fae93b3 - More fixes for beta5 ccremers 2006-12-13 13:08:33 +00:00