andr3/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1,347 Commits 1 Branch 0 Tags 21 MiB
d1b334765b
Commit Graph

33 Commits

Author SHA1 Message Date
Cas Cremers
cd33fb3e14 BUGFIX: Paths with control characters (e.g. $) were causing trouble. 2009-04-30 13:40:06 +02:00
Cas Cremers
630f6e9459 Added large delta-test script. 
The script runs over all protocol files it can find, and runs it using two different
command-line parameters to scyther. If the results differ, the script reports it.

The code can use some cleanup, removing e.g. global variables, but it works.
 2008-08-21 21:20:16 +02:00
Cas Cremers
6e65138dca Added --license switch to the Gui. 2007-10-08 14:52:50 +02:00
Cas Cremers
f901951e4b Added GPL 2 to the Python scripts. 2007-06-11 14:12:33 +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
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
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
ccremers
2ff5adf040 - Minor cleanup on Scyther output parser. 2007-01-30 17:43:58 +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
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
d8da0a083f - Warnings should not cause the output to be ignored 2007-01-12 10:02:56 +00:00
ccremers
c3f1d9661a - New naming scheme for mac binaries. 2007-01-09 14:37:17 +00:00
ccremers
24bf895890 - Added error report in case of no output at all. (Tailored for reported 
OS X problem.)
 2007-01-02 15:34:58 +00:00
ccremers
903f9bcbce - Fixes working towards attack indent output. 2007-01-02 15:22:25 +00:00
ccremers
f3f6e56feb - Uncommented previously commented code. 2006-12-20 17:20:09 +00:00
ccremers
38dd697f41 - Bug seems to be resolved! 2006-12-14 20:32:24 +00:00
ccremers
8f1e1ae8a9 - Complete rewrite of Scyther call (also preparing for Mac OS X versions) 2006-12-14 20:08:34 +00:00
ccremers
aac06d3c43 - Some code refactoring. 2006-12-14 19:46:36 +00:00
ccremers
7786e0d65f - Added 'append' switches and modified gui behaviour correspondingly. 2006-12-14 16:28:29 +00:00
ccremers
4e2b7c405b - Improved error handling. 2006-12-14 14:06:50 +00:00
ccremers
6d7b2a2d73 - Removed popen3 dependency, hopefully improving stability of the Gui 
quite a bit.
 2006-12-11 09:40:57 +00:00
ccremers
271550a55a - Better builders and naming. 
- Some cleanup.
 2006-11-23 11:46:33 +00:00
ccremers
17f4f34d23 - Improved locating binaries etc. 2006-11-23 11:28:51 +00:00
ccremers
61828765b9 - Improved error reporting for missing libs. 
- Moved all binaries to Bin/ (untested here as stupid thing does not work.)
 2006-11-14 11:03:19 +00:00
ccremers
1650c6f64b - Cleaner platform distinguishing code. 2006-09-21 13:19:22 +00:00
ccremers
7b79402d43 - Misc fixes. 2006-08-09 11:54:37 +00:00
ccremers
a660a0a1f7 - Better path handling. 2006-08-09 11:39:35 +00:00
ccremers
094bd5bed3 - Quote-trick. 2006-08-09 09:33:50 +00:00
ccremers
2cd1178905 - Improved binary locator. 2006-08-09 09:26:15 +00:00
ccremers
e14d165816 - Some reshuffling should restore matters. 2006-08-08 17:04:26 +00:00
ccremers
6f59760a70 - Misc fixes, todo list. 2006-08-08 16:16:28 +00:00
ccremers
166f618cb9 - Refactoring stuff into a package. 2006-08-08 15:54:00 +00:00