Home My Page Projects MetaGrammar Toolkit
Summary Activity Tracker Lists Docs SCM Files

Project Filelist for MetaGrammar Toolkit

File Release Notes and Changelog

Release Name: 1.4.2

Release Notes
mgcomp version 1.4.1 is distributed under GPL  with copyright INRIA 2003 -- 2007.

System Requirements:
- Linux  on i*86

Dependencies:
- [ DyALog (1.10.2) ] : http://gforge.inria.fr/frs/?group_id=470
- optional [ sabcmd ]
Change Log
- Cleaned version, with even more cases fixed. 
Partial ordering pb seems to be fixed (at least for simple cases).
- This version seems to be working, with the notion of soft precedence (A s< B iff A<B or A >>+ B or B >>+ or A=B).
May still have some stranges cases to be found
Should be cleaned and rewritten with a stricter distinction between < and s<
The pb with going from a partial order to a (>,##)-formula are not yet fixed
- Completed axiomatic for  the precedence transitive closure and added new check for constraint violations.
- Fixed axioms relative to transfer of precendence through dominance. However, precedence should sometimes be a conditional property, namely the assumption of a common pfather.