summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)Author
2016-04-29added methods for accessing the last element of a buffer in libgukrasimir
2016-04-28a version of sqlite3.c which is prunned to one third of the original size ↵krasimir
and now it contains only the database storage engine withough the SQL compiler and interpreter
2016-04-25Fix a problem building the Java binding when creating binary packageshallgren
Pass -I and -L flags to gcc so that the C run-time system can be found. Also added a line in src/runtime/java/Makefile to install jpgf.jar.
2016-04-14more fixes for GNU Lightning for ARMkrasimir
2016-04-14fix in evaluator.ckrasimir
2016-04-14added PGF.inferExpr and Type.toString in the Java bindingkrasimir
2016-04-14bugfix in GNU Lightning for ARMkrasimir
2016-04-13bugfix in the JIT compiler for 64bit machineskrasimir
2016-04-13locale independent printing for doubles when they are part of an abstract ↵krasimir
expression
2016-04-13fix for reading PgfExpr with a double literalkrasimir
2016-04-13Minibar: don't show dependency information in parse trees.hallgren
This was fixed by adding "&nodep=true" in the minibar when it requests a parse tree from the server. The reason dependency information got included in the first place was that all rendering options are on by default in command=parsetree requests in PGF service API.
2016-04-13added PGF.compute in the Java bindingkrasimir
2016-04-13added getFunctionsByCatkrasimir
2016-04-13added getCategories() and getFunctions() in the Java bindingkrasimir
2016-04-07GF.Command.Commands2: adapt gf -cshell to the changes in the previous patchhallgren
2016-04-07GF shell: fix a parsing problem with the cc commandhallgren
This patch fixes a problem introduced last year when the GF shell was refactored to allow more commands to be treated uniformly and be part of pipes. The cc command was one of those commands, but unfortunately this introduced a parsing problem, e.g. > cc "last" constant not found: last > cc "last"++"year" command not parsed: cc "last"++"year" This happened because the generic command line parser in GF.Command.{Abstract,Parse} assumes that all commands have an argument of type PGF.Expr. Commands that expect other types of arguments have to use PGF.showExpr combined with other conversion to the argument type they expect. The cc command excpets a GF.Grammar.Term, and unfortunately not all terms survice the roundtrip through PGF.Expr, in part because of an additional hack to allow strings to be roundtripped through PGF.Expr without adding superfluous double quotes. To solve the problem, this patch + makes room for arguments of type Term in the Argument type in GF.Command.Abstract. + makes a special case for the cc command in GF.Command.Parse, by calling the partial parser 'runPartial pTerm' recently added in GF.Grammar.Lexer and GF.Grammar.Parser. Care was taken so that that "|" and ";" can be used both inside terms and as separators between commands in the shell, e.g. things like the following now work: > cc ("a"|"b") | ps -lexcode variants { "a" ; "b" } + introduces a type CommandArgument that replaces [Expr] as the type of values passed between commands in pipes. It has room for values of type [Expr], [String] and Term, thus eliminating the need to roundtrip through the Expr type all the time. The hack to avoid adding superfluous quotes when strings are roundtripped through Expr has been left in place for now, but can probably be removed.
2016-04-07Lexer.x & Parser.y: add a partial parser for termshallgren
Lexer.x: Change the parser monad type P to allow the remaining input to be returned after a partial parse. Add function runPartial :: P t -> String -> Either (Posn, String) (String, t) Parser.y: Add a partial parser pTerm for nonterminal Exp1. Re-export runPartial.
2016-04-06Lexer.x: fix cyclic Functor instancehallgren
It looks like I introduced this cyclic definition in August 2014, but since it isn't used, it hasn't been a problem...
2016-04-05src/tools: update GFDoc.hs and Htmls.hs for compatibility with current ↵hallgren
libraries and add gf-tools.cabal to compile them
2016-04-03GFSE: add Latvian to the list of RGL languageshallgren
2016-03-30src/runtime/c/INSTALL: add automake to the list of needed packages on Linuxhallgren
The automake package contains aclocal, which is needed when running autoreconf -i. I never needed to install automake explicitly on Linux, presumably because it got installed anyway because of some other dependency, but apparently you can't take this for granted.
2016-03-22fix the handling of separators in BNFC which are not nonemptykrasimir
2016-03-22CFGtoPGF is now extended to support context-free grammars with primitive ↵krasimir
parameters
2016-03-21added missing module GF.Grammar.BNFCkrasimir
2016-03-21fix comment in GF.Grammar.CFGkrasimir
2016-03-21initial support for BNFC syntax in context-free grammars for GF. Not all ↵krasimir
features are supported yet. Based on contribution from Gleb Lobanov
2016-03-21bugfix: GF.Compile.CFGtoPGF now supports literal categorieskrasimir
2016-03-15more progress on the typecheckerkrasimir
2016-03-07current state of the experimental typecheckerkrasimir
2016-03-03add missing cases in vapply in the partial evaluatorkrasimir
2016-03-02fix in the typecheckerkrasimir
2016-03-02a better interface between the type checker and the partial evaluatorkrasimir
2016-03-02the experimental type checker in GF.Compile.TypeCheck.ConcreteNew is now ↵krasimir
rewriten to use the complete evaluator in GF.Compile.Compute.ConcreteNew. The old sketchy implementation in GF.Compile.Compute.ConcreteNew1 is now removed.
2016-02-23add forgotten file src/runtime/haskell/PGF/LexingAGreek.hsleiss
2016-02-23add lexer and unlexer for Ancient Greek accent normalizationleiss
2016-02-17Now we even test in two different places for the JNI headers. Once for Linux ↵krasimir
and once for Mac OS. This is still not ideal since different Linux distributions might use different locations.
2016-02-17typo in the new Makefilekrasimir
2016-02-17a version of the Makefile for the Java binding which should work on Linux ↵krasimir
and Mac OS
2016-02-09some progress on complex queries in libsgkrasimir
2016-01-26fix a rather intricate bug where coercions in the PMCFG grammar didn't ↵krasimir
interact properly with the lazy parser
2016-01-19GFSE: add Afrikaans to the list of available RGL languages.hallgren
2016-01-14javadoc comments in the Java bindingkrasimir
2015-12-22added API for reading a list of tuples in the SG modulekrasimir
2015-12-22pgf_read should close the input file.krasimir
2015-12-20added a primitive full-text search index in libsg. This can be use for ↵krasimir
finding an abstract tree whose linearization matches given keywords
2015-12-19a fix that should solve the segmentation fault on MacOS with the exhaustive ↵krasimir
generator
2015-12-18fix in the Python binding. The input sentence to the parser needs to be ↵krasimir
copied since otherwise the Python string may be discarded the garbage collector
2015-12-11feedback.cgi: exclude empty submission when showing the feedback listhallgren
2015-12-11tweaking Chi language codes to get both speech input and output in Android ; ↵aarne
one fix in DictionaryChi
2015-12-10Wide Coveage Translation Demo: sort parse results by probabilityhallgren
Because of the "heurisitc factor", the results returned by the parser might not be in strict probability order. To compensate, a sorting pass has been added to find and show the translation with the highest probability among the 10 first translations. However, this means that the translation demo now immediately has to ask for 10 translations of every segment. Before, it initially asked for only one translation of every segment, and then 9 more translations for a segment when/if the user clicked on it. This change can slow down translation noticeably (e.g. from 15s 30s to load an example with fiction in English).