| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2013-03-14 | bug fix in the linearizer in the C runtime | kr.angelov | |
| 2013-02-13 | bugfix in the linearizer for the C runtime | kr.angelov | |
| 2013-02-11 | remove the pgf2yaml tool which was both broken and redundant. The ↵ | kr.angelov | |
| declarations for generic programming from data.c are removed as well | |||
| 2012-12-19 | bugfix: the linearizer should not generate extra space at the end of the ↵ | kr.angelov | |
| sentence | |||
| 2012-12-19 | bugfix for linearization of metavariables at the root of a tree | kr.angelov | |
| 2012-12-19 | rename linearize.{h/c} to linearizer.{h/c} which follows the convention used ↵ | kr.angelov | |
| in parser.c and reasoner.c | |||
