summaryrefslogtreecommitdiff
path: root/src/runtime/c/pgf/reader.c
AgeCommit message (Expand)Author
2019-02-14fix the reader for patterns in a def rulekrangelov
2017-09-25make pgf_production_is_lexical public since it will be needed in the Haskell ...Krasimir Angelov
2017-09-14make the API for indexing in the parser and the linearizer public since it wi...Krasimir Angelov
2017-05-11bugfix for print names in the C runtime and expose the functionality from Javakrasimir
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-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
2015-06-05print error message for missing abstract categories in the C runtimekrasimir
2015-05-11added all orthographic primitiveskrasimir
2014-12-16change in the API for literalskr.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-09-30enough fixes to get the JIT compiler compile for ARM. It is still broken if y...kr.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
2014-04-10now fully functional Java API for custom literalskr.angelov
2014-04-10bugfix in the C runtimekr.angelov
2014-04-10a quick hack to enable the NERC from bindings. This should be made available ...kr.angelov
2014-03-25small fixes in the C runtimekr.angelov
2014-03-06C run-time: protect from Windows specific #includes with #ifdef __MINGW32__hallgren
2014-02-27include malloc.h in a few places to avoid warnings on Windowskr.angelov
2013-12-17make sure that pgf_concrete_load has no effect on grammars that are completel...kr.angelov
2013-12-10loading and unloading of languages in the C runtime and in the Python bindingskr.angelov
2013-11-15pgf_reader_done should do nothing if the reading has failedkr.angelov
2013-11-12added Predef.SOFT_BIND. This special token allows zero or more spaces between...kr.angelov
2013-11-07factor of 3 speedup for the translation without slowing down the grammar load...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-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-09-27a major refactoring in the C and the Haskell runtimes. Note incompatible chan...kr.angelov
2013-09-18the PGF reader now releases strings that are not used after the loadingkr.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-09-13minor optimization/refactoring in the grammar readerkr.angelov
2013-09-13tiny optimization in pgf/readerkr.angelov
2013-09-13optimize the reading of strings in the grammar loader.kr.angelov
2013-09-12enable the PGF JIT compiler for Androidkr.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-04added make file for compiling the C runtime for Android. The JIT compiler for...kr.angelov
2013-09-04remove the dependency on the HAVE_STATEMENT_EXPRESSIONS flag. This reduces th...kr.angelov
2013-08-23nonExist now does the expected thingkr.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-25Now there is a just-in-time compiler which generates native code for proof se...kr.angelov
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 17:48:01 +0000