summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
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
2013-08-21gfse: don't use multiline text boxes everywhere, just for concrete syntaxhallgren
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-20gf -server: fix for directory URLs without a trailing slashhallgren
2013-08-19word completion in the C runtime now returns multi-word expressions and the c...kr.angelov
2013-08-19gfse: only try to upload/compile grammars when browser is onlinehallgren
2013-08-19gfse: always open a resizable text box when editing concrete syntaxhallgren
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-13Syntax editor: minor CSS fixjohn.j.camilleri
2013-08-07Better error messages for attempts to redefine predefined constantshallgren
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 and...kr.angelov
2013-07-30the first approximation for a statistical model consistent with dependent typ...kr.angelov
2013-07-29Cloud & PGF service: use Content-Type application/json for JSON outputhallgren
2013-07-29minibar: more robust test for availability localStoragehallgren
2013-07-25Allow cross origin requests to GF cloud & PGF serviceshallgren
2013-07-25RGL Browser: now includes Syntax Editor tab!john.j.camilleri
2013-07-24hs datatype generation for empty abstract types addedaarne
2013-07-18bugfix for parsing floating point numbers in the C runtimekr.angelov
2013-07-15gf-server.cabal: same changes as in gf.cabal for ghc-7.6 compatibilityhallgren
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
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-26 12:35:13 +0000