Automata, Monoids and Regular Expressions

lp:~a-j-delaney/libamore/cunit-dev

Created by Aidan Delaney on 2008-12-04 and last modified on 2009-04-14
Get this branch:
bzr branch lp:~a-j-delaney/libamore/cunit-dev
Only Aidan Delaney can upload to this branch. If you are Aidan Delaney please log in for upload directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
Aidan Delaney
Project:
AMoRE
Status:
Development

Recent revisions

28. By root <root@ScaryMonster> on 2009-04-14

* Cleaned up the printing of monoids
  - Removed printing of the pointer to the monoid.

27. By Aidan Delaney <balor@ScaryMonster> on 2009-04-14

* Fixed segfault.
  - Previous call to mimise dfa frees the original dfa.

26. By Aidan Delaney <balor@ScaryMonster> on 2009-03-29

* added missing make stuff.

25. By Aidan Delaney <balor@ScaryMonster> on 2009-03-29

* Cleaned up tests so that they all pass.

24. By Aidan Delaney <balor@ScaryMonster> on 2008-12-24

* Removed spurious printf

23. By Aidan Delaney <balor@ScaryMonster> on 2008-12-24

* Fixed double free issue.

22. By Aidan Delaney <balor@ScaryMonster> on 2008-12-24

* Added tests for star-free expressions.
* Added some command line tools.

21. By Aidan Delaney <balor@ScaryMonster> on 2008-12-06

* All header files required to build libAMoRE-java are now installed by make install.

20. By Aidan Delaney <balor@ScaryMonster> on 2008-12-06

* Added a full complement of the required header files.

19. By root <root@ScaryMonster> on 2008-12-06

* Tell automake to install the required headers on make install.

Branch metadata

Branch format:
Branch format 6
Repository format:
Bazaar pack repository format 1 (needs bzr 0.92)
This branch contains Public information 
Everyone can see this information.

Subscribers