summaryrefslogtreecommitdiff
path: root/src/runtime/c/Makefile.am
AgeCommit message (Expand)Author
2020-07-08drop the SG library completely.krangelov
2019-05-28API for scanning for cohorts in an arbitrary textkrangelov
2018-05-21fixed typo which broke the compilation on WindowsKrasimir Angelov
2017-09-13added function pgf_writeKrasimir Angelov
2017-09-07the C runtime should also install data.h in order to make it possible to acce...Krasimir Angelov
2017-05-03first steps for sentence lookup in the C runtimekrasimir
2017-04-13disable doxygenkrasimir
2017-01-26bring the Haskell binding a bit closer to the pure Haskell APIkrasimir
2016-04-28a version of sqlite3.c which is prunned to one third of the original size and...krasimir
2015-08-27query for triples and cleaner APIkrasimir
2015-08-24added libsg in the C runtimekrasimir
2014-12-29API for word alignment in the C runtime and in the Haskell bindingkr.angelov
2014-11-27remove pgf/parser.hkr.angelov
2014-10-31a skeletal module for higher-order pattern unification in the C runtimekr.angelov
2014-10-20get rid of gu/str.(c|h)kr.angelov
2014-10-09throw away the long obsolete runtime type information in the C runtimekr.angelov
2014-08-11a partial support for def rules in the C runtimekr.angelov
2014-07-08implemented computing with abstract syntax trees. It passes all test cases ex...kr.angelov
2014-02-27changes in Makefile.am to make it easier to compile the C runtime on Windowskr.angelov
2013-11-04A simple type checker in the C runtime. Dependent types are not supported yet...kr.angelov
2013-10-09a major redesign in the C runtime. The parser and the linearizer now fully su...kr.angelov
2013-09-26remove pgf/edsl.h from the C runtimekr.angelov
2013-09-17a major refactoring in the C runtime. GuList is now removed and replaced with...kr.angelov
2013-09-12remove the logging from libgukr.angelov
2013-09-05remove the string internalization since it slows down grammar loading with li...kr.angelov
2013-09-05remove the read and write modules from libgu. this simplifies the i/o layerkr.angelov
2013-09-05remove dump and yaml from libgukr.angelov
2013-08-15graphvizAbstractTree in the C and Python runtimeskr.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-04-19the C runtime and the Python binding now have an API for parser evaluation. T...kr.angelov
2013-02-11remove the pgf2yaml tool which was both broken and redundant. The declaration...kr.angelov
2013-01-08New PGF utility: pgf-parsepeter.ljunglof
2012-12-19rename linearize.{h/c} to linearizer.{h/c} which follows the convention used ...kr.angelov
2012-12-14The first prototype for exhaustive generation in the C runtime. The trees are...kr.angelov
2012-12-12started an official API to the C runtimekr.angelov
2012-12-03added experimental script for chunking in the C runtimekr.angelov
2012-07-31An initial import of the teyjus source code in the C runtime for GF. The two ...kr.angelov
2012-05-16another attempt to port the robust parser to MacOSkr.angelov
2012-03-12libpgf: a new implementation for literals which also allows custom literals. ...kr.angelov
2012-03-09libpgf: added simple lexerkr.angelov
2012-01-21added an API for printing the PGF to human readable formatkr.angelov
2012-01-20initial import of the C runtimekr.angelov