summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)Author
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-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
When a browser requests a URL that refers to a directory, web server usually redirect the browser to the same URL with a trailing '/' added, if one was not already present. This is to prevent relative links in the returned document from being interpreted relative to the parent directory instead of the current document. This type of redirection was missing in gf -server.
2013-08-19word completion in the C runtime now returns multi-word expressions and the ↵kr.angelov
category for every expression
2013-08-19gfse: only try to upload/compile grammars when browser is onlinehallgren
Show error message "Offline" if browser is offline.
2013-08-19gfse: always open a resizable text box when editing concrete syntaxhallgren
(Also fixed a broken link in gf-web-api-examples.html)
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
Instead of just "syntax error", you now get e.g. PType is a predefined constant, it can not be redefined This is a simple change in the parser.
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-29Cloud & PGF service: use Content-Type application/json for JSON outputhallgren
This is in accordance with RFC 4627. http://tools.ietf.org/html/rfc4627 Use application/javascript for JSONP output.
2013-07-29minibar: more robust test for availability localStoragehallgren
Minibar should now work if localStorage is disabled or unavailable. (In Firefox, disabling cookies also disables localStorage.)
2013-07-25Allow cross origin requests to GF cloud & PGF serviceshallgren
By adding a header Access-Control-Allow-Origin: * to the HTTP responses, web browsers are informed that it is OK to call the services from web pages hosted on other sites. This is apparently supported in most modern browsers, so it should no longer be necessary to resort to JSONP. See https://developer.mozilla.org/en-US/docs/HTTP/Access_control_CORS
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 ↵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