summaryrefslogtreecommitdiff
path: root/src/runtime
AgeCommit message (Expand)Author
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 ch...kr.angelov
2013-06-27typos in the documentation for the Python bindingkr.angelov
2013-06-27a complete Python API for reading, printing and manipulation of abstract tree...kr.angelov
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 it...kr.angelov
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 se...kr.angelov
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
2013-06-19fíx in the Python binding for compatibility with Python<2.7kr.angelov
2013-06-19fix an issue in the Python binding related to the 32 vs 64 bit compatibilitykr.angelov
2013-06-17fix for a couple of warnings that are generated when GNU lightning is usedkr.angelov
2013-06-17add the source code for GNU lightning in the source directory for the C runtimekr.angelov
2013-06-14bugfix in the python bindingkr.angelov
2013-05-31now the call Expr.unpack("? e1 e2") in Python returns a pair with None as the...kr.angelov
2013-05-31improved error message in the Python bindingkr.angelov
2013-05-30bugfix for the grammar printer in the C runtimekr.angelov
2013-05-29a simple refactoring in the Python runtimekr.angelov
2013-05-29readPGF in the Python runtime now throws "No such file or directory" exceptio...kr.angelov
2013-05-28added a test class for the Java API plus a small refinement in the implementa...kr.angelov
2013-05-28an initial skeleton for building a Java binding to the C runtimekr.angelov
2013-05-21fix the encoding problem with unicode literals in the Python bindingkr.angelov
2013-05-07bugfix for bracketedLinearize which was causing crash if the tree cannot be l...kr.angelov
2013-05-07bug fix in the management of memory pools in the statistical parserkr.angelov
2013-05-06the statistical parser is now using two memory pools: one for parsing and one...kr.angelov
2013-05-05fix the leftcorner filtering after the addition of word completionkr.angelov
2013-05-04bugfix in the C runtime which was causing an infinite loop while linearizing ...kr.angelov
2013-05-03[haskell runtime] Remove trailing whitespaces in VisualizeTree.hsgregoire.detrez
2013-05-01word completion in the C runtime. The runtime/python/test.py example is now u...kr.angelov
2013-04-26finally the statistical parser is able to return all possible abstract treeskr.angelov
2013-04-23a trivial refactoring of the reasoner in the C runtimekr.angelov
2013-04-22bug fix in pgf-translate which was hiding that there are more than one trees ...kr.angelov
2013-04-21reverse the direction of the arcs in the dependency treeskr.angelov
2013-04-19remove the dead code left behind by Peter Ljunglöf in VisualizeTreekr.angelov
2013-04-19the C runtime and the Python binding now have an API for parser evaluation. T...kr.angelov
2013-04-18added API for computing bracketed strings from Python and Ckr.angelov
2013-04-16added a malt_tab format to the vd command in the GF shellkr.angelov
2013-04-16the generation of dependency trees in the Haskell runtime is now finally work...kr.angelov
2013-04-15the compiler now sorts the list of functions per category in probability orde...kr.angelov
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 17:10:25 +0000