Cas Cremers
|
4bf7126a45
|
- Removed binaries (no longer part of the tree)
|
2007-05-19 15:55:46 +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 |
|
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 |
|