summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
2013-01-28improved error message for overloading in case the given signature looks the ...aarne
2013-01-24Python binding: add a parsing function that accepts directly a list of tokens.gregoire.detrez
2013-01-18Add fun/cat printnames to PGF web servicejohn.j.camilleri
2013-01-13gf -server: fix bug in bug fix for current directoryhallgren
2013-01-12gf -server: small logging improvementshallgren
2013-01-12gf -server: defend against problems with the current directory caused unhandl...hallgren
2013-01-11Syntax editor: initial support for string literalsjohn.j.camilleri
2013-01-11Syntax editor: add tooltips to buttonsjohn.j.camilleri
2013-01-11Syntax editor: remove beta labeljohn.j.camilleri
2013-01-11partial evaluator: fix token glueing bughallgren
2013-01-09Fixes for minibar offlinehallgren
2013-01-09PGF service: new command: downloadhallgren
2013-01-08fix warnings in pgf-parse.ckr.angelov
2013-01-08PGF installation instructions for Mac OSXpeter.ljunglof
2013-01-08Made meta probs an optional argument instead of hard-coded in pgf-translatepeter.ljunglof
2013-01-08New PGF utility: pgf-parsepeter.ljunglof
2013-01-07now the Python binding has an alternative representation for abstract trees w...kr.angelov
2013-01-07a new reasoner in the C runtime. It supports tabling which makes it decideabl...kr.angelov
2012-12-27bugfix in the strings library from the C runtimekr.angelov
2012-12-20bug fix in the new partial evaluatorhallgren
2012-12-20added alltenses to the default search path (just like prelude)aarne
2012-12-20PGFService.hs: code duplication reductionhallgren
2012-12-19partial evaluator bug fixhallgren
2012-12-19GF.Grammar.Lookup: new function lookupResDefLochallgren
2012-12-19bugfix: the linearizer should not generate extra space at the end of the sent...kr.angelov
2012-12-19bugfix for linearization of metavariables at the root of a treekr.angelov
2012-12-19rename linearize.{h/c} to linearizer.{h/c} which follows the convention used ...kr.angelov
2012-12-19a major reimplementation of the linearizer in the C runtimekr.angelov
2012-12-18fixed accidental bug in pgf-parse.ckr.angelov
2012-12-18partial evaluator bug fixhallgren
2012-12-18the C runtime now can read abstract expressions with literals and meta variableskr.angelov
2012-12-14debugging infrastructure in the reasonerkr.angelov
2012-12-14bugfix for the reasoner in the C runtimekr.angelov
2012-12-14a bit more flexible API for parsing in Pythonkr.angelov
2012-12-14The first prototype for exhaustive generation in the C runtime. The trees are...kr.angelov
2012-12-14Add language extension for ghc<7.4hallgren
2012-12-14More work on the new partial evaluatorhallgren
2012-12-13bugfix in the lexer from the C runtime. the input sentence doesn't have to te...kr.angelov
2012-12-13added simple error handling in the Python testkr.angelov
2012-12-13added a simple test for the Python bindingkr.angelov
2012-12-13an initial API for parsing and linearization from Pythonkr.angelov
2012-12-13a top-level API for parsing in the C runtimekr.angelov
2012-12-13bugfix: the outside probability of a PgfItemConts must always be initialized ...kr.angelov
2012-12-13bugfix: pgf_read_expr no longer requires a semicolon at the end of an abstrac...kr.angelov
2012-12-12an initial Python binding to the C runtimekr.angelov
2012-12-12started an official API to the C runtimekr.angelov
2012-12-11partial evaluator workhallgren
2012-12-11Syntax editor: unwrap featurejohn.j.camilleri
2012-12-11Syntax editor: link to about pagejohn.j.camilleri
2012-12-11Syntax editor: add about.html (and a Makefile for generating it)john.j.camilleri