summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)Author
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
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-15Improvements In Sindhi RGvirk.shafqat
2013-06-14bugfix in the python bindingkr.angelov
2013-06-13Fix UTF-8 decoding problem in gf -serverhallgren
The package network-2.4.1.1 thoughlessly introduced a backward incompatible change to the function Network.URI.unEscapeString, see https://github.com/haskell/network/commit/f2168b1f8978b4ad9c504e545755f0795ac869ce This also affects the function Network.Shed.Httpd.queryToArguments, which is used in GFServer.hs. To remain compatible with older and newer versions of the network package, we need to stay clear of queryToArguments and unEscapeString. A replacement function has been added to server/URLEncoding.hs.
2013-06-13Syntax editor: minor CSS tweak to resemble Minibar morejohn.j.camilleri
2013-06-13Syntax editor: AST string always shown, remove export buttonjohn.j.camilleri
2013-06-10Update the usage text for the --output-format optionhallgren
It needs to be updated manually when the list of available output format changes.
2013-06-02GF.Text.Transliterations: avoid error prone function Data.Map.fromAscListhallgren
2013-05-31Prasad's sanskrit transliteration ; MiniresourceSan now compiles but is ↵aarne
mostly incorrect due to missing paradigms
2013-05-31now the call Expr.unpack("? e1 e2") in Python returns a pair with None as ↵kr.angelov
the first element and a the list [e1,e2] as the second. This makes it easier to decompose partial abstract trees
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" ↵kr.angelov
exception if the grammar is missing
2013-05-28added a test class for the Java API plus a small refinement in the ↵kr.angelov
implementation for the binding
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 ↵kr.angelov
linearized
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 ↵kr.angelov
one for the output trees. This means that the memory for parsing can be released as soon as the needed abstract trees are retrieved, while the trees themselves are retained in the separate output pool
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
partial trees
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 ↵kr.angelov
using readline with word completion
2013-04-26finally the statistical parser is able to return all possible abstract treeskr.angelov
2013-04-26gfse: use alltenses/ instead of present/ when looking up RGL oper typeshallgren
2013-04-26Add greek to Setup.hs and the web appshallgren
2013-04-25minibar: remove two more uses of with()hallgren
2013-04-25minibar: fix bug that prevented minibar from working in Webkit browsershallgren
The with(...) {...} statement has different scoping rules in Webkit browsers and Gecko browsers, so it is better to avoid it.
2013-04-24PGF service: apply the token binding operator &+ to all linearizationshallgren
The &+ operator is now consistently eliminated from the output of commmands that produce linearizations. Before, only the commands translate and translategroup did this.
2013-04-23js/localstorage.js: don't throw an exception if JSON parsing failshallgren
Return the given default value instead.
2013-04-23gfse: add access to the syntax editorhallgren
via the minibar
2013-04-23js/gfrobust.js: don't try to translate sentenses that are too longhallgren
The C run-time responds badly to input that is too long, so we return an error message here instead. The limit is 200 URL-encoded characters.
2013-04-23js/localstorage.js: improved faked localStorage if real localStorage is missinghallgren
generated by cgit v1.2.3 (git 2.39.1) at 2026-06-10 22:12:06 +0000