summaryrefslogtreecommitdiff
path: root/src/runtime/c/pgf/reader.h
AgeCommit message (Expand)Author
2017-04-19explicitly classify all functions in libpgf as either internal or API functionskrasimir
2015-07-03merge the states for reasoning and evaluation into a single structurekrasimir
2015-06-12the orthographic tokens were broken when they appear inside a dictionary entr...krasimir
2014-09-30fix in reader.h for compiling jpgf.ckr.angelov
2014-09-25now a complete JIT compiler and ByteCode compiler for the def rules in the ab...kr.angelov
2014-08-11a partial support for def rules in the C runtimekr.angelov
2013-12-10loading and unloading of languages in the C runtime and in the Python bindingskr.angelov
2013-06-25Now there is a just-in-time compiler which generates native code for proof se...kr.angelov
2013-02-11the grammar reader in the C runtime is completely rewritten and it doesn't us...kr.angelov
2012-12-12started an official API to the C runtimekr.angelov