OCaml Forge

File Release Notes and Changelog

Release Name: 1.4.2

Release Notes

- Improved message when the schema is satisfiable (e.g. "when n>=0" or "when n=2")
- Improved parsing error when the schema is not regular                    
- Fixed a long standing bug that may cause non-termination (e.g. P_1 /\ ~P_n)
- Fixed a bug when inserting an equality condition (e.g. P_1 /\ ~P_n | n=1)                                                                                  

Change Log

- Improved message when the schema is satisfiable (e.g. "when n>=0" or "when n=2")
- Improved parsing error when the schema is not regular                    
- Fixed a long standing bug that may cause non-termination (e.g. P_1 /\ ~P_n)
- Fixed a bug when inserting an equality condition (e.g. P_1 /\ ~P_n | n=1)