| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2013-01-07 | a new reasoner in the C runtime. It supports tabling which makes it ↵ | kr.angelov | |
| decideable for propositional logic. dependent types and high-order types are not supported yet. The generation is still in decreasing probability order | |||
| 2012-12-19 | rename linearize.{h/c} to linearizer.{h/c} which follows the convention used ↵ | kr.angelov | |
| in parser.c and reasoner.c | |||
| 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 | |
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |