ccremers
|
9697e22414
|
- Oops, forgot stuff.
|
2006-08-08 15:59:25 +00:00 |
|
ccremers
|
e6ec1ecd99
|
- Added python wrapper around the command-line tool.
|
2006-08-08 15:57:27 +00:00 |
|
ccremers
|
166f618cb9
|
- Refactoring stuff into a package.
|
2006-08-08 15:54:00 +00:00 |
|
ccremers
|
0b21755928
|
- Minor fixes.
|
2006-08-08 15:14:51 +00:00 |
|
ccremers
|
89acf05fe1
|
- Fixed many windows issues (including the redraw speed)
|
2006-08-08 15:00:20 +00:00 |
|
ccremers
|
341bbfeb0c
|
- Minor refactoring.
|
2006-08-08 14:50:28 +00:00 |
|
ccremers
|
d2e3aaa869
|
- Well we really don't need that anymore, the problem is solved.
|
2006-08-08 14:03:00 +00:00 |
|
ccremers
|
3256a38a65
|
- Windows output for recompiles now goes directly to the correct location. Saves me time.
|
2006-08-08 14:02:05 +00:00 |
|
ccremers
|
6b3f0bd28a
|
- Solved background colour issue.
|
2006-08-08 13:58:56 +00:00 |
|
ccremers
|
c1c53e8e2c
|
- Testing thing.
|
2006-08-08 13:50:07 +00:00 |
|
ccremers
|
c1b44804e1
|
- Layout improvements.
|
2006-08-08 13:19:17 +00:00 |
|
ccremers
|
f659cce889
|
- Improved multi-protocol attack script.
|
2006-08-08 13:18:09 +00:00 |
|
ccremers
|
1aabf79f08
|
- Created multi-protocol attack detection script.
|
2006-08-08 13:03:02 +00:00 |
|
ccremers
|
e2aca6f3ce
|
- Better filter.
|
2006-08-08 13:00:16 +00:00 |
|
ccremers
|
36ccfd776a
|
- Even less warnings.
|
2006-08-08 12:40:04 +00:00 |
|
ccremers
|
d9a37b62b3
|
- Some warnings are only interesting when checking.
|
2006-08-08 12:35:43 +00:00 |
|
ccremers
|
29f0756f0a
|
- Generating a label should not cause a warning.
|
2006-08-08 12:34:11 +00:00 |
|
ccremers
|
ec3be3d55b
|
- Implemented --claim=ns3,I switch to filter certain claims.
|
2006-08-08 12:30:29 +00:00 |
|
ccremers
|
a6933806f9
|
- MPA analysis script (but it will only work nicely once the claim
select functionality is in the Scyther backend)
|
2006-08-07 18:23:30 +00:00 |
|
ccremers
|
cbe6307e8a
|
- New todo priority.
|
2006-08-07 18:10:05 +00:00 |
|
ccremers
|
8bff33dc82
|
- Updated Scyther interface.
|
2006-08-07 16:40:46 +00:00 |
|
ccremers
|
40bc144d88
|
- Compiled new windows executable.
|
2006-08-07 16:39:34 +00:00 |
|
ccremers
|
8b311e0411
|
- Bugfix: no double adding.
|
2006-08-07 16:36:54 +00:00 |
|
ccremers
|
ffafe946cf
|
- Fixes.
|
2006-08-07 16:25:47 +00:00 |
|
ccremers
|
3cd37d25f6
|
- Improved option parser and friends.
|
2006-08-07 15:06:10 +00:00 |
|
ccremers
|
83f2b55f0c
|
- Huge improvements on zooming stuff, we now have nice buttons.
|
2006-08-07 14:02:59 +00:00 |
|
ccremers
|
6b5f83f762
|
- Added parameters for automatic starts. (try filename --verify)
- Splash screen can now be disabled.
|
2006-08-07 12:59:22 +00:00 |
|
ccremers
|
1376f930fd
|
- Bugfix with non-pil resizing.
|
2006-08-07 12:13:39 +00:00 |
|
ccremers
|
57b5d00056
|
- Added incomplete knowledge test.
|
2006-08-07 11:55:01 +00:00 |
|
ccremers
|
44e84d1a08
|
- Misc fixes.
|
2006-08-07 11:54:43 +00:00 |
|
ccremers
|
6e759327cf
|
- Bugfixes for non-pil stuff.
|
2006-08-07 11:33:25 +00:00 |
|
ccremers
|
01b62e5786
|
- Added progress report, but it does not seem to update regularly yet.
|
2006-08-07 11:26:39 +00:00 |
|
ccremers
|
7bae7875a0
|
- Huge improvement in error output.
|
2006-08-07 11:02:14 +00:00 |
|
ccremers
|
3178e8e90c
|
- Fixed error output.
|
2006-08-07 10:52:48 +00:00 |
|
ccremers
|
720d18415f
|
- Fixed bug in stderror enable/disable code.
|
2006-08-07 10:52:17 +00:00 |
|
ccremers
|
9a182784a3
|
- Moved binaries and images to correct subdirectories
|
2006-08-07 10:42:34 +00:00 |
|
ccremers
|
f8480f0815
|
- Some notes.
|
2006-08-07 10:35:17 +00:00 |
|
ccremers
|
bb0511079e
|
- Claims are processed the other way around, which is much nicer.
|
2006-08-07 09:59:26 +00:00 |
|
ccremers
|
2ef343ba6e
|
- Order of claim processing now corresponds to the order in which they
occur in the file.
|
2006-08-07 09:56:55 +00:00 |
|
ccremers
|
1350c0cd03
|
- Errors are now reported.
|
2006-08-07 09:31:49 +00:00 |
|
ccremers
|
5d02e446c9
|
- Added errorcount to Scyther object.
|
2006-08-06 21:16:14 +00:00 |
|
ccremers
|
756e69bd4f
|
- Error is captured nicely and printed (for now). We need an error
window for that, instead of a results window.
|
2006-08-06 19:57:01 +00:00 |
|
ccremers
|
ea9c4d5334
|
- Solved blocking error.
|
2006-08-06 19:52:07 +00:00 |
|
ccremers
|
59b72052d4
|
- Misc fixes.
|
2006-08-06 18:06:26 +00:00 |
|
ccremers
|
bd675cfcf5
|
- New binary (that uses stderr under windows anyway)
|
2006-08-06 18:05:03 +00:00 |
|
ccremers
|
f1f796c70a
|
- Added dev file for Bloodshed C dev (under Microsoft Windows)
|
2006-08-06 18:04:02 +00:00 |
|
ccremers
|
9683d76598
|
- Using stderr or not is now a macro in error.h
|
2006-08-06 18:01:23 +00:00 |
|
ccremers
|
a8b93c7bc4
|
- Spacing fix.
|
2006-08-06 15:35:22 +00:00 |
|
ccremers
|
a4c5bd399c
|
- Probably fixed buffering problem using stdout stuff.
|
2006-08-06 15:29:57 +00:00 |
|
ccremers
|
50ebab504d
|
- Old code again.
|
2006-08-04 23:29:52 +00:00 |
|