summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2017-09-07the C runtime should also install data.h in order to make it possible to ↵Krasimir Angelov
access the internal structures
2017-09-07a light API in the Haskell binding for accessing the internal data structuresKrasimir Angelov
2017-09-07the experimental export to Lambda Prolog is now obsolete and is removedKrasimir Angelov
2017-09-06PGF2.FFI: import Data.Word(Word)Thomas Hallgren
for compatibility with older versions of GHC
2017-09-06A new function called "completions" is added in the Haskell runtime and used ↵Krasimir Angelov
in PGFService. This makes the extraction of completions more platform independent
2017-09-06word completion in the C parser now returns information about the function ↵Krasimir Angelov
which generates the token
2017-09-06Merge branch 'master' of https://github.com/GrammaticalFramework/GFKrasimir Angelov
2017-09-06the parser in the C runtime can now detect incomplete sentences just like ↵Krasimir Angelov
the parser in the Haskell runtime. This is also reflected in all bindings.
2017-09-06in Haskell GADT generation, hide Tree in the import of PGFAarne Ranta
2017-09-05added function printName in the Haskell bindingKrasimir Angelov
2017-09-05added languageCode in the Haskell bindingKrasimir Angelov
2017-09-05update documentation for command ptKrasimir Angelov
2017-09-05GF.Command.TreeOperations is now independent from the runtime's internalsKrasimir Angelov
2017-09-05added exprSize and exprFunctions in the Haskell runtime too and use them in ↵Krasimir Angelov
TreeOperations
2017-09-05fix the type signature for exprSizeKrasimir Angelov
2017-09-05added exprFunctions in the Haskell bindingKrasimir Angelov
2017-09-05added exprSize in the Haskell bindingKrasimir Angelov
2017-09-05added exprHash in the Haskell bindingKrasimir Angelov
2017-09-04Add a Travis configuration for autotesting commitsMikael Brockman
The configuration uses Nix to install dependencies. I first tried using just Cabal, but compiling all the dependencies takes too long for the free tier of Travis. Nix doesn't compile Hackage dependencies because it has a "binary cache" with compiled versions of almost all Hackage packages. I do not run the GF test suite, because it seems to be in a failing state. This can be enabled later. All of this will only be enabled once the Travis service is set up by someone in the GF team with the permissions to do so. Build results will then be automatically visible on all new commits and pull requests.
2017-09-04forgot to commit PGF2.FFIKrasimir Angelov
2017-09-04Merge branch 'master' of https://github.com/GrammaticalFramework/GFKrasimir Angelov
2017-09-04instance Eq Expr in the Haskell bindingKrasimir Angelov
2017-09-04pt -paraphrase was never properly implemented and is now removedKrasimir Angelov
2017-09-04Merge branch 'master' of https://github.com/GrammaticalFramework/GFKrasimir Angelov
2017-09-04eliminate modules PGF.Lexing, PGF.LexingAGreek. Make PGF.Utilities an ↵Krasimir Angelov
internal module in the runtime. These are not really part of the core runtime.
2017-09-04added a separate cabal file for the Haskell runtimeKrasimir Angelov
2017-09-04move the custom Binary package back to src/runtime/haskellKrasimir Angelov
2017-09-01silence Tab warnings in the Haskell runtimeKrasimir Angelov
2017-09-01rename the pgf2-bind package to pgf2Krasimir Angelov
2017-09-01Merge https://github.com/GrammaticalFramework/GFThomas Hallgren
2017-09-01added command "rt" in the C shellKrasimir Angelov
2017-09-01the C shell now type checks expressions before they are usedKrasimir Angelov
2017-09-01bugfix in showType from the C runtimeKrasimir Angelov
2017-09-01complete details for the "ai" command in the C shellKrasimir Angelov
2017-09-01added aligner.c to Android.mkAarne Ranta
2017-09-01fix the Android makefile after the addition of word alignment APIKrasimir Angelov
2017-09-01added function treeProbability in the Haskell bindingKrasimir Angelov
2017-09-01giza alignment in the C shellKrasimir Angelov
2017-09-01update documentation for HaskellKrasimir Angelov
2017-08-31graphvizWordAlignment in the C runtimeKrasimir Angelov
2017-08-31the C runtime now supports the same customizations for GraphViz as the ↵Krasimir Angelov
Haskell runtime
2017-08-31remove move dead code in the C shellKrasimir Angelov
2017-08-30some dead code eliminationKrasimir Angelov
2017-08-30an almost complete ai command in the C shellKrasimir Angelov
2017-08-30implement rf in the C shellKrasimir Angelov
2017-08-30pg in the C shell now supports most output formatsKrasimir Angelov
2017-08-30bugfix for hasLinearization in the Haskell bindingKrasimir Angelov
2017-08-30remove some dead code in the C shellKrasimir Angelov
2017-08-30in the C shell rename the ga command to gt to be consistent with the ↵Krasimir Angelov
standard shell
2017-08-30"lc" was a temporary hack and is now removed from the C shellKrasimir Angelov
generated by cgit v1.2.3 (git 2.39.1) at 2026-07-31 19:47:24 +0000