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

1300 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Cas Cremers
08bbdded3c Minor cleanup. 2007-10-22 21:42:43 +02:00
Cas Cremers
809b8290d9 Bugfixes for source script. 2007-10-22 21:36:39 +02:00
Cas Cremers
62561d78fc Added script to test source archive generation. 2007-10-22 21:28:17 +02:00
Cas Cremers
a6370726ef Cleanup. 2007-10-22 21:14:06 +02:00
Cas Cremers
6e65138dca Added --license switch to the Gui. 2007-10-08 14:52:50 +02:00
Cas Cremers
9d4ce4ecc1 Bugfix in releasescript. 2007-10-08 14:41:17 +02:00
Cas Cremers
f2d4b56c11 Build and release any git revision. 2007-10-08 14:37:50 +02:00
Cas Cremers
ccd90dccdb Releasescripts now also allow for building arbitrary description tags. 
In a next pass, maybe we will allow for releasing *any* valid git revision.
 2007-10-08 14:27:53 +02:00
Cas Cremers
dd57481991 Added note to changelog. 2007-10-08 14:14:24 +02:00
Cas Cremers
59d061c47f Patch by Alberto Piai to address new integration of (c)elementtree into core python. 2007-10-08 13:59:16 +02:00
Cas Cremers
b013440c8b Merge branch 'Todo' 2007-09-18 16:09:05 +02:00
Cas Cremers
2107d76532 Proof output improved for occurrences of the Athena problem. 2007-09-18 15:36:11 +02:00
Cas Cremers
59bcb18fec Caught Athena problem case. 
I've added a marked for the Athena problem case, and now no more false 'complete proof' results are produced.
However, the tool reports, 'no attack within bounds', which is slightly inaccurate
depending on the interpretatio of 'bounds'.
 2007-09-18 15:27:41 +02:00
Cas Cremers
6cf81b3e8e Added protocol that exploits the main problem of the Athena-based algorithm. 2007-09-18 15:25:32 +02:00
Cas Cremers
8a2ae84f35 Added incompleteness marker for the untyped variables and MGDU set problem. 2007-09-17 16:54:17 +02:00
Cas Cremers
a93b555b1a Added cast to solve long-standing compilation warning. 
Note that the cast does not seem to be needed after manual inspection, but
the compiler insists.
 2007-09-17 16:53:37 +02:00
Cas Cremers
ab7d37fca2 Further cleanup. 2007-06-12 14:48:13 +02:00
Cas Cremers
52e23f5c86 Merge branch 'manual' into 'master'. 2007-06-12 14:43:58 +02:00
Cas Cremers
4d1e62fac9 Removed a large number of obsolete files. 2007-06-12 14:39:08 +02:00
Cas Cremers
34ff7e28c6 Added GPL 2 notice to command-line usage of the Scyther backend. 
Modified '--version' to report the Scyther license briefly, and
added '--license' to display the full license.
 2007-06-11 15:05:49 +02:00
Cas Cremers
44f89d8e78 Added GPL 2 notice in the 'about' box. 2007-06-11 14:20:53 +02:00
Cas Cremers
f901951e4b Added GPL 2 to the Python scripts. 2007-06-11 14:12:33 +02:00
Cas Cremers
7d584cca1e Added GPL 2 License to the C sources. 
A first step towards releasing Scyther completely to the public.
 2007-06-11 14:01:04 +02:00
Cas Cremers
d5ba325233 Workaround for strange wxPython display error. 
Since a while, wxPython has been refusing to correctly display strings with a dash in them in the staticText object. Given a string "xx-yy", only "xx" is displayed. This caused some problems for protocols with dashes in their protocol names. I've worked around it by replacing all occurrences of "-" by "_".
 2007-05-29 16:39:25 +02:00
Cas Cremers
9f97e1e5d7 Moved todo text into a more sensible place. 2007-05-25 11:18:45 +02:00
Cas Cremers
057909d0c5 Improved build scripts. 
The scripts now have more sensible names, and the code is better factored.
 2007-05-23 18:03:48 +02:00
Cas Cremers
14b1e800c3 - Building binaries on Mac automatically too. 2007-05-23 14:34:38 +02:00
Cas Cremers
76c516dee0 Merge branch 'reverting-b7' into release 2007-05-21 16:41:19 +02:00
Cas Cremers
742cbcda60 - Added some ignore patterns. 2007-05-21 13:56:00 +02:00
Cas Cremers
b80de55289 Merge branch 'testing' of cas@roivas.shape9.nl:/export/git/scyther into reverting-b7 2007-05-21 13:48:56 +02:00
Cas Cremers
a09cf686f9 - Modified explanation too. 2007-05-21 13:34:46 +02:00
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
db78f91af1 Fixed version information updates of both the compiled code as well as the Gui. 2007-05-20 16:14:40 +02:00
Cas Cremers
f56a10646f Got rid of obsolete version number encoding. 
The old version numbers were retrieved from SVN; of course this no longer works. Now no versions are retrieved on normal building. Instead, this is covered by the dist building script.
 2007-05-20 16:08:56 +02:00
Cas Cremers
db78b7f941 - Added some further explanations for users of the dist script if the tag/arch is not found. 2007-05-20 16:00:41 +02:00
Cas Cremers
d0ee59521a - Removed obsolete files for new versions. 2007-05-20 16:00:14 +02:00
Cas Cremers
2279190b18 - Fixed usage explanation, and added tests for valid tag/arch 2007-05-20 14:13:38 +02:00
Cas Cremers
e1d0e0f273 - Rewrote script to be more clear about the used locations. 2007-05-20 13:43:11 +02:00
Cas Cremers
c90ac432a5 - Added some patterns to ignore. 2007-05-20 13:17:17 +02:00
Cas Cremers
56f1f698e9 - Improved the build script. Should work for windows and linux now. 2007-05-20 13:15:27 +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
d9d72cc417 - Cleanup of zip files. 2007-05-19 18:01:02 +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
475e311f55 - Updated dist file for w32. 2007-05-19 17:42:58 +02:00
Cas Cremers
3b1cc485d7 - Added a new script to push git versions. 2007-05-19 17:36:50 +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