summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2014-09-30fix pgf_value2expr for partial applicationskr.angelov
2014-09-30enough fixes to get the JIT compiler compile for ARM. It is still broken if ↵kr.angelov
you try to use it
2014-09-30add evaluator.c in Android.mkkr.angelov
2014-09-30fix in reader.h for compiling jpgf.ckr.angelov
2014-09-30fix in pgf_print_expr for lambda abstractions with more than one argumentkr.angelov
2014-09-30AppChi needs more stack space nowaarne
2014-09-30bugfix in the gate evaluate_value_lambdakr.angelov
2014-09-29minor stylistic change in GenerateBCkr.angelov
2014-09-29bugfix in the pattern matching compiler and a number of other fixes that I ↵kr.angelov
somehow did not push before
2014-09-29bugfix in the RET instructionkr.angelov
2014-09-29enlarge the code window in pgf_jit_gates to ensure enough space on 64-bit ↵kr.angelov
machines
2014-09-27checked that course of value tables (table P [...]) have the correct number ↵aarne
of values w.r.t the type P. This was previously not checked, and caused hard-to-find run-time errors.
2014-09-26command for AppEngFinaarne
2014-09-25the literals API is now exposed in Pythonkr.angelov
2014-09-25switch off the debugging of the JIT compiler which I had turned on ↵kr.angelov
accidentally. silence two harmless warnings
2014-09-25now a complete JIT compiler and ByteCode compiler for the def rules in the ↵kr.angelov
abstract syntax. there might be some bugs yet to be found, meta variables and computation under lambda is only partially supported
2014-09-23examples/app/Makefile2: add missing -probs flaghallgren
2014-09-23doc/gf-developers.t2t: add a note about how to create OS X Installer packageshallgren
2014-09-22haskell-bind/PGF2.hsc: unexport functions that break referential transparencyhallgren
loadConcr, unloadConcr and addLiteral modify the Concr structure as a side effect. This means that other functions with a Concr argument (e.g. parse and linearize) are no longer pure. Possible solutions: 1. Don't try to hide the imperative nature of the C run-time system: remove all uses of unsafePerformIO and let all functions operate in the IO monad. 2. Don't export functions with side effects. Perhaps the desired functionality of loadConcr, unloadConcr and addLiteral can be folded into readPGF. The Concr structures can then treaded as immutable after after the readPGF function returns...
2014-09-17forgot to type check the type of a typed let expressionkr.angelov
2014-09-17appForm now skips over Typed expressionskr.angelov
2014-09-17the type checker for the abstract syntax now allows let expressions in def ↵kr.angelov
rules, since they are easily compilable to byte code. This fails in the Haskell runtime since let expressions are not allowed as abstract syntax expressions.
2014-09-17fix a portability problem with the Python binding (found by Prasanth)kr.angelov
2014-09-16dummy jit_base_tail_finishr for x86_64. kr.angelov
2014-09-15enabled VP-valued rules for V2V, V3, etc in App. Improve quality with less ↵aarne
loss of speed than VPSlash-valued original rules.
2014-09-14enabled many more functions, in particular verb patterns, in App, to ↵aarne
increase translation quality. This comes with 30% longer translation time with my benchmark but should still be OK.
2014-09-12GF index: shortcut links to Android app, Best practices, REMU, and new ↵aarne
Android development instructions
2014-09-11a major revision of the bytecode generator and JIT compiler. the effect is ↵kr.angelov
that now we can compute with lambda functions and with true tail recursion
2014-09-11gf.cabal: add missing c-sources for the Haskell binding to the C run-time ↵hallgren
library
2014-09-11Setup.hs: don't ask darcs for the version history if _darcs is not presenthallgren
This is to avoid a (harmless) error message from darcs when compiling sources obtained e.g. from github.
2014-09-10now release the FunPtr:s that are allocated for each literal callbackkr.angelov
2014-09-10added an API for custom literals in the Haskell bindingkr.angelov
2014-09-10added loadConcr/unloadConcr to the Haskell binding. This exposes an API for ↵kr.angelov
loading grammars compiled with -split-pgf
2014-09-09Wide Coverage Demo web app: use the App grammar instead of the Translate grammarhallgren
This gives faster but slightly lower quality translations.
2014-09-08(1) Refactor concurrency, (2) write to .gfo.tmp then rename to .gfohallgren
(1) introduces the module GF.Infra.Concurreny with lifted concurrency operators (to reduce uses of liftIO) and some additional concurrency utilities, e.g. a function for sequential logging that is used in both GF.CompileInParallel and GFServer. (2) avoids leaving broken .gfo files behind if compilation is aborted.
2014-09-05the code for def rules now uses proper graph update to preserve lazynesskr.angelov
2014-09-05full support for recursive def rules in the C runtimekr.angelov
2014-09-03gf.cabal, gf-server.cabal: add version bounds on network & httpd-shedhallgren
* httpd-shed-0.4 does not specify an upper bound on network, but it fails to build against network>=2.6. This is fixed in httpd-shed-0.4.0.2. * With network-2.6, the Network.URI modules is moved to a separate package, so for the time being GF requires network>=2.3 && <2.6. This is compatible with the four most recent versions of the Haskell Platform.
2014-09-02src/server: refactoring to isolate dependencies on the cgi/fastcgi packageshallgren
* Introducing the module CGI, re-exporting a subset of the cgi package. It might complete replace the cgi package in the future. * Introducing the module CGIUtils, containing functions from FastCGIUtils that have nothing to do with fastcgi. Some low level hackery with unsafePerformIO and global variables was left in FastCGIUtils, but it is actually not used, neither for gf -server nor exec/pgf-fcgi.hs.
2014-09-01partial implementation for recursive def ruleskr.angelov
2014-09-01bug fixes in the JIT compilerkr.angelov
2014-08-30by_Prep causing conflict in AppChi, therefore excluded from the import of ↵aarne
PhrasebookChi
2014-08-30examples/app/Makefile2: simplifed Makefile for the App grammar (doesn't work ↵hallgren
yet) This makefile just calls GF once and lets GF figure out in which order to compile things. It uses the -j flag to enable parallel compilation and specifies an explicit -path, overriding the -path flags in the source files. This allows all needed modules to be found automatically and ensures that that alltenses is consistently used everywhere. But for some reason, this doesn't work...
2014-08-29Add OS X Installed package to the GF 3.6 download pagehallgren
2014-08-29bin/build-binary-dist.sh: just a small fixhallgren
2014-08-29added evaluator.h which I had forgotenkr.angelov
2014-08-28You can now use 'make pkg' to build OS X Installer packages for GFhallgren
The script bin/build-binary-dist.sh has been updated to build either a plain .tar.gz package or OS X Installer package (.pkg). Note that bin/build-binary-dist.sh is designed to build and include the C run-time system in the binary package. If the C run-time system fails to build, no binary package will be created.
2014-08-25gf.cabal ghc-options: don't force -j, -auto-all has been renamed to -fprof-autohallgren
2014-08-25Fix GHC 7.4 compatibility issue caused by previous patchhallgren
2014-08-25Setup.hs: disable parallel RGL build support for now, since it is ↵hallgren
incompatible with Cabal<1.20