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

Commit Graph

  • c11a4268b0 Misc: note in attack graphs script on how to produce time/memory consumption output as well (on Linux) Cas Cremers 2013-06-20 09:54:56 +0200
  • 2004a0f4aa Misc: Added Python script to dump attack outputs for large sets of files. Cas Cremers 2013-06-19 23:01:36 +0200
  • 6134b46557 Backend DOT graph generation: Removing redundant ';' which seems to confuse more recent versions of Graphviz (>2.26) Cas Cremers 2013-06-19 22:55:31 +0200
  • 45d5cb0a3a Cleanup: Cleanup of some spacing, conform coding conventions. Cas Cremers 2013-06-19 21:51:52 +0200
  • c6280d745e Backend DOT graph generation: Removing debugging reporting of 'cost' in attack graphs. Cas Cremers 2013-06-19 21:50:49 +0200
  • 4263c81e52 Removing obsolete design files. Cas Cremers 2013-06-10 16:21:09 +0200
  • 486633fecd Updating INSTALL file. Cas Cremers 2013-05-24 12:32:04 +0200
  • fe25a53232 Regression-fix: Reintroduced option for alternative PKI. Cas Cremers 2013-05-24 11:05:30 +0200
  • 5c2eded8f9 Weakagree and Alive claims now also allow for a role parameter + BUGFIX. Cas Cremers 2013-05-23 16:38:44 +0200
  • 9e13d07b6e BUGFIX: Invoking Scyther scripts from non-standard directories or using symlinks should work consistently now. Cas Cremers 2013-05-01 14:16:12 +0200
  • 7658644295 Rati Gelashvili reported a rare but annoying bug in the hash function handling. Cas Cremers 2013-04-26 11:36:41 +0200
  • 4a1898db92 src/regression-tests: Consistent regression testing. Cas Cremers 2013-04-23 23:53:26 +0200
  • b92c097b38 BUGFIX: Windows version had a compilation problem. Cas Cremers 2012-12-17 20:51:42 +0100
  • 49097852d9 Fixing path. Cas Cremers 2012-12-17 11:33:48 +0100
  • 6dc3b21859 Added current manual snapshot. Cas Cremers 2012-12-17 11:32:58 +0100
  • 408a88807f Updated changelogs and readme's. Cas Cremers 2012-12-17 11:26:04 +0100
  • 091ce01f60 Minor synchronisation updates. Cas Cremers 2012-12-17 10:14:31 +0100
  • 1df5bf1fc3 Fixing typos. Cas Cremers 2012-12-14 23:59:57 +0100
  • 35045adf69 NEW: Scyther input files can now specify any command-line option. Cas Cremers 2012-12-14 23:53:04 +0100
  • d88402998e NEW: Added '--one-role-per-agent' switch. Cas Cremers 2012-12-14 16:59:53 +0100
  • 8372078d07 Corrected minor comment typos. Cas Cremers 2012-12-14 16:59:21 +0100
  • fb28a98086 BUGFIX: In case sources are compiled outside of git, ran into error where trying to strip None. Cas Cremers 2012-12-14 15:33:01 +0100
  • ba5166bd84 NEW: Added environment variable "SCYTHERCACHEDIR" to determine cache usage. Cas Cremers 2012-09-28 12:00:24 +0200
  • 6c7493838c Implemented well-formedness check as in the 2012 book. Cas Cremers 2012-12-06 09:52:13 +0100
  • 7a2d354bac Added Wimax models from compositionality paper. Cas Cremers 2012-11-27 21:55:54 +0100
  • ae155f8169 We now also allow macro definitions in roles, and allow for macro overwrite. Cas Cremers 2012-11-23 13:26:04 +0100
  • a71fe51036 BUGFIX: Occurrence of multiple macro symbols in one tuple could lead to infinite loop. Cas Cremers 2012-11-23 11:55:29 +0100
  • 1b4eb7cb54 BUILD: Added flag for Mac builds to enable building on 10.8 but allow also execution on 10.6 and 10.7. Cas Cremers 2012-11-23 09:21:53 +0100
  • d1537b1848 Catching other error message for wrong architecture. Cas Cremers 2012-11-23 09:25:19 +0100
  • 1648d14d98 Dropped Mac PPC support for now; only Intel binaries will be available. Cas Cremers 2012-11-22 14:31:19 +0100
  • 0fb7e9e24e Added support for macro definitions. Cas Cremers 2012-11-22 12:30:00 +0100
  • 25da320128 BUGFIX to list-length code: classical case of uninitialized variable. Cas Cremers 2012-11-22 12:26:01 +0100
  • fedd729ab2 Added support for inequality tests. Cas Cremers 2012-11-21 13:40:15 +0100
  • d4faeacd1e Implemented equality/pattern matching support. Cas Cremers 2012-11-21 11:28:40 +0100
  • 9c9c6758f2 Removing obsolete file. Cas Cremers 2012-11-15 16:50:22 +0100
  • 51495be80d Cleanup and restructuring of testing directory setup. Cas Cremers 2012-11-15 16:47:08 +0100
  • 1860527960 Added softlink to protocols directory. Cas Cremers 2012-11-15 13:41:02 +0100
  • 6642782b0d Moved development protocol files to a better named directory. Cas Cremers 2012-11-15 13:40:14 +0100
  • a911f56705 Added ISO/IEC 9798 models. Cas Cremers 2012-11-15 12:10:06 +0100
  • 65713fd508 Merge branch 'master' of github.com:cascremers/scyther Cas Cremers 2012-11-15 11:49:37 +0100
  • 03f49d3b29 Added IKE .spdl files (auto-generated from the .cpp files) for reference. Cas Cremers 2012-11-15 11:48:46 +0100
  • 34d7cba293 Added IKE base models. Cas Cremers 2012-11-15 11:48:14 +0100
  • e76c8cfb6f Added README.md for Github. Cas Cremers 2012-11-14 22:10:05 +0100
  • 5918bf1a3c Fixed MAC 32-bit problem in a nicer way. Cas Cremers 2012-10-24 16:06:17 +0200
  • 1bbd2f1ab7 Introduced markers in proof output for consistency with book description. Cas Cremers 2012-10-02 13:43:30 +0200
  • 10c62a6863 BUGFIX: Opening files was not always performing as expected. Fixed now. Cas Cremers 2012-10-02 13:42:48 +0200
  • fc72b5f6ff Removed remaining 'Const' declarations. Cas Cremers 2012-07-12 12:13:36 +0200
  • bb3cea7548 BUGFIX: Adversary was weakened in a previous commit wrt symmetric-key protocols. Cas Cremers 2012-07-09 11:24:42 +0200
  • d44e131f63 Improved goal selection heuristic and trivial goal skipping. Cas Cremers 2012-06-12 21:46:51 +0200
  • 61c451d7f8 Added public functions list to knowledge structure and added AddFunction for it. Cas Cremers 2012-06-12 21:36:27 +0200
  • 214e3ed09f BUGFIX: 'Empty' claims can have any arguments. Cas Cremers 2012-05-04 12:30:34 +0200
  • b81db8e9b7 Fixing remaining 'read's to 'recv'. Cas Cremers 2012-05-02 23:26:41 +0200
  • 727e813c77 Fixed obsolete notation in protocol specification files. Cas Cremers 2012-05-02 23:01:08 +0200
  • 2ba0de6abc New refactoring of build system for linux, should be clearer. Cas Cremers 2012-05-02 21:25:31 +0200
  • f408e61b00 Removed obsolete script. Cas Cremers 2012-05-02 21:17:23 +0200
  • b26482feca Started script to describe version. Cas Cremers 2012-05-02 17:15:50 +0200
  • 163a915a6d Added regression test script. Cas Cremers 2012-06-12 22:30:23 +0200
  • 588ae30bef Removing obsolete 'c-minimal' terminology. Cas Cremers 2012-05-02 10:15:45 +0200
  • ca5c7eaa49 Adding weakagree claim to nsl3. Cas Cremers 2012-05-02 10:15:33 +0200
  • 6fabb3b1b4 Improved checking of required parameters for various claims with informative error reporting. Cas Cremers 2012-05-01 16:37:18 +0200
  • 8d0b704635 Added weak agreement claims to NS. Cas Cremers 2012-05-01 16:37:04 +0200
  • ccae884942 Rephrasing comments. Cas Cremers 2012-05-01 15:02:45 +0200
  • 5608b29dc0 Refactored first_origination code. Cas Cremers 2012-05-01 14:46:01 +0200
  • 49e34e5167 CLEANUP: Forgotten garbage collection. Cas Cremers 2012-05-01 14:27:38 +0200
  • d713ac400d More 'read'->'recv' conversion. Cas Cremers 2012-04-26 16:40:01 +0200
  • 3a6d65463f Improving error reporting on wx import errors. Cas Cremers 2012-04-26 14:27:00 +0200
  • 5b985af776 Refactoring order of module loading for better error reporting. Cas Cremers 2012-04-26 13:41:07 +0200
  • 98dd606404 Adding agreement etc. to NS/NSL protocol. Cas Cremers 2012-04-25 22:09:46 +0200
  • 9b0915441f Synchronising MPA branch with compromise branch where possible. Cas Cremers 2012-04-25 17:03:51 +0200
  • 19359f9ba9 Inherited tempfile setup from compromise branch. Cas Cremers 2012-04-25 16:19:21 +0200
  • ab324fcea8 Added syntax check for usage of agreement. Cas Cremers 2012-04-25 15:30:15 +0200
  • 2242a5fcbd Fixing read->recv conventions. Cas Cremers 2012-04-25 09:53:07 +0200
  • 64e70ea4ea Fixing artefact with 'read' commands. Cas Cremers 2012-04-24 13:33:00 -0600
  • 1cbe9826ac Updated dates. Cas Cremers 2012-04-24 13:56:51 +0200
  • 626385821a Minor restructuring and fallback error even even tkInter is not installed. Cas Cremers 2012-04-24 12:34:42 +0200
  • 755c4519c6 Large pass on protocol specification files to get rid of deprecated constructions. Cas Cremers 2012-04-23 15:53:28 +0200
  • 30006b732a Fix Python 3 deprecated issues that cannot be resolved by 2to3. Cas Cremers 2012-04-23 15:01:15 +0200
  • b6ab044cd6 BUGFIX: 'Default' color not known to newer wxPython versions. Cas Cremers 2012-04-09 21:14:41 +0200
  • d9eab0bc02 CLEANUP: Remove duplicate check in pruning code. Cas Cremers 2012-03-22 10:53:36 +0100
  • d348736c87 SPDL: Removing obsolete constructs from SPDL file. Cas Cremers 2012-03-22 10:53:03 +0100
  • 6ed32d0f4c BUGFIX: Fixed overzealous deletion in init scripts and fixed reference to removed SetBinDir. Cas Cremers 2012-02-27 11:52:33 +0100
  • 4b62062765 Cleanup of path reconstruction. Cas Cremers 2011-09-23 12:18:59 +0200
  • a6bb143101 Added some minimal explanation to the wiper script. Cas Cremers 2011-09-23 11:23:41 +0200
  • 74ca7217ea ISO test script now points to Scyther models in papers directory. Cas Cremers 2011-09-23 11:23:26 +0200
  • aeafad484f BUGFIX: default PKI setup should have SK(E) in initial knowledge. Cas Cremers 2011-09-08 14:49:48 +0200
  • 828058c3b2 BUGFIX: Weak agreement was not implemented according to Lowe's defintion. Now it is. Cas Cremers 2011-04-26 11:50:00 +0200
  • 9f60184ba7 Add isTermlistSetEqual code to compare sets that are encoded as lists. Cas Cremers 2011-04-26 11:49:40 +0200
  • 8ec1908306 Added cost code to match compromise branch. Cas Cremers 2011-04-26 11:49:05 +0200
  • e23c79f59d CLEANUP: Refactored code. Cas Cremers 2011-04-06 10:50:54 +0200
  • d2375cdd2f Added template for commits. Cas Cremers 2011-04-06 10:50:43 +0200
  • 61c905e922 For consistency added termlist prepend macro. Cas Cremers 2011-04-01 15:24:55 +0200
  • 93cbb3e0f8 NEW: Added --role-unique switch to enforce that an agent can perform only one role. Cas Cremers 2011-04-01 15:24:14 +0200
  • 4ec5ea4232 Added helper protocol support. Cas Cremers 2011-04-01 15:23:20 +0200
  • 2e7328e0df Updated install document. Cas Cremers 2011-03-31 15:03:58 +0200
  • bc667f3f32 Improving some scripts; exploit cache better. Cas Cremers 2011-03-31 15:02:49 +0200
  • c2662abaef More comments. Cas Cremers 2011-03-31 15:01:50 +0200
  • 9959baf926 More ignore patterns. Cas Cremers 2011-03-31 15:01:13 +0200
  • da616c1198 Adding missing scripts. Cas Cremers 2011-03-31 15:00:56 +0200
  • a03f06ea41 BUGFIX: Auto-claim naming scheme was context dependent. Cas Cremers 2011-01-27 14:12:51 +0100
  • 810fc9eece Fixed wiper display. Cas Cremers 2011-01-27 10:57:54 +0100