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

Commit Graph

  • 8eec8e90e4 Merge branch 'master' of ssh://cremersc@buckleburg.inf.ethz.ch/home/cremersc/repos/scyther Cas Cremers 2008-03-13 10:24:28 +01:00
  • 27521d0e87 Added notes. Cas Cremers 2008-03-13 10:24:13 +01:00
  • bea1c85d9d Tried to model Guttman variants, found multi-protocol attack. Cas Cremers 2008-02-25 23:46:22 +01:00
  • b1ea3f6d4b Split up Neumann-Stubblebine. Cas Cremers 2008-02-25 23:28:52 +01:00
  • cfe0f917a1 Added generator for ffgg protocol. Cas Cremers 2008-02-25 14:11:11 +01:00
  • 0709539737 Merge branch 'master' of ssh://cremersc@buckleburg.inf.ethz.ch/home/cremersc/repos/scyther Cas Cremers 2008-01-28 15:25:46 +01:00
  • a7c1d8c696 Improved handling of cases with untyped variables. Cas Cremers 2008-01-28 15:23:40 +01:00
  • 03522b7108 Try to not draw duplicate arrows. Cas Cremers 2008-01-16 11:55:15 +01:00
  • bf24312fb1 Disabled intruder knowledge computation. Cas Cremers 2008-01-10 16:50:02 +01:00
  • 0e15b7221f Strange problem with concretization algorithm. Cas Cremers 2008-01-10 16:10:21 +01:00
  • ce9891d351 Disabled well-formedness temporarily. Cas Cremers 2008-01-10 16:09:24 +01:00
  • 8fe754f4ec Moved key-compromise models into their own directory and removed key-compromise models from base protocols. Cas Cremers 2007-11-16 09:00:23 +01:00
  • 2d45daa8ee Introduced '-c,--characterize' switches for complete characterization. Cas Cremers 2007-11-15 18:00:28 +01:00
  • b02c09f0dd Disabled --check for gui as well. Cas Cremers 2007-11-15 21:49:35 +01:00
  • 870d1c2f41 BUGFIX: PIL no longer works on my Feisty machines: PIL disabled. Cas Cremers 2007-11-13 20:49:09 +01:00
  • 08bbdded3c Minor cleanup. Cas Cremers 2007-10-22 21:42:43 +02:00
  • 809b8290d9 Bugfixes for source script. Cas Cremers 2007-10-22 21:36:39 +02:00
  • 62561d78fc Added script to test source archive generation. Cas Cremers 2007-10-22 21:28:17 +02:00
  • a6370726ef Cleanup. Cas Cremers 2007-10-22 21:14:06 +02:00
  • 6e65138dca Added --license switch to the Gui. Cas Cremers 2007-10-08 14:52:50 +02:00
  • 9d4ce4ecc1 Bugfix in releasescript. Cas Cremers 2007-10-08 14:41:17 +02:00
  • f2d4b56c11 Build and release any git revision. Cas Cremers 2007-10-08 14:37:50 +02:00
  • ccd90dccdb Releasescripts now also allow for building arbitrary description tags. Cas Cremers 2007-10-08 14:27:53 +02:00
  • dd57481991 Added note to changelog. Cas Cremers 2007-10-08 14:14:24 +02:00
  • 59d061c47f Patch by Alberto Piai to address new integration of (c)elementtree into core python. Cas Cremers 2007-10-08 13:59:16 +02:00
  • b013440c8b Merge branch 'Todo' Cas Cremers 2007-09-18 16:09:05 +02:00
  • 2107d76532 Proof output improved for occurrences of the Athena problem. Cas Cremers 2007-09-18 15:36:11 +02:00
  • 59bcb18fec Caught Athena problem case. Cas Cremers 2007-09-18 15:27:41 +02:00
  • 6cf81b3e8e Added protocol that exploits the main problem of the Athena-based algorithm. Cas Cremers 2007-09-18 15:25:32 +02:00
  • 8a2ae84f35 Added incompleteness marker for the untyped variables and MGDU set problem. Cas Cremers 2007-09-17 16:54:17 +02:00
  • a93b555b1a Added cast to solve long-standing compilation warning. Cas Cremers 2007-09-17 16:53:37 +02:00
  • ab7d37fca2 Further cleanup. Cas Cremers 2007-06-12 14:48:13 +02:00
  • 52e23f5c86 Merge branch 'manual' into 'master'. Cas Cremers 2007-06-12 14:43:16 +02:00
  • 4d1e62fac9 Removed a large number of obsolete files. Cas Cremers 2007-06-12 14:39:08 +02:00
  • 34ff7e28c6 Added GPL 2 notice to command-line usage of the Scyther backend. Cas Cremers 2007-06-11 15:05:49 +02:00
  • 44f89d8e78 Added GPL 2 notice in the 'about' box. Cas Cremers 2007-06-11 14:20:53 +02:00
  • f901951e4b Added GPL 2 to the Python scripts. Cas Cremers 2007-06-11 14:09:24 +02:00
  • 7d584cca1e Added GPL 2 License to the C sources. Cas Cremers 2007-06-11 14:01:04 +02:00
  • d5ba325233 Workaround for strange wxPython display error. Cas Cremers 2007-05-29 16:39:25 +02:00
  • 9f97e1e5d7 Moved todo text into a more sensible place. Cas Cremers 2007-05-25 11:18:45 +02:00
  • 057909d0c5 Improved build scripts. Cas Cremers 2007-05-23 18:03:48 +02:00
  • 14b1e800c3 - Building binaries on Mac automatically too. Cas Cremers 2007-05-23 14:34:38 +02:00
  • 76c516dee0 Merge branch 'reverting-b7' into release Cas Cremers 2007-05-21 16:41:19 +02:00
  • 742cbcda60 - Added some ignore patterns. Cas Cremers 2007-05-21 13:56:00 +02:00
  • b80de55289 Merge branch 'testing' of cas@roivas.shape9.nl:/export/git/scyther into reverting-b7 Cas Cremers 2007-05-21 13:48:56 +02:00
  • a09cf686f9 - Modified explanation too. Cas Cremers 2007-05-21 13:25:25 +02:00
  • 461895555b - Removed Bin subdirectory and updates scripts. Cas Cremers 2007-05-21 13:24:19 +02:00
  • 38a5d04c8c - Fix to the reverter. Cas Cremers 2007-05-21 13:32:57 +02:00
  • 38f1bffcef - Reverted version of beta7 for testing. Cas Cremers 2007-05-21 13:21:49 +02:00
  • db78f91af1 Fixed version information updates of both the compiled code as well as the Gui. Cas Cremers 2007-05-20 16:14:40 +02:00
  • f56a10646f Got rid of obsolete version number encoding. Cas Cremers 2007-05-20 16:08:56 +02:00
  • db78b7f941 - Added some further explanations for users of the dist script if the tag/arch is not found. Cas Cremers 2007-05-20 16:00:41 +02:00
  • d0ee59521a - Removed obsolete files for new versions. Cas Cremers 2007-05-20 16:00:14 +02:00
  • 2279190b18 - Fixed usage explanation, and added tests for valid tag/arch Cas Cremers 2007-05-20 14:13:38 +02:00
  • e1d0e0f273 - Rewrote script to be more clear about the used locations. Cas Cremers 2007-05-20 13:43:11 +02:00
  • c90ac432a5 - Added some patterns to ignore. Cas Cremers 2007-05-20 13:17:17 +02:00
  • 56f1f698e9 - Improved the build script. Should work for windows and linux now. Cas Cremers 2007-05-20 13:15:27 +02:00
  • 173b1e8d41 Merge branch 'stable' of ssh://cas@roivas.shape9.nl/export/git/scyther-develop/ Cas Cremers 2007-05-19 23:38:10 +02:00
  • f1e35b1cde - Fixed ns/nsl and mpa example. Cas Cremers 2007-05-19 18:02:36 +02:00
  • d9d72cc417 - Cleanup of zip files. Cas Cremers 2007-05-19 18:01:02 +02:00
  • 9063c00f55 - Switched encoding of Changelog so windows users can read it too. Cas Cremers 2007-05-19 17:57:18 +02:00
  • 475e311f55 - Updated dist file for w32. Cas Cremers 2007-05-19 17:42:58 +02:00
  • 3b1cc485d7 - Added a new script to push git versions. Cas Cremers 2007-05-19 17:36:50 +02:00
  • 9aa39bfbe2 - SPORE moved into gui directory by default. Cas Cremers 2007-05-19 17:10:46 +02:00
  • 0ba35eb983 - Updated changelog. Cas Cremers 2007-05-19 17:06:06 +02:00
  • d1b810d9fc - Updated. Cas Cremers 2007-05-19 17:04:57 +02:00
  • 76f0db6f13 - Got rid of a lot of garbage. Cas Cremers 2007-05-19 17:02:18 +02:00
  • f837d1b000 Integrated XP fixes Cas Cremers 2007-05-19 16:27:28 +02:00
  • 4bf7126a45 - Removed binaries (no longer part of the tree) Cas Cremers 2007-05-19 15:55:46 +02:00
  • 3dfb8d6173 - Fixed font settings for Unix. Cas Cremers 2007-05-19 15:43:57 +02:00
  • f47c1e7e5e - Factored out the safe external command process. It turns out that the shell should not be used under windows Popen, but on the other hand is must be used under Linux. Cas Cremers 2007-05-19 15:32:58 +02:00
  • 23931281d0 - Font problems seem to be partially fixed on windows. Note that the font is not found, so rendering is ugly, but at least the text does not flow over the boxes anymore. Cas Cremers 2007-05-19 15:19:02 +02:00
  • 688416a351 - Rewrite subprocess access to the newer subprocess.Popen module. This seems to work just fine for Windows XP, at least. Cas Cremers 2007-05-19 14:29:32 +02:00
  • ee5d0cbfe8 - Reverted a patch for the fonts. Cas Cremers 2007-05-18 14:17:24 +02:00
  • ef2af6b097 - Removed font print debugging information. Cas Cremers 2007-05-18 14:12:32 +02:00
  • 1542d65def - Big catchup commit to make sure we are up to beta7. This includes a number of single patches, ranging from the vista fix with the buffers, to the start of many new minor features. Cas Cremers 2007-05-18 14:06:29 +02:00
  • 5882548643 - Forgot the bool file. Cas Cremers 2007-05-18 13:57:33 +02:00
  • 46636014c0 - Forgotten tempfile code. Cas Cremers 2007-05-18 13:56:43 +02:00
  • 7c8ca527b2 - Updates (fast forwarding to latest Scyther from svn) Cas Cremers 2007-05-18 13:55:11 +02:00
  • 814fbf31cd - Some obsolete bugs removed. Cas Cremers 2007-05-18 08:11:54 +02:00
  • 04b6ab4b36 - Added ignore patterns - Removed some obsolete bug reports (but more pruning is needed in the future) Cas Cremers 2007-05-18 00:34:02 +02:00
  • 19f0019dad - Removed another obsolete file. Cas Cremers 2007-05-18 00:13:52 +02:00
  • 9bfa17a464 - Added todo. Cas Cremers 2007-05-18 00:05:34 +02:00
  • 530658b57a - Note about versions. Cas Cremers 2007-05-17 17:47:23 +02:00
  • d64d89b063 - Added further notes Cas Cremers 2007-05-17 17:35:47 +02:00
  • b9e31b6b47 - Got rid of more garbage. Cas Cremers 2007-05-17 17:32:10 +02:00
  • a644446f62 - Some fixes. Cas Cremers 2007-05-17 17:30:04 +02:00
  • d622b14257 - Big restructuring of the directories Cas Cremers 2007-05-17 17:28:10 +02:00
  • f168778161 - Mac installation problems file needed a better name. Cas Cremers 2007-05-17 17:23:36 +02:00
  • 04a9919ec6 - Got rid of more stuff. Cas Cremers 2007-05-17 17:11:53 +02:00
  • 8fda46294a - Removed more obsolete stuff. Cas Cremers 2007-05-17 17:04:58 +02:00
  • cfbaad4388 - Last version ccremers 2007-05-12 09:29:47 +00:00
  • 6fb4187369 - Even better. ccremers 2007-05-12 06:31:36 +00:00
  • 4c06d50747 - Bla. ccremers 2007-05-12 06:13:59 +00:00
  • d122ae95fe - Ah, I need to specificy the file by default. Changed. ccremers 2007-05-11 23:10:11 +00:00
  • 807c702ee7 Tested adding a file in git, seems to work. ccremers 2007-05-11 23:10:04 +00:00
  • 4177b20aad - Minor additions ccremers 2007-05-11 21:44:36 +00:00
  • 9545d878dd - Fixes ccremers 2007-05-11 21:18:02 +00:00
  • a6a41973b4 - First attempt at modeling ccremers 2007-05-11 20:51:59 +00:00
  • eea7a09730 - New type versioning for the Mac too ccremers 2007-05-03 15:54:00 +00:00