ccremers
|
b2838ed1e4
|
- Made a start with the new version.
|
2004-08-17 15:52:52 +00:00 |
|
ccremers
|
5dd6127e4b
|
- Added term to binding relation.
|
2004-08-17 11:03:18 +00:00 |
|
ccremers
|
536e5bf237
|
- Fixed some errors in length detection.
- Added more bounds checking.
|
2004-08-16 13:18:04 +00:00 |
|
ccremers
|
05ee3f7f0a
|
- Added a new warshall. Compare with previous version at home.
- Rewrote the bind_to_*_run functions.
|
2004-08-16 09:50:37 +00:00 |
|
ccremers
|
91a679a129
|
- Made the output of the semistate include the bindings.
|
2004-08-15 17:50:41 +00:00 |
|
ccremers
|
c3d5123ab0
|
- Matching is now typed.
|
2004-08-15 16:08:53 +00:00 |
|
ccremers
|
c7e290197c
|
- Cycle detection seems to be working.
|
2004-08-15 14:57:50 +00:00 |
|
ccremers
|
28782548b0
|
- Implemented cycle detection. Untested.
|
2004-08-15 14:07:34 +00:00 |
|
ccremers
|
ffe20fb168
|
- Integrated new binding relation. No closure as yet.
|
2004-08-15 12:24:27 +00:00 |
|
ccremers
|
ef2586236c
|
- Added bindings module.
|
2004-08-15 11:55:22 +00:00 |
|