summaryrefslogtreecommitdiff
path: root/src/runtime
AgeCommit message (Expand)Author
2014-12-11update the nerc for the changes in the grammarkr.angelov
2014-12-09make sure that neither I nor I'm is recognized as name in Englishkr.angelov
2014-12-08bugfix for unknown wordskr.angelov
2014-12-08fix for the unknown wordskr.angelov
2014-12-08added a callback for unknown wordskr.angelov
2014-12-01fix the last patchkr.angelov
2014-12-01a small optimization in the PGF parser which gives me ~5% speed upkr.angelov
2014-12-01fix in GNU lightning to enable the compilation of two of the the floating poi...kr.angelov
2014-12-01fix in linearizer.h to make jpgf compilablekr.angelov
2014-11-27fix in linearizer.h which resolves a warningkr.angelov
2014-11-27remove pgf/parser.hkr.angelov
2014-11-26fix the handling of the heuristic factor. it was broken when I added the BIND...kr.angelov
2014-11-07expand the JIT window for x64kr.angelov
2014-10-31a skeletal module for higher-order pattern unification in the C runtimekr.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-24comment out a few assertions in bits.h. this code is run too often to have ex...kr.angelov
2014-10-24make it possible to specify the initial size of a map in libgukr.angelov
2014-10-24simplify gu/mapkr.angelov
2014-10-24fix memory leak in the pgf-parse toolkr.angelov
2014-10-24add extern declarations for all inline functions in seq.h. this ensures that ...kr.angelov
2014-10-23a simple optimization in cmp_item_prob with great effect on the parser's speedkr.angelov
2014-10-23remove some deadcode in gu/seq.hkr.angelov
2014-10-23inline a number of functions in gu/seq.c. this has a noticeable effect on the...kr.angelov
2014-10-23a cosmetic optimization in mem.ckr.angelov
2014-10-23fix the debug mode in the reasonerkr.angelov
2014-10-23fix warning in ucs.ckr.angelov
2014-10-22CAPIT is now naturally supported in the C runtimekr.angelov
2014-10-22add Unicode classification routines to libgu. ported from the base package in...kr.angelov
2014-10-22an explicit PUSH_FRAME instructionkr.angelov
2014-10-22make the fields of BracketedString in the Python binding read/writekr.angelov
2014-10-20get rid of gu/str.(c|h)kr.angelov
2014-10-19(un)lexmixed: added the other math environments than $ used in latexaarne
2014-10-17one general case in dealing with backslash in latex lexing is enoughaarne
2014-10-17the C runtime now supports reading and writing expressions with indexed meta ...kr.angelov
2014-10-17unlexing latex code: no space between closing $ and punctuationaarne
2014-10-17lexer for latex code: don't separate backslash from the macro name that it marksaarne
2014-10-16bugfix in the parser for abstract expressions in the C runtimekr.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-14bugfix in the bytecode generatorkr.angelov
2014-10-14simplify jit_bare_retkr.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-09fix two warnings in mem.ckr.angelov
2014-10-09fix in gu_mmap_pool for Androidkr.angelov
2014-10-09fix for lightning for ARMkr.angelov
2014-10-09remove the pgf-service util which is obsolete anywaykr.angelov
2014-10-09replace the hash maps in the abstract syntax with binary search tableskr.angelov
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 07:19:10 +0000