Commit Graph

Select branches

Hide Pull Requests

build-python-win

build-timestamp

c-runtime

canonical

compact-pgf

concrete-new

gf-lsp-expose-all

js-bindings

lpgf

lpgf-memo

lpgf-string

majestic

majestic-ci

majestic-macos

master

pgf2-complete

remove-example-based

sense-disambiguation

tp_nix_flake

try-to-build-python-module-for-win

wasm

3.11

GF-3.10

RELEASE-3.8

RELEASE-3.9

introduced-parser-test

release-3.12

release3.12-rc-1

release3.12-rc-2

release3.12-rc-3

v3.11-test-release-8

v3.11-test-release-9

Mono Color

• 9efb9ce2fb gfse: don't use multiline text boxes everywhere, just for concrete syntax hallgren 2013-08-21 14:19:05 +00:00
• 8f58dcdf63 change the locale in the test script for the Python binding kr.angelov 2013-08-21 13:17:39 +00:00
• fa32a6290e fix in the C parser kr.angelov 2013-08-21 13:09:21 +00:00
• 9f1a2e5b67 added Facebook grammar from SummerSchool tutorial on best practices for grammar writing ramona.enache 2013-08-21 13:05:22 +00:00
• 1f4b55735e fix a crash in the python binding kr.angelov 2013-08-21 12:47:40 +00:00
• 08766585e6 gf -server: fix for directory URLs without a trailing slash hallgren 2013-08-20 15:38:26 +00:00
• cbe2cb9908 new Foods for Chi, Gla, Ori aarne 2013-08-20 13:27:16 +00:00
• 4e7be49927 download page: link to Inari's notes on installing GF on windows hallgren 2013-08-20 08:09:58 +00:00
• d1368c3519 word completion in the C runtime now returns multi-word expressions and the category for every expression kr.angelov 2013-08-19 15:34:19 +00:00
• 2aa14bfef8 gfse: only try to upload/compile grammars when browser is online hallgren 2013-08-19 15:00:55 +00:00
• 029f1d40e5 gfse: always open a resizable text box when editing concrete syntax hallgren 2013-08-19 14:19:18 +00:00
• e9eeefa6f0 fullFormLexicon in C and Python kr.angelov 2013-08-19 12:16:30 +00:00
• 308e1445ca added GuEnum interface for iterating over maps in the C runtime kr.angelov 2013-08-19 12:13:47 +00:00
• 87e34b11dc implemented lookupMorpho for C and Python kr.angelov 2013-08-16 15:02:24 +00:00
• 662a35bbb3 provide API to access the language code for the concrete language kr.angelov 2013-08-16 12:54:16 +00:00
• 1e44fdb3d3 fixes in the C and Python API to make them closer to the Haskell API kr.angelov 2013-08-16 12:44:37 +00:00
• fc7e77bf50 added graphvizParseTree in the C and Python runtimes kr.angelov 2013-08-15 15:10:28 +00:00
• 5337b4bef7 graphvizAbstractTree in the C and Python runtimes kr.angelov 2013-08-15 08:06:37 +00:00
• bce1dff728 Syntax editor: minor CSS fix john.j.camilleri 2013-08-13 09:30:13 +00:00
• 892596d7d6 Correct #chaptwo to #chapfour URLs in tutorial john.j.camilleri 2013-08-12 06:55:08 +00:00
• 8a81641b00 doc/gf-developers.t2t: add some notes on how to create .deb and .rpm packages hallgren 2013-08-08 12:51:24 +00:00
• fad63a14be Better error messages for attempts to redefine predefined constants hallgren 2013-08-07 19:36:09 +00:00
• a05856ec93 finished the refactoring of Fin with unstemmed (for library use) and stemmed (for large-scale parsing use). All differences are located in the file StemFin. aarne 2013-08-07 09:52:40 +00:00
• 824fbee593 Update to version 3.5 in gf.cabal and debian/changelog hallgren 2013-08-06 15:42:57 +00:00
• 4dd9a42f4a Move GF 3.5 download page into place. Update home page. hallgren 2013-08-06 15:32:20 +00:00
• 2b3854b635 Finalize GF 3.4 download page and release notes hallgren 2013-08-06 15:28:53 +00:00
• 5fd0dbfd7c Add more info about RGL browser to release notes 3.5 john.j.camilleri 2013-08-06 13:32:13 +00:00
• f0cded5f53 Next release will be GF 3.5, release notes moved to download/release-3.5.t2t. hallgren 2013-08-05 12:38:38 +00:00
• 3be7ab3f49 Update shell reference manual hallgren 2013-08-05 11:47:17 +00:00
• 8dc7d6c094 added untested port of GNU lightning to ARM kr.angelov 2013-08-01 12:07:06 +00:00
• bf04d9fce7 a bit more on the Java to C binding. Now it is possible to load a grammar and query for the list of languages kr.angelov 2013-08-01 10:48:19 +00:00
• 102994144b add two more bullets about the Python and the Java bindings kr.angelov 2013-07-30 11:54:20 +00:00
• 80dbbb88b8 added release notes for the C runtime kr.angelov 2013-07-30 11:51:49 +00:00
• 383d829d5a the first approximation for a statistical model consistent with dependent types in the abstract syntax kr.angelov 2013-07-30 07:29:11 +00:00
• 27da46a79d Cloud & PGF service: use Content-Type application/json for JSON output hallgren 2013-07-29 16:05:54 +00:00
• ecfcaa5395 Adding download page and release notes for the next release of GF hallgren 2013-07-29 13:26:22 +00:00
• 3b334b5707 minibar: more robust test for availability localStorage hallgren 2013-07-29 11:58:17 +00:00
• 03db087e38 pointer to RGL publications as main index news item aarne 2013-07-26 08:45:53 +00:00
• e07a74df01 Allow cross origin requests to GF cloud & PGF services hallgren 2013-07-25 16:04:43 +00:00
• 0087456c7a updated the number of PhD thesis and publications in index.html; started an RGL publications page aarne 2013-07-25 15:24:22 +00:00
• 99cfb34639 RGL Browser: now includes Syntax Editor tab! john.j.camilleri 2013-07-25 07:36:34 +00:00
• 850e02cb6e hs datatype generation for empty abstract types added aarne 2013-07-24 08:11:16 +00:00
• 5a6f4c3d52 Script to compute predictability of smart paradigms gregoire.detrez 2013-07-20 20:24:24 +00:00
• 666def3789 bugfix for parsing floating point numbers in the C runtime kr.angelov 2013-07-18 14:29:58 +00:00
• fe79e8cd25 gf-server.cabal: same changes as in gf.cabal for ghc-7.6 compatibility hallgren 2013-07-15 17:07:51 +00:00
• d7e42f00c5 the hash function for pgf.Expr is now really added kr.angelov 2013-07-05 05:35:22 +00:00
• 8f2032a07d the parser in the C runtime now checks for duplicated results kr.angelov 2013-07-03 12:30:30 +00:00
• f0c703d42f complete pgf_expr_eq in the C runtime kr.angelov 2013-07-02 20:12:57 +00:00
• 2948231e0f hash function for abstract syntax trees kr.angelov 2013-07-02 19:12:53 +00:00
• c0a0859566 C runtime: fix the debug modes in the parser and in the reasoner after the changes in the printer kr.angelov 2013-06-27 11:00:26 +00:00
• 478b46be87 typos in the documentation for the Python binding kr.angelov 2013-06-27 10:11:49 +00:00
• 155afdf9b7 a complete Python API for reading, printing and manipulation of abstract trees and types. This includes dependent types, high-order abstract syntax and implicit arguments kr.angelov 2013-06-27 09:39:15 +00:00
• f4f76e4638 dummy compute function in the Python binding kr.angelov 2013-06-26 10:36:42 +00:00
• d1410aba22 we no longer maintain an explicit list of functions per category since now it is implicitly kept in the JIT compiled code kr.angelov 2013-06-26 09:35:50 +00:00
• fcd2a2b12a forgot to add reasoner.h kr.angelov 2013-06-26 09:09:54 +00:00
• cf0bc127af forgot to add jit.h kr.angelov 2013-06-26 09:08:47 +00:00
• a2af8e216f an optimization in the jitter for generating more compact code kr.angelov 2013-06-26 09:03:51 +00:00
• 3c2d1890d0 patch for adjustable heuristics from Python kr.angelov 2013-06-26 07:36:03 +00:00
• d94b6146f2 compatibility issue for MacOS X kr.angelov 2013-06-26 07:03:32 +00:00
• 3a22258109 fix for x86_64 kr.angelov 2013-06-26 06:43:33 +00:00
• ebc4d2173b GF homepage: Add section for "getting help" (mentioning IRC channel) john.j.camilleri 2013-06-26 06:28:54 +00:00
• d553cb165a Now there is a just-in-time compiler which generates native code for proof search. This is already used by the exhaustive generator. The time to generate 10000 abstract trees with ParseEng went down from 4.43 sec to 0.29 sec. kr.angelov 2013-06-25 19:22:42 +00:00
• 09a42bbab0 bugfix for the linearizer in the C runtime kr.angelov 2013-06-24 07:56:42 +00:00
• 526bfff57d Add news about Maltese RG, IRC channel to homepage john.j.camilleri 2013-06-24 07:49:30 +00:00
• 9058ccb3eb bugfix for the word completion in the C runtime kr.angelov 2013-06-22 15:39:47 +00:00
• fa7ac00838 add x86_64 support to GNU lightning kr.angelov 2013-06-20 08:27:04 +00:00
• f8073ea1cd fíx in the Python binding for compatibility with Python<2.7 kr.angelov 2013-06-19 19:31:55 +00:00
• 0ad4c9bf65 fix an issue in the Python binding related to the 32 vs 64 bit compatibility kr.angelov 2013-06-19 18:47:52 +00:00
• e65bbb0713 fix for a couple of warnings that are generated when GNU lightning is used kr.angelov 2013-06-17 07:32:41 +00:00
• 407f680bae add the source code for GNU lightning in the source directory for the C runtime kr.angelov 2013-06-17 07:26:00 +00:00
• 8abd16bace added Sindhi Phrasebook virk.shafqat 2013-06-15 20:12:48 +00:00
• d1d5543c26 Improvements In Sindhi RG virk.shafqat 2013-06-15 20:02:00 +00:00
• b0b4f57775 bugfix in the python binding kr.angelov 2013-06-14 07:02:53 +00:00
• bdfd663e91 Fix UTF-8 decoding problem in gf -server hallgren 2013-06-13 08:23:48 +00:00
• 51ece66688 Syntax editor: minor CSS tweak to resemble Minibar more john.j.camilleri 2013-06-13 07:34:16 +00:00
• c505747492 Syntax editor: AST string always shown, remove export button john.j.camilleri 2013-06-13 07:26:10 +00:00
• 3bf505d375 Update Maltese Foods grammar john 2013-06-11 09:05:13 +00:00
• dafc992b7e Maltese RG: first proper release john 2013-06-10 21:37:10 +00:00
• d010dfdcfa Update the usage text for the --output-format option hallgren 2013-06-10 12:00:14 +00:00
• 5b36461c1d GF.Text.Transliterations: avoid error prone function Data.Map.fromAscList hallgren 2013-06-02 10:10:46 +00:00
• f33059ae39 Prasad's sanskrit transliteration ; MiniresourceSan now compiles but is mostly incorrect due to missing paradigms aarne 2013-05-31 16:25:42 +00:00
• 54a0642bee now the call Expr.unpack("? e1 e2") in Python returns a pair with None as the first element and a the list [e1,e2] as the second. This makes it easier to decompose partial abstract trees kr.angelov 2013-05-31 09:24:15 +00:00
• 1ce5fa3663 improved error message in the Python binding kr.angelov 2013-05-31 09:13:16 +00:00
• 0ede1365dc started MiniresourceSan ; doesn't compile yet aarne 2013-05-31 08:00:09 +00:00
• aa644169c2 bugfix for the grammar printer in the C runtime kr.angelov 2013-05-30 20:20:02 +00:00
• 72fd7e821f new-comp: delay eta expansion until just before partial evaluation hallgren 2013-05-30 16:01:12 +00:00
• 1846e6bf65 Nonlinear patterns in concrete syntax are now detected and reported as errors hallgren 2013-09-09 19:52:08 +00:00
• f1386b3400 partial evaluator: prettier complaint about nonlinears patterns hallgren 2013-09-09 16:23:01 +00:00
• 8479d06f4b partial evaluator: complain about nonlinear patterns hallgren 2013-09-09 15:53:14 +00:00
• 7afdc2e139 Fix an old name shadowing bug in concrete syntax by removing the refresh pass hallgren 2013-09-09 14:29:57 +00:00
• 4e328d1f33 added exhaustive generation in the Java binding kr.angelov 2013-09-06 07:21:38 +00:00
• fec8720f31 remove the string internalization since it slows down grammar loading with little benefit kr.angelov 2013-09-05 13:34:49 +00:00
• 8e2de541b6 move src/runtime/android to src/ui/android/jni kr.angelov 2013-09-05 12:19:59 +00:00
• 6d0c8eaa34 Fix an old bug that prevented pattern matching agains values containg tables hallgren 2013-09-05 15:20:41 +00:00
• 0bfe6a23f4 Fix the bug that prevents latin grammar and so the complete RGL from compiling Herbert Lange 2013-09-05 12:52:32 +00:00
• 993522eb5a added version readPGF in Java which takes as argument InputStream. This makes it easier to load grammars from the assets folder in Android kr.angelov 2013-09-05 12:12:01 +00:00
• f8c8194303 fix gu_in_bytes_ to use buffering kr.angelov 2013-09-05 12:10:55 +00:00
• 83ca6c4f9f remove the read and write modules from libgu. this simplifies the i/o layer kr.angelov 2013-09-05 11:20:39 +00:00
• d0f527d0dd remove dump and yaml from libgu kr.angelov 2013-09-05 10:01:47 +00:00
• bb36597050 bugfix for gu_buffered_in kr.angelov 2013-09-05 09:50:57 +00:00