OCaml Forge

Forum: regstab-1.4.4-released

Posted by: Vincent Aravantinos
Date: 2010-05-19 16:26
Summary:RegSTAB 1.4.4 released
Project:RegSTAB

- Added many examples

- Option -verbose is now --verbose or -v

- Options --print-lemmas and -l added: prints the lemmas

- Option --verbose is now much more verbose (nb of applications of rules, nb of lemmas, ...)

- Fixed a bug in the parser: definition applications cannot (should not) introduce captures anymore

- Fixed a small bug that may occur when you give a constraint that does not "follow" the bounds of iterations (e.g. /\i=3..n ... | n>=0)

- Manual now contains the formal grammar and a table of examples

- License change to CECILL-B (BSD-like licence) in order to be compatible with French law (should have been done before :-S). Contact me in case that's a problem.

Latest News

RegSTAB 2.0.0 released

Vincent Aravantinos - 2012-05-06 15:34 -

RegSTAB 1.4.6 released

Vincent Aravantinos - 2010-11-20 17:31 -

RegSTAB 1.4.4 released

Vincent Aravantinos - 2010-05-19 16:26 -

RegSTAB 1.4.2 released !

Vincent Aravantinos - 2009-12-09 19:26 -

RegSTAB 1.4

Vincent Aravantinos - 2009-09-29 07:41 -

Discussion Forums: regstab-1.4.4-released

Monitor Forum | Start New Thread Start New Thread