summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2013-08-06Add more info about RGL browser to release notes 3.5john.j.camilleri
2013-08-05Next release will be GF 3.5, release notes moved to download/release-3.5.t2t.hallgren
Some more work on the 3.5 release notes and download page.
2013-08-05Update shell reference manualhallgren
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-30add two more bullets about the Python and the Java bindingskr.angelov
2013-07-30added release notes for the C runtimekr.angelov
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-29Adding download page and release notes for the next release of GFhallgren
The suggested next release is 3.4.8 in early August. Feel free to add things in download/release-3.4.8.t2t.
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-26pointer to RGL publications as main index news itemaarne
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-25updated the number of PhD thesis and publications in index.html; started an ↵aarne
RGL publications page
2013-07-25RGL Browser: now includes Syntax Editor tab!john.j.camilleri
2013-07-24hs datatype generation for empty abstract types addedaarne
2013-07-20Script to compute predictability of smart paradigmsgregoire.detrez
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
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-26GF homepage: Add section for "getting help" (mentioning IRC channel)john.j.camilleri
and remove "fragments" from Maltese
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-24Add news about Maltese RG, IRC channel to homepagejohn.j.camilleri
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-15added Sindhi Phrasebookvirk.shafqat
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
generated by cgit v1.2.3 (git 2.39.1) at 2026-07-06 14:44:28 +0000