Commit Graph

220 Commits

Author SHA1 Message Date
Cas Cremers
461895555b - Removed Bin subdirectory and updates scripts. 2007-05-21 13:34:43 +02:00
Cas Cremers
38a5d04c8c - Fix to the reverter. 2007-05-21 13:32:57 +02:00
Cas Cremers
38f1bffcef - Reverted version of beta7 for testing. 2007-05-21 13:29:33 +02:00
Cas Cremers
173b1e8d41 Merge branch 'stable' of ssh://cas@roivas.shape9.nl/export/git/scyther-develop/
Conflicts:

	gui/Gui/Scytherthread.py
2007-05-19 23:38:10 +02:00
Cas Cremers
f1e35b1cde - Fixed ns/nsl and mpa example. 2007-05-19 18:02:36 +02:00
Cas Cremers
9063c00f55 - Switched encoding of Changelog so windows users can read it too. 2007-05-19 17:57:18 +02:00
Cas Cremers
9aa39bfbe2 - SPORE moved into gui directory by default. 2007-05-19 17:10:46 +02:00
Cas Cremers
0ba35eb983 - Updated changelog. 2007-05-19 17:06:06 +02:00
Cas Cremers
d1b810d9fc - Updated. 2007-05-19 17:04:57 +02:00
Cas Cremers
76f0db6f13 - Got rid of a lot of garbage. 2007-05-19 17:02:18 +02:00
Cas Cremers
f837d1b000 Integrated XP fixes 2007-05-19 16:27:28 +02:00
Cas Cremers
4bf7126a45 - Removed binaries (no longer part of the tree) 2007-05-19 15:55:46 +02:00
Cas Cremers
3dfb8d6173 - Fixed font settings for Unix. 2007-05-19 15:43:57 +02:00
Cas Cremers
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. 2007-05-19 15:32:58 +02:00
Cas Cremers
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. 2007-05-19 15:19:02 +02:00
Cas Cremers
688416a351 - Rewrite subprocess access to the newer subprocess.Popen module. This seems to work just fine for Windows XP, at least. 2007-05-19 14:29:32 +02:00
Cas Cremers
ee5d0cbfe8 - Reverted a patch for the fonts. 2007-05-18 14:17:24 +02:00
Cas Cremers
ef2af6b097 - Removed font print debugging information. 2007-05-18 14:12:32 +02:00
Cas Cremers
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.
2007-05-18 14:06:29 +02:00
Cas Cremers
7c8ca527b2 - Updates (fast forwarding to latest Scyther from svn) 2007-05-18 13:55:11 +02:00
Cas Cremers
d64d89b063 - Added further notes 2007-05-17 17:35:47 +02:00
Cas Cremers
d622b14257 - Big restructuring of the directories 2007-05-17 17:28:10 +02:00
ccremers
eea7a09730 - New type versioning for the Mac too 2007-05-03 15:54:00 +00:00
ccremers
09419702d8 - New version mechanism in place 2007-05-03 15:52:51 +00:00
ccremers
32e6070a26 - New Mac version 2007-05-03 15:47:15 +00:00
ccremers
14170f603f - New binaries 2007-05-03 13:26:04 +00:00
ccremers
1558ef1987 - New Mac binary 2007-05-03 13:25:30 +00:00
ccremers
9882651f4a - Fixed role comparison bug. 2007-02-01 12:18:38 +00:00
ccremers
6e82d585be - Errors now get a nice colour 2007-01-31 15:45:05 +00:00
ccremers
c63b87c750 - Oops. 2007-01-31 12:20:44 +00:00
ccremers
ed433130e2 - New binaries. 2007-01-31 11:24:25 +00:00
ccremers
6f59ed3ab3 - Got rid of ctrl-W mapping to be nice to silly Emacs users. 2007-01-30 19:58:12 +00:00
ccremers
2ff5adf040 - Minor cleanup on Scyther output parser. 2007-01-30 17:43:58 +00:00
ccremers
17d1898b29 - Factored out editor component. 2007-01-30 11:01:17 +00:00
ccremers
6f5846d09f - Added new binaries for both windows and linux 2007-01-29 22:56:56 +00:00
ccremers
33df1ccb5b - Enabled Scintilla editor 2007-01-29 16:32:35 +00:00
ccremers
df62d65d5c - Fixes to error output 2007-01-29 15:17:11 +00:00
ccremers
cf84e83f9f - Scanned protocols for new obligatory check. 2007-01-29 15:05:15 +00:00
ccremers
5d0b15e292 - Reinstated the graphical about screen. 2007-01-27 22:52:22 +00:00
ccremers
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.
2007-01-27 21:42:16 +00:00
ccremers
6cd4d3d7b6 - Added new feature to changelog (scripting interface for singular claim
testing)
2007-01-27 13:11:07 +00:00
ccremers
836f30c26a - Bugfixes for singular claim testing support. 2007-01-27 13:08:24 +00:00
ccremers
0e21a2bd20 - Added scripting support for claim list retrieval and single claim
evaluation.
2007-01-27 12:53:19 +00:00
ccremers
1eb1e7849e - Fixes, feature additions. 2007-01-27 10:04:18 +00:00
ccremers
eaa6ef1345 - Added feature for multi-party protocols (weaker precondition on Reachable) 2007-01-16 17:22:51 +00:00
ccremers
fd0004bd9f - New static version. 2007-01-12 22:16:37 +00:00
ccremers
d8da0a083f - Warnings should not cause the output to be ignored 2007-01-12 10:02:56 +00:00
ccremers
994ff7b095 - Added new Linux and Windows binaries (beta6) 2007-01-11 13:03:11 +00:00
ccremers
fa42e15d3d - More version updates. 2007-01-11 11:22:57 +00:00
ccremers
412c75cc51 - Working towards text attack output. 2007-01-10 14:32:08 +00:00