| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2005-12-29 | Finite state network generation: reimplemented getOutgoing using Data.Map to ↵ | bringert | |
| improve performance of minimize with large networks. | |||
| 2005-12-22 | Some performance improvements in the FA generation. | bringert | |
| 2005-11-10 | Prepared for generation of finite automata in C. | bringert | |
| 2005-10-26 | Moved Graph and Relation stuff to separate modules. Added some QuickCheck ↵ | bringert | |
| properties for Relation. Improved relation datastructure and algorithms, making FA generation much faster. | |||
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |