| Age | Commit message (Expand) | Author |
|---|---|---|
| 2013-01-24 | Python binding: add a parsing function that accepts directly a list of tokens. | gregoire.detrez |
| 2013-01-07 | a new reasoner in the C runtime. It supports tabling which makes it decideabl... | kr.angelov |
| 2012-12-19 | rename linearize.{h/c} to linearizer.{h/c} which follows the convention used ... | kr.angelov |
| 2012-12-13 | a top-level API for parsing in the C runtime | kr.angelov |
| 2012-12-12 | started an official API to the C runtime | kr.angelov |
