summaryrefslogtreecommitdiff
path: root/src/runtime/c/pgf/data.h
AgeCommit message (Expand)Author
2017-04-19explicitly classify all functions in libpgf as either internal or API functionskrasimir
2017-04-12a patch from Bjørnar Luteberget for compatibility with MSVCkrasimir
2015-07-04the reasoner's states are now closures just like the code for the def rules. ...krasimir
2015-06-12the orthographic tokens were broken when they appear inside a dictionary entr...krasimir
2015-05-11added all orthographic primitiveskrasimir
2015-02-19parsing with meta rules is now removed since we don't use them anymore and I ...krasimir
2014-12-16change in the API for literalskr.angelov
2014-10-31now (+) in the abstract syntax works, i.e. it knows how to deal with partial ...kr.angelov
2014-10-30a more efficient tail call by using the new TUCK instructionkr.angelov
2014-10-26an explicit SAVE instructionkr.angelov
2014-10-22an explicit PUSH_FRAME instructionkr.angelov
2014-10-16finally proper stack unwind in the evaluatorkr.angelov
2014-10-14the compiler now allows + to be used as a floating point addition in the abst...kr.angelov
2014-10-09Prelude.CAPIT is now a built-in primitive. It still generates &| in the Haske...kr.angelov
2014-10-09throw away the long obsolete runtime type information in the C runtimekr.angelov
2014-10-09replace the hash maps in the abstract syntax with binary search tableskr.angelov
2014-10-08now we statically allocate closures for all top-level functions and all nulla...kr.angelov
2014-10-06using instruction RET was wrong; now use EVALkr.angelov
2014-09-29bugfix in the pattern matching compiler and a number of other fixes that I so...kr.angelov
2014-09-25now a complete JIT compiler and ByteCode compiler for the def rules in the ab...kr.angelov
2014-09-11a major revision of the bytecode generator and JIT compiler. the effect is th...kr.angelov
2014-09-05the code for def rules now uses proper graph update to preserve lazynesskr.angelov
2014-09-05full support for recursive def rules in the C runtimekr.angelov
2014-09-01partial implementation for recursive def ruleskr.angelov
2014-08-11a partial support for def rules in the C runtimekr.angelov
2014-04-10now fully functional Java API for custom literalskr.angelov
2014-02-09GuVariant is now plain uintptr_t instead of a structure to make it easier to ...kr.angelov
2013-12-10loading and unloading of languages in the C runtime and in the Python bindingskr.angelov
2013-11-12added Predef.SOFT_BIND. This special token allows zero or more spaces between...kr.angelov
2013-11-06the content of ParseEngAbs3.probs is now merged with ParseEngAbs.probs. The l...kr.angelov
2013-10-30added the linref construction in GF. The PGF version number is now bumpedkr.angelov
2013-10-28fix the handling of 'pre' in the C runtimekr.angelov
2013-10-23tabular linearization in the C and Java runtimeskr.angelov
2013-10-09a major redesign in the C runtime. The parser and the linearizer now fully su...kr.angelov
2013-10-04GuString is now an ordinary C string - it makes live easier. In addition PgfS...kr.angelov
2013-10-03the symbol for nonExist in the GF runtime should be the last. this simplifies...kr.angelov
2013-09-27a major refactoring in the C and the Haskell runtimes. Note incompatible chan...kr.angelov
2013-09-17a major refactoring in the C runtime. GuList is now removed and replaced with...kr.angelov
2013-09-13remove leftcorner_cat_idx which is now redundantkr.angelov
2013-08-23nonExist now does the expected thingkr.angelov
2013-06-26we no longer maintain an explicit list of functions per category since now it...kr.angelov
2013-06-25Now there is a just-in-time compiler which generates native code for proof se...kr.angelov
2013-04-26finally the statistical parser is able to return all possible abstract treeskr.angelov
2013-04-18added API for computing bracketed strings from Python and Ckr.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-01-07a new reasoner in the C runtime. It supports tabling which makes it decideabl...kr.angelov
2012-12-19a major reimplementation of the linearizer in the C runtimekr.angelov
2012-12-13a top-level API for parsing in the C runtimekr.angelov
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 09:14:50 +0000