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

Commit Graph

  • c525501233 Made unify stateful. Cas Cremers 2018-11-05 14:55:06 +0100
  • c256afc7ca Complex multiple interacting trampolines removal. Cas Cremers 2018-11-05 14:43:00 +0100
  • cdda26f21f Removed another trampoline; one of the type where omitting function argument types reduces warnings. Ouch. Cas Cremers 2018-11-04 23:24:56 +0100
  • 131ee69f1d Removed another straightforward trampoline with one nested call only. Cas Cremers 2018-11-04 23:06:24 +0100
  • 92c5b0bedc Removed term_iterate_leaves. Cas Cremers 2018-10-31 23:48:45 +0100
  • fe1be9b3f0 Removing term_iterate_deVar, which is now obsolete. Cas Cremers 2018-10-31 23:41:09 +0100
  • b6dab3c584 Further analysis. Cas Cremers 2018-10-31 23:30:35 +0100
  • b7705e6749 Updated TODO file. Cas Cremers 2018-10-22 21:52:36 +0200
  • 368009e84f Another trampoline bites the dust. Cas Cremers 2018-10-22 04:25:34 +0200
  • a373667c23 Further underspecifying pointers helps to avoid warnings. Cas Cremers 2018-10-22 04:24:42 +0200
  • ce719465fe Minor cleanup. Cas Cremers 2018-10-22 03:47:44 +0200
  • 85dbd20869 Stateful version of term leaves iterator. Cas Cremers 2018-10-22 03:24:47 +0200
  • fb3b13f4e3 Created initial stateful version of deVar iteration. Cas Cremers 2018-10-22 03:18:52 +0200
  • 596d5dc528 Minor cleanup. Cas Cremers 2018-10-22 03:07:59 +0200
  • 46ef11556d Added todo description. Cas Cremers 2018-10-22 00:28:17 +0200
  • f6942f3260 Fix to temporarily store also intermediate trampoline scan results. Cas Cremers 2018-10-21 23:32:24 +0200
  • b6f4fcbb7a Removed a slightly more complex trampoline by making a stateful iterator. Cas Cremers 2018-10-22 00:10:07 +0200
  • 4748d2f4d2 Introduced state in iterate_role_sends. Cas Cremers 2018-10-21 23:33:34 +0200
  • 1c81b04aa2 Removed another simple trampoline. Cas Cremers 2018-10-21 18:52:20 +0200
  • d9e17005ae Fix duplicate trampoline counting bug in script. Cas Cremers 2018-10-21 17:29:55 +0200
  • 54b3654b07 Updated regression tests. Cas Cremers 2018-10-21 17:09:29 +0200
  • 1c3e32a2da Refactoring. Cas Cremers 2018-10-19 21:28:22 -0400
  • 178c20a61c Refactoring code. Cas Cremers 2018-10-19 20:27:35 -0400
  • 024a76a32b Minor refactoring. Cas Cremers 2018-10-19 20:17:50 -0400
  • 45b2d97883 Another trampoline gone. Cas Cremers 2018-10-19 16:17:06 -0400
  • 24c6e47f07 Removed dead code that nevertheless produced a trampoline warning. Cas Cremers 2018-10-19 16:08:47 -0400
  • 15c64c8a55 Down to 20. Cas Cremers 2018-10-19 16:06:08 -0400
  • 38d57ed91d Nearly at 20 trampolines left. Cas Cremers 2018-10-19 16:01:44 -0400
  • 9da05f738c Another trampoline gone. Cas Cremers 2018-10-19 15:55:39 -0400
  • e831a9d51b Another simple trampoline removed. Cas Cremers 2018-10-19 15:51:47 -0400
  • fe2bc26e71 Removed one more. Cas Cremers 2018-10-19 15:46:48 -0400
  • 6ee81d304d Another double trampoline removed. Cas Cremers 2018-10-19 15:43:08 -0400
  • 38bb02aa61 Removed another simple trampoline. Cas Cremers 2018-10-19 15:33:41 -0400
  • d4c188659c Removed another trampoline. Cas Cremers 2018-10-19 15:28:51 -0400
  • 26bf502428 Removed another trampoline. Cas Cremers 2018-10-19 15:18:17 -0400
  • ad06600bd8 Removed a further simple trampoline. Cas Cremers 2018-10-19 15:10:28 -0400
  • 128189bb54 Added counter script. Cas Cremers 2018-10-19 14:35:56 -0400
  • ac7e0a144b Fixed another nested functions. Cas Cremers 2018-10-15 17:31:53 -0400
  • 0d9c23c33b Reindent code for consistency. Cas Cremers 2018-10-15 09:40:07 -0400
  • 369ae1e3f8 Refactoring another bit of code to avoid trampoline. Cas Cremers 2018-10-14 22:11:16 +0200
  • b56c66db0b Added some safety checks and a missing deVar to the code that localises terms. Cas Cremers 2018-10-14 22:00:16 +0200
  • 69c0486376 Another removal of a nested function. Cas Cremers 2018-10-14 21:46:55 +0200
  • ec8ea5f95c Copied another iterator to remove a trampoline. Cas Cremers 2018-10-14 20:51:19 +0200
  • 2ad030f919 Removed another nested function by duplicating iterator code. Cas Cremers 2018-10-14 20:42:54 +0200
  • 7956eb5953 Removed a simple nested function. Cas Cremers 2018-10-14 17:43:13 +0200
  • 08adc5b518 Removed a further nested function call. Cas Cremers 2018-10-14 17:39:29 +0200
  • 2b4af1c290 Removed nested function in goal_add. Cas Cremers 2018-10-14 17:29:15 +0200
  • 61beae203b Got rid of one nested function. Cas Cremers 2018-10-14 17:17:07 +0200
  • 792eaab09c Enable warning to help locate the problem areas to fix. Cas Cremers 2018-10-14 17:04:42 +0200
  • 1c278ca427 Fixing installation instructions since Python 2 is no longer in default Ubuntu installs. Cas Cremers 2017-12-14 16:23:09 +0000
  • 5103876969 Merge pull request #14 from kamphaus/master Cas Cremers 2016-06-27 15:22:29 +0200
  • faf6c57069 Added a new-file command with standard new-file keyboard shortcut Christophe Kamphaus 2016-02-28 23:33:18 +0100
  • 53de782d3c Changed default filename to empty string When trying to save a new file it opens the save-as dialog Christophe Kamphaus 2016-02-28 23:24:20 +0100
  • b386274738 Added standard keyboard shortcuts for opening and saving files Christophe Kamphaus 2016-02-28 23:21:24 +0100
  • 94f7b2ce43 Added standard keyboard shortcuts for closing windows Christophe Kamphaus 2016-02-28 23:18:21 +0100
  • 457c68580f Added explicit flag for using gnu89 C standard. Cas Cremers 2015-11-27 21:07:30 +0000
  • 2116fde993 Merge branch 'master' of github.com:cascremers/scyther Cas Cremers 2015-11-27 20:58:04 +0000
  • 4d8c8a7336 Minor fix. Cas Cremers 2015-05-02 14:20:42 +0100
  • bfbd57aede Merge branch 'master' of /home/cas/Dropbox/repos/scyther Cas Cremers 2014-12-09 22:47:31 +0000
  • ba513ea45d Fixing small wxPython error. Cas Cremers 2014-07-14 16:56:25 +0100
  • 6374683d17 Visualisation improvement: role variables get priority in assigning concrete values. Cas Cremers 2014-06-30 23:11:39 +0100
  • 277bb0a256 BUGFIX: Use name as reference point, not after deVar. Cas Cremers 2014-06-30 23:11:39 +0100
  • b0e5128e23 Attack output improvement: better choice of agent names. Cas Cremers 2014-06-30 17:03:24 +0100
  • e966bc88dd BUGFIX: --one-role-per-agent switch had a bug that made it cut too many patterns. Cas Cremers 2014-06-20 17:02:23 +0100
  • 4f252d55a7 Bugfix in case commandline text is empty. Cas Cremers 2014-06-10 14:54:28 +0100
  • f1f2f28f61 Rewriting option parser wrapper to ensure memory is not lost. Cas Cremers 2014-06-10 14:32:52 +0100
  • 9cc323004c Cleanup: Refactoring XML output code to facilitate introduction of protocol xml output. Cas Cremers 2014-04-15 22:12:43 +0100
  • dc4432a18f Cleanup: Removing unused variables. Cas Cremers 2014-04-15 22:12:12 +0100
  • 7e43c4d06f Cleanup: Update notes for experimental directory to point to the correct protocols directory. Cas Cremers 2014-03-19 09:35:26 +0000
  • 4fa48239a5 Cleanup: added missing header files. Cas Cremers 2014-03-18 13:53:51 +0000
  • 7dcbec07a0 Cleanup: removing unused variables. Cas Cremers 2014-03-18 13:53:33 +0000
  • 7f64250e97 Updated version of the manual. Cas Cremers 2014-02-18 12:31:59 +0000
  • d16263dac1 Propagating compilation requirements to readme. Cas Cremers 2014-02-18 12:21:04 +0000
  • 3df93c42e4 Bugfix: compilation was not working on recent 64-bit Ubuntu versions. Cas Cremers 2014-02-18 10:53:24 +0000
  • b6517dd41e BUGFIX: Fixing font selection commands for wxPython. Cas Cremers 2014-01-31 11:31:41 +0000
  • f9a34f4de5 BUGFIX: Updating hashfunction usage in protocol files to new conventions. Cas Cremers 2014-01-08 15:08:40 +0000
  • 1a9a8714a6 Merge branch 'master' of /home/cas/Dropbox/repos/scyther Cas Cremers 2013-12-23 13:12:03 +0000
  • a20f3760e7 Updating URLs. Cas Cremers 2013-12-23 13:11:48 +0000
  • 52ec943b76 Updating markdown with relative links. Cas Cremers 2013-12-13 23:02:27 +0000
  • 18b35a3bac Added further information. Cas Cremers 2013-12-13 22:58:26 +0000
  • 5a7ed5be4c Further fixes to markdown of installation file. Cas Cremers 2013-12-13 22:55:09 +0000
  • 04f4ee6b53 Further minor fixes. Cas Cremers 2013-12-13 22:49:41 +0000
  • d79135fd06 Updated installation markdown file. Cas Cremers 2013-12-13 22:47:47 +0000
  • 28c7c12db5 More experiments with Markdown. Cas Cremers 2013-12-13 22:33:10 +0000
  • f4d9ea0042 Experiment with relative links in markdown, enabling better use of README. Cas Cremers 2013-12-13 22:26:16 +0000
  • 0ccbe7ce06 Updated changelog. Cas Cremers 2013-12-12 10:01:22 +0000
  • 6fc0335f05 Updated manual. Cas Cremers 2013-12-12 09:43:55 +0000
  • 6f0a72750e Removing obsolete manual copy commands from release scripts, since we copy the manual in now periodically by hand. Cas Cremers 2013-12-12 09:02:04 +0000
  • 1a9d088aa8 Updated installation and compilation notes. Cas Cremers 2013-12-11 16:44:19 +0000
  • a7230702cb Cleanup of obsolete module import. Cas Cremers 2013-12-09 14:25:11 +0000
  • c9b1d08f4f Hack for Windows users to compensate for Graphviz "feature". Cas Cremers 2013-12-09 14:24:57 +0000
  • 7e3f0ed73b BUGFIX: Reverted use of shlex. Cas Cremers 2013-12-09 09:07:47 +0000
  • 1a9b494f85 Updating the protocol generator for the ffgg family. Cas Cremers 2013-11-18 16:59:11 +0000
  • 1b04bf9274 Updated changelog. Cas Cremers 2013-10-13 10:34:49 +0100
  • 8f9dc0cb83 Updated manual. Cas Cremers 2013-10-12 20:12:01 +0100
  • d06247fcfe Updating time stamps for next release. Cas Cremers 2013-10-05 23:56:12 +0100
  • 4e78a1d3fa Removing obsolete file. Cas Cremers 2013-10-05 23:47:51 +0100
  • 2ee202b1ae Updated Denning-Sacco-Lowe note. Cas Cremers 2013-08-23 15:15:19 +0200
  • fe364fbe9d GUI: Canceling verification now also kills back-end thread. Cas Cremers 2013-06-30 23:14:28 +0200
  • 6473aba398 Misc: improving output of generate-attack-graphs.py script. Cas Cremers 2013-06-20 10:32:16 +0200