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 |
|
ccremers
|
1ecc43e9d6
|
- Fixes to font things.
|
2007-01-10 14:30:52 +00:00 |
|
ccremers
|
4d9a567646
|
- Added universal binary
|
2007-01-09 16:12:48 +00:00 |
|
ccremers
|
ae65d0a30d
|
- Fixed bug in new trace code.
|
2007-01-09 16:11:58 +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
|
807232a51e
|
- Sanitized the settings window a bit.
|
2006-12-15 13:45:09 +00:00 |
|
ccremers
|
a459002ae9
|
- Final builds for today.
|
2006-12-14 21:00:06 +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
|
7eb354d22c
|
- Correction to previous commit: added required files.
|
2006-12-14 14:08:08 +00:00 |
|
ccremers
|
4e2b7c405b
|
- Improved error handling.
|
2006-12-14 14:06:50 +00:00 |
|
ccremers
|
2886e1a7e5
|
- Hopefully improved the attack displays. Needs checking.
|
2006-12-13 15:43:10 +00:00 |
|
ccremers
|
68e9ad9cf4
|
- New compiled version, ready for platform-testing on windows.
|
2006-12-13 13:48:33 +00:00 |
|
ccremers
|
0cf1affc26
|
- Threw out possibly offending statement.
|
2006-12-13 13:44:34 +00:00 |
|
ccremers
|
5a4fae93b3
|
- More fixes for beta5
|
2006-12-13 13:08:33 +00:00 |
|
ccremers
|
e7334d1050
|
- Misc fixes.
|
2006-12-13 12:16:36 +00:00 |
|
ccremers
|
4750f1b309
|
- Thread rewrite for improved stability
|
2006-12-13 11:59:44 +00:00 |
|
ccremers
|
acafc18926
|
- Fixed scytherview script.
|
2006-12-13 09:40:53 +00:00 |
|
ccremers
|
10d337d99b
|
- Moved Binaries to Scyther subdir.
- Made kpdf the default..
|
2006-12-13 09:09:48 +00:00 |
|
ccremers
|
0ec3b566d6
|
- Modified the default for resizing.
|
2006-12-12 16:33:21 +00:00 |
|
ccremers
|
e31f6f58d3
|
- Woops.
|
2006-12-11 10:43:00 +00:00 |
|
ccremers
|
bd03983fc5
|
- Final fixes for beta 5
|
2006-12-11 10:12:03 +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
|
b8c57a1395
|
- Added --errors switch.
|
2006-12-11 09:18:54 +00:00 |
|
ccremers
|
6629b29559
|
- Fixed stuff for Python versions that do not support __file__ well, by basically requiring that the Scyther binary can be found in PATH.
|
2006-11-24 08:00:03 +00:00 |
|
ccremers
|
f2f35f5548
|
- Added simple scytherview (python only). Needs some further work to be
usable though.
|
2006-11-23 13:26:27 +00:00 |
|
ccremers
|
271550a55a
|
- Better builders and naming.
- Some cleanup.
|
2006-11-23 11:46:33 +00:00 |
|