summaryrefslogtreecommitdiff
path: root/src/runtime/c
AgeCommit message (Collapse)Author
2013-09-17a major refactoring in the C runtime. GuList is now removed and replaced ↵kr.angelov
with GuSeq. The GuSeq/GuBuf API is simplified
2013-09-13remove leftcorner_cat_idx which is now redundantkr.angelov
2013-09-13minor optimization/refactoring in the grammar readerkr.angelov
2013-09-13the leftcorner indexing is now completely removed since it slowed down the ↵kr.angelov
loading without speeding up parsing a lot
2013-09-13fix the debug mode of the parser after the changes in the libgu APIkr.angelov
2013-09-13tiny optimization in pgf/readerkr.angelov
2013-09-13bugfix in utf8.ckr.angelov
2013-09-13fix a warning in utf8.ckr.angelov
2013-09-13optimize the reading of strings in the grammar loader.kr.angelov
2013-09-13more UTF8 cleanupkr.angelov
2013-09-13clean up the UTF8 API in libgukr.angelov
2013-09-12remove the logging from libgukr.angelov
2013-09-12enable the PGF JIT compiler for Androidkr.angelov
2013-09-11rewrite the ARM port of GNU lightning to a form compatible with the versions ↵kr.angelov
for the other CPUs
2013-09-05remove the string internalization since it slows down grammar loading with ↵kr.angelov
little benefit
2013-09-05fix gu_in_bytes_ to use bufferingkr.angelov
2013-09-05remove the read and write modules from libgu. this simplifies the i/o layerkr.angelov
2013-09-05remove dump and yaml from libgukr.angelov
2013-09-05bugfix for gu_buffered_inkr.angelov
2013-09-04added make file for compiling the C runtime for Android. The JIT compiler ↵kr.angelov
for Android is temporary disabled
2013-09-04the code in the C runtime is now complete independent from config.hkr.angelov
2013-09-04remove the dependency on the CHAR_ASCII flagkr.angelov
2013-09-04remove the dependency on the HAVE_STATEMENT_EXPRESSIONS flag. This reduces ↵kr.angelov
the dependency on the ./configure script
2013-09-04avoid using nan() in libgu for portability with Androidkr.angelov
2013-09-04slight optimization for the linearizer in the C runtimekr.angelov
2013-09-04bugfix in the robust linearizerkr.angelov
2013-08-28bugfix which caused the runtime to crash on Androidkr.angelov
2013-08-27comparison for strings in libgukr.angelov
2013-08-27quicksort and binary search for buffers in libgukr.angelov
2013-08-23nonExist now does the expected thingkr.angelov
2013-08-23Add INSTALL file for python bindings. Add note about libtool to INSTALL of c ↵john
runtime
2013-08-21fix in the C parserkr.angelov
2013-08-19word completion in the C runtime now returns multi-word expressions and the ↵kr.angelov
category for every expression
2013-08-19fullFormLexicon in C and Pythonkr.angelov
2013-08-19added GuEnum interface for iterating over maps in the C runtimekr.angelov
2013-08-16implemented lookupMorpho for C and Pythonkr.angelov
2013-08-16provide API to access the language code for the concrete languagekr.angelov
2013-08-16fixes in the C and Python API to make them closer to the Haskell APIkr.angelov
2013-08-15added graphvizParseTree in the C and Python runtimeskr.angelov
2013-08-15graphvizAbstractTree in the C and Python runtimeskr.angelov
2013-08-01added untested port of GNU lightning to ARMkr.angelov
2013-07-18bugfix for parsing floating point numbers in the C runtimekr.angelov
2013-07-03the parser in the C runtime now checks for duplicated resultskr.angelov
2013-07-02complete pgf_expr_eq in the C runtimekr.angelov
2013-07-02hash function for abstract syntax treeskr.angelov
2013-06-27C runtime: fix the debug modes in the parser and in the reasoner after the ↵kr.angelov
changes in the printer
2013-06-27a complete Python API for reading, printing and manipulation of abstract ↵kr.angelov
trees and types. This includes dependent types, high-order abstract syntax and implicit arguments
2013-06-26we no longer maintain an explicit list of functions per category since now ↵kr.angelov
it is implicitly kept in the JIT compiled code
2013-06-26forgot to add reasoner.hkr.angelov
2013-06-26forgot to add jit.hkr.angelov
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 19:38:24 +0000