summaryrefslogtreecommitdiff
path: root/src/runtime/c/pgf/pgf.c
AgeCommit message (Expand)Author
2013-09-05remove the read and write modules from libgu. this simplifies the i/o layerkr.angelov
2013-08-16provide API to access the language code for the concrete languagekr.angelov
2013-08-16fixes in the C and Python API to make them closer to the Haskell APIkr.angelov
2013-06-27a complete Python API for reading, printing and manipulation of abstract tree...kr.angelov
2013-06-26we no longer maintain an explicit list of functions per category since now it...kr.angelov
2013-06-26patch for adjustable heuristics from Pythonkr.angelov
2013-06-25Now there is a just-in-time compiler which generates native code for proof se...kr.angelov
2013-05-07bug fix in the management of memory pools in the statistical parserkr.angelov
2013-05-06the statistical parser is now using two memory pools: one for parsing and one...kr.angelov
2013-05-01word completion in the C runtime. The runtime/python/test.py example is now u...kr.angelov
2013-04-26finally the statistical parser is able to return all possible abstract treeskr.angelov
2013-02-11the class PgfConcr from the Python binding now has a property name which retu...kr.angelov
2013-02-11refactoring: now all named objects in the C runtime have an explicit name fieldkr.angelov
2013-02-11remove the pgf2yaml tool which was both broken and redundant. The declaration...kr.angelov
2013-02-11the grammar reader in the C runtime is completely rewritten and it doesn't us...kr.angelov
2013-02-01This patch removes Gregoire's parse_tokens function in the python binding and...kr.angelov
2013-01-24Python binding: add a parsing function that accepts directly a list of tokens.gregoire.detrez
2013-01-07a new reasoner in the C runtime. It supports tabling which makes it decideabl...kr.angelov
2012-12-19rename linearize.{h/c} to linearizer.{h/c} which follows the convention used ...kr.angelov
2012-12-13a top-level API for parsing in the C runtimekr.angelov
2012-12-12started an official API to the C runtimekr.angelov
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 17:03:12 +0000