| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2013-01-11 | Syntax editor: initial support for string literals | john.j.camilleri | |
| Also a bug fix when switching to editor, although this still messes up when using the letters grammar. Also updated readme with options, and some style improvements. | |||
| 2013-01-11 | Syntax editor: add tooltips to buttons | john.j.camilleri | |
| 2013-01-11 | Syntax editor: remove beta label | john.j.camilleri | |
| 2013-01-11 | partial evaluator: fix token glueing bug | hallgren | |
| "a"+("b"++"c") was simplified to "bb"++"c" instead of "ab"++c. | |||
| 2013-01-09 | Fixes for minibar offline | hallgren | |
| Tested it in Firefox 18 (which has the new Ionmonkey JavaScript engine). Still get stack overflows. | |||
| 2013-01-09 | PGF service: new command: download | hallgren | |
| This makes it possible to download PGF files from servers where the PGF service is installed. I am also considering making commmand=download the default instead of command=grammar. | |||
| 2013-01-08 | fix warnings in pgf-parse.c | kr.angelov | |
| 2013-01-08 | PGF installation instructions for Mac OSX | peter.ljunglof | |
| 2013-01-08 | Made meta probs an optional argument instead of hard-coded in pgf-translate | peter.ljunglof | |
| 2013-01-08 | New PGF utility: pgf-parse | peter.ljunglof | |
| 2013-01-07 | now the Python binding has an alternative representation for abstract trees ↵ | kr.angelov | |
| which is composed of Python objects. The new representation is not integrated with the core runtime yet | |||
| 2013-01-07 | a new reasoner in the C runtime. It supports tabling which makes it ↵ | kr.angelov | |
| decideable for propositional logic. dependent types and high-order types are not supported yet. The generation is still in decreasing probability order | |||
| 2012-12-27 | bugfix in the strings library from the C runtime | kr.angelov | |
| 2012-12-20 | bug fix in the new partial evaluator | hallgren | |
| It can leave wildcard tables in their origial form, but it easy to handle them in the unfactor function in GeneratePMCFG. | |||
| 2012-12-20 | added alltenses to the default search path (just like prelude) | aarne | |
| 2012-12-20 | PGFService.hs: code duplication reduction | hallgren | |
| 2012-12-19 | partial evaluator bug fix | hallgren | |
| It failed to delay table selection when the selector contains a run-time variable, causing "gf: Prelude.(!!): index too large" instead. Also: + Show better source locations on unexpected errors, to aid bug hunting. + Removed unused SourceGrammar argument to value2term. | |||
| 2012-12-19 | GF.Grammar.Lookup: new function lookupResDefLoc | hallgren | |
| It's like lookupResDef but it includes a source location in the output. | |||
| 2012-12-19 | bugfix: the linearizer should not generate extra space at the end of the ↵ | kr.angelov | |
| sentence | |||
| 2012-12-19 | bugfix for linearization of metavariables at the root of a tree | kr.angelov | |
| 2012-12-19 | rename linearize.{h/c} to linearizer.{h/c} which follows the convention used ↵ | kr.angelov | |
| in parser.c and reasoner.c | |||
| 2012-12-19 | a major reimplementation of the linearizer in the C runtime | kr.angelov | |
| 2012-12-18 | fixed accidental bug in pgf-parse.c | kr.angelov | |
| 2012-12-18 | partial evaluator bug fix | hallgren | |
| Int was missing from the list of predefined canonical constants. | |||
| 2012-12-18 | the C runtime now can read abstract expressions with literals and meta variables | kr.angelov | |
| 2012-12-14 | debugging infrastructure in the reasoner | kr.angelov | |
| 2012-12-14 | bugfix for the reasoner in the C runtime | kr.angelov | |
| 2012-12-14 | a bit more flexible API for parsing in Python | kr.angelov | |
| 2012-12-14 | The first prototype for exhaustive generation in the C runtime. The trees ↵ | kr.angelov | |
| are always listed in decreasing probability order. There is also an API for generation from Python | |||
| 2012-12-14 | Add language extension for ghc<7.4 | hallgren | |
| FlexibleInstances does not imply TypeSynonymInstances, apparently. | |||
| 2012-12-14 | More work on the new partial evaluator | hallgren | |
| The work done by the partial evaluator is now divied in two stages: - A static "term traversal" stage that happens only once per term and uses only statically known information. In particular, the values of lambda bound variables are unknown during this stage. Some tables are transformed to reduce the cost of pattern matching. - A dynamic "function application" stage, where function bodies can be evaluated repeatedly with different arguments, without the term traversal overhead and without recomputing statically known information. Also the treatment of predefined functions has been reworked to take advantage of the staging and better handle partial applications. | |||
| 2012-12-13 | bugfix in the lexer from the C runtime. the input sentence doesn't have to ↵ | kr.angelov | |
| terminate with whitespace | |||
| 2012-12-13 | added simple error handling in the Python test | kr.angelov | |
| 2012-12-13 | added a simple test for the Python binding | kr.angelov | |
| 2012-12-13 | an initial API for parsing and linearization from Python | kr.angelov | |
| 2012-12-13 | a top-level API for parsing in the C runtime | kr.angelov | |
| 2012-12-13 | bugfix: the outside probability of a PgfItemConts must always be initialized ↵ | kr.angelov | |
| to zero | |||
| 2012-12-13 | bugfix: pgf_read_expr no longer requires a semicolon at the end of an ↵ | kr.angelov | |
| abstract expression | |||
| 2012-12-12 | an initial Python binding to the C runtime | kr.angelov | |
| 2012-12-12 | started an official API to the C runtime | kr.angelov | |
| 2012-12-11 | partial evaluator work | hallgren | |
| * Evaluate operators once, not every time they are looked up * Remember the list of parameter values instead of recomputing it from the pattern type every time a table selection is made. * Quick fix for partial application of some predefined functions. | |||
| 2012-12-11 | Syntax editor: unwrap feature | john.j.camilleri | |
| 2012-12-11 | Syntax editor: link to about page | john.j.camilleri | |
| 2012-12-11 | Syntax editor: add about.html (and a Makefile for generating it) | john.j.camilleri | |
| 2012-12-11 | bugfix for robust parsing with multi-word units | kr.angelov | |
| 2012-12-10 | Compute.ConcreteNew: add missing case for variant functions | hallgren | |
| Also adding a test case in the test suite for this. | |||
| 2012-12-07 | Syntax editor: change startcat when wrapping top node | john.j.camilleri | |
| 2012-12-07 | Make -new-comp the default and bump the version number to 3.3.11-darcs | hallgren | |
| * -new-comp (the new partial evaluator) is now chosen by default when you run cabal install (or cabal configure). To revert to using the old partial evaluator by default, use "cabal install -f-new-comp" (or "cabal configure -f-new-comp"). * Regardless of the configured default, you can choose which partial evaluator to use when you invoke gf by using the -new-comp or -old-comp command line option. * The cc command in the GF shell uses the chosen partial evaluator by default, but you can override this by using "cc -new" or "cc -old". The plan is that these flags will be romeved in a future version. | |||
| 2012-12-07 | Syntax editor: various small improvements... | john.j.camilleri | |
| - separate tree edit buttons from option buttons - fix bug when wrapping on freshly imported ast - add interface for import & export of ast - cleaner internal implementation of Editor.add_refinement - small style updates | |||
| 2012-12-06 | Compute.ConcreteNew: bug fix for indirectly defined pattern macros | hallgren | |
| More changes are probably needed to make pattern macros first class values. Also includes minor changes related to variants and error messages. | |||
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |