Commit Graph

30 Commits

Author SHA1 Message Date
ccremers
570933612f - Fixed the yywrap dependency warning in scanner.l 2004-07-17 19:35:54 +00:00
ccremers
73f3b4d4ad - Fixed an error, where exit was used instead of error. 2004-07-16 14:11:56 +00:00
ccremers
a7a2ed2fbd - Added a preliminary SCons script. 2004-07-16 14:11:19 +00:00
ccremers
5d42bf40df - State progress bar needs less updating. 2004-07-16 09:03:37 +00:00
ccremers
6cf65f068f - Implemented --symm-order reduction. This clashes with --read-symm, but
it actually faster.
2004-07-15 13:32:09 +00:00
ccremers
62b2eca8da - Implemented read symmetries reduction as a switch '--read-symm'. Works with e.g. t8. t10 is also implemented as a test. 2004-07-15 11:04:15 +00:00
ccremers
269b5c7646 - Introduced the 'force-choose' switch, which helps the symmetry
reduction algorithm along, notably.
2004-07-14 09:33:55 +00:00
ccremers
cd3025e04e - Added preliminary support for state space printing using the dot
package. Use the "--state-space" switch.
2004-07-12 13:58:41 +00:00
ccremers
9634034ebb - First broken steps towards prec() computation for each claim label. 2004-06-14 22:08:47 +00:00
ccremers
0e0f52c6aa - Initial work to facilitate agreement and synchronisation claims. Isn't
incorporated in the real code yet, I'm just writing the base code.
2004-06-14 09:15:42 +00:00
ccremers
5a99deb52d - Re-enabled timing. 2004-06-13 21:15:26 +00:00
ccremers
d14d5ce06b - Added exit codes and use these in testl script. 2004-05-26 19:40:40 +00:00
ccremers
ca01a09377 - Many ansi updates. 2004-05-26 12:17:09 +00:00
ccremers
112e3799ab - grmbl fix previous commit. 2004-05-26 08:54:18 +00:00
ccremers
06f2978dbe - More ansi fixes. 2004-05-26 08:52:15 +00:00
ccremers
2106aadb23 - Incremental searches now also output to stderr. 2004-05-25 09:28:40 +00:00
ccremers
abd8ad3998 - Still two flags missing for complete scanner/parser support.
BUILT_SOURCES was necessary to have the dependencies right.
2004-05-21 19:31:42 +00:00
ccremers
6c69baeeb9 - Fixed the lex/yacc problems. 2004-05-21 19:18:47 +00:00
ccremers
ef32b1e0e5 - This version seems to compile. 2004-05-21 17:52:06 +00:00
ccremers
f71f4e7ce8 - Added a bootstrap file, more testing. 2004-05-21 13:48:59 +00:00
ccremers
10f95a55a6 - Template cleanup for latex.
- Timers output now to stderr. Previously this was stdout/latex.
2004-05-21 12:32:57 +00:00
ccremers
080d19a840 - Even more documentation. 2004-05-15 16:43:20 +00:00
ccremers
eecab1bbda - Fixed the symbols. 2004-05-15 15:45:08 +00:00
ccremers
5ca4adbd86 - Start of intro. 2004-05-15 15:26:21 +00:00
ccremers
6c4b8fbc9a - Added already quite some documentation. 2004-05-14 17:29:26 +00:00
ccremers
93dfcf6370 - Redirected some stuff to stderr. 2004-05-12 14:07:56 +00:00
ccremers
97f178aee5 - By default, a state progress counter is displayed on stderr. 2004-04-23 15:02:24 +00:00
ccremers
89300320fe - Improved default behaviour, added '-' input signifier. 2004-04-23 12:55:10 +00:00
ccremers
c33df721a6 - Created input/output file arguments.
- Moved explanations from the command-line help to the documentation.
2004-04-23 12:43:50 +00:00
ccremers
0f4e6a5aba - Moved everything about. 2004-04-23 10:58:43 +00:00