summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
2013-01-29Better error message for unsupported token gluinghallgren
2013-01-29Fix a bug with record extensionhallgren
2013-01-29Avoid crash in random generation with probabilitieshallgren
2013-01-29bugfix in the reference counting for Pythonkr.angelov
2013-01-29the Python binding is in pure C againkr.angelov
2013-01-29added an API for composing and decomposing abstract trees from Pythonkr.angelov
2013-01-29fixed typos in the python binding: in a few places pgf_ExprType was used inst...kr.angelov
2013-01-28Quick fix to render some parser error messages from UTF-8-encoded source file...hallgren
2013-01-28Better error message for Predef.errorhallgren
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
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 08:30:26 +0000