Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | gone with this | buraq | 2005-01-28 | 1 | -1008/+0 |
| | |||||
* | translated most to scala | buraq | 2005-01-21 | 1 | -6/+6 |
| | |||||
* | no change | buraq | 2003-10-28 | 1 | -1/+1 |
| | |||||
* | cleanup | buraq | 2003-10-28 | 1 | -836/+836 |
| | |||||
* | fixed hashing of patterns | buraq | 2003-09-26 | 1 | -7/+7 |
| | |||||
* | code cleanup + fixed matching of empty sequence... | buraq | 2003-08-27 | 1 | -1/+1 |
| | | | | | code cleanup + fixed matching of empty sequences with empty patterns | ||||
* | refactoring: removed class FiniteAutom. | buraq | 2003-07-29 | 1 | -20/+133 |
| | | | | | | | | | different types, so many casts were needed. In fact, FiniteAutom is not used anywhere. now fixed. fields are migrated to subclasses DetWordAutom and NondetWordAutom, with more specific types | ||||
* | completed migration. code is now operational | buraq | 2003-07-13 | 1 | -1/+4 |
| | |||||
* | automata stuff for pattern matching | buraq | 2003-06-19 | 1 | -0/+892 |