summaryrefslogtreecommitdiff
path: root/src/runtime
AgeCommit message (Collapse)Author
2013-08-29more carefull tracking of references in the Java bindingkr.angelov
2013-08-28now Concr.parseBest throws ParseErrorkr.angelov
2013-08-28bugfix which caused the runtime to crash on Androidkr.angelov
2013-08-28fix the error handling in the Java bindingkr.angelov
2013-08-28make the Expr constructor privatekr.angelov
2013-08-28fixes in the Java bindingkr.angelov
2013-08-27added PGF.getStartCat()kr.angelov
2013-08-27added method for best first parsing in the Java bindingkr.angelov
2013-08-27bugfix in the java bindingkr.angelov
2013-08-27linearization in the Java bindingkr.angelov
2013-08-27small refactoring in the Java bindingkr.angelov
2013-08-27parsing from the Java bindingkr.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-21change the locale in the test script for the Python bindingkr.angelov
2013-08-21fix in the C parserkr.angelov
2013-08-21fix a crash in the python bindingkr.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-08-01a bit more on the Java to C binding. Now it is possible to load a grammar ↵kr.angelov
and query for the list of languages
2013-07-30the first approximation for a statistical model consistent with dependent ↵kr.angelov
types in the abstract syntax
2013-07-18bugfix for parsing floating point numbers in the C runtimekr.angelov
2013-07-05the hash function for pgf.Expr is now really addedkr.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-27typos in the documentation for the Python bindingkr.angelov
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-26dummy compute function in the Python bindingkr.angelov
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
2013-06-26an optimization in the jitter for generating more compact codekr.angelov
2013-06-26patch for adjustable heuristics from Pythonkr.angelov
2013-06-26compatibility issue for MacOS Xkr.angelov
2013-06-26fix for x86_64kr.angelov
2013-06-25Now there is a just-in-time compiler which generates native code for proof ↵kr.angelov
search. This is already used by the exhaustive generator. The time to generate 10000 abstract trees with ParseEng went down from 4.43 sec to 0.29 sec.
2013-06-24bugfix for the linearizer in the C runtimekr.angelov
2013-06-22bugfix for the word completion in the C runtimekr.angelov
2013-06-20add x86_64 support to GNU lightningkr.angelov
generated by cgit v1.2.3 (git 2.39.1) at 2026-06-03 18:59:17 +0000