| Age | Commit message (Expand) | Author |
|---|---|---|
| 2013-08-16 | fixes in the C and Python API to make them closer to the Haskell API | kr.angelov |
| 2013-06-27 | C runtime: fix the debug modes in the parser and in the reasoner after the ch... | kr.angelov |
| 2013-06-26 | an optimization in the jitter for generating more compact code | kr.angelov |
| 2013-06-25 | Now there is a just-in-time compiler which generates native code for proof se... | kr.angelov |
| 2013-04-23 | a trivial refactoring of the reasoner in the C runtime | kr.angelov |
| 2013-02-11 | remove the pgf2yaml tool which was both broken and redundant. The declaration... | kr.angelov |
| 2013-01-07 | a new reasoner in the C runtime. It supports tabling which makes it decideabl... | kr.angelov |
| 2012-12-14 | debugging infrastructure in the reasoner | kr.angelov |
| 2012-12-14 | bugfix for the reasoner in the C runtime | kr.angelov |
| 2012-12-14 | The first prototype for exhaustive generation in the C runtime. The trees are... | kr.angelov |
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |