ccremers
|
0fddd9f566
|
- Some fixes after pedantic tests. What remains: (a) C++ style comments (//) and (b) nested functions.
|
2007-01-06 18:01:36 +00:00 |
|
ccremers
|
89c3a20acf
|
- Many cleanups to make -Wall happy. Next up is pedantic...
|
2007-01-06 14:45:29 +00:00 |
|
ccremers
|
80eafb7374
|
- Additional --check output should go to stderror.
|
2006-07-31 11:31:52 +00:00 |
|
ccremers
|
cc358c5df3
|
- Misc fixes, some reporting with --check.
|
2006-07-31 11:30:08 +00:00 |
|
ccremers
|
e902aaa260
|
- Added well-formedness checks. This will only be enabled if a role uses
the 'knows' keyword.
|
2006-07-31 11:08:51 +00:00 |
|
ccremers
|
ff21e9e572
|
- Added function shortcuts in M_0 derivation.
|
2006-07-27 14:19:19 +00:00 |
|
ccremers
|
df1a56c780
|
- Iteration seems to work nicely, thank you.
|
2006-07-27 11:55:24 +00:00 |
|