gf-core.git - Unnamed repository; edit this file 'description' to name the repository.

Age	Commit message (Collapse)	Author
2013-01-24	Python binding: add a parsing function that accepts directly a list of tokens.	gregoire.detrez
	Is allows to define a tokenizer in python (or use an existing one, from nltk for instance.)
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