adb4109a26
RGL Browser: now includes Syntax Editor tab!
2013-07-25 07:36:34 +00:00
e5a2cc40c0
hs datatype generation for empty abstract types added
2013-07-24 08:11:16 +00:00
52e2298240
bugfix for parsing floating point numbers in the C runtime
2013-07-18 14:29:58 +00:00
656f934945
gf-server.cabal: same changes as in gf.cabal for ghc-7.6 compatibility
2013-07-15 17:07:51 +00:00
51da6e1b2a
the hash function for pgf.Expr is now really added
2013-07-05 05:35:22 +00:00
4f7369f714
the parser in the C runtime now checks for duplicated results
2013-07-03 12:30:30 +00:00
96ea257fa3
complete pgf_expr_eq in the C runtime
2013-07-02 20:12:57 +00:00
6971642cc7
hash function for abstract syntax trees
2013-07-02 19:12:53 +00:00
1b41792237
C runtime: fix the debug modes in the parser and in the reasoner after the changes in the printer
2013-06-27 11:00:26 +00:00
5dc59f815c
typos in the documentation for the Python binding
2013-06-27 10:11:49 +00:00
0d68a20d94
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
2013-06-27 09:39:15 +00:00
6ff0b90a33
dummy compute function in the Python binding
2013-06-26 10:36:42 +00:00
03690ccc4b
we no longer maintain an explicit list of functions per category since now it is implicitly kept in the JIT compiled code
2013-06-26 09:35:50 +00:00
b47dfd9dbb
forgot to add reasoner.h
2013-06-26 09:09:54 +00:00
67872578c9
forgot to add jit.h
2013-06-26 09:08:47 +00:00
c873531172
an optimization in the jitter for generating more compact code
2013-06-26 09:03:51 +00:00
dba75911b0
patch for adjustable heuristics from Python
2013-06-26 07:36:03 +00:00
966d3aee3f
compatibility issue for MacOS X
2013-06-26 07:03:32 +00:00
38b3dfcad6
fix for x86_64
2013-06-26 06:43:33 +00:00
16584d4368
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.
2013-06-25 19:22:42 +00:00
10eb9dedb6
bugfix for the linearizer in the C runtime
2013-06-24 07:56:42 +00:00
aacc15b58f
bugfix for the word completion in the C runtime
2013-06-22 15:39:47 +00:00
72cd14a5ae
add x86_64 support to GNU lightning
2013-06-20 08:27:04 +00:00
e720d47700
fíx in the Python binding for compatibility with Python<2.7
2013-06-19 19:31:55 +00:00
eece31c1ab
fix an issue in the Python binding related to the 32 vs 64 bit compatibility
2013-06-19 18:47:52 +00:00
ffa6cbd03c
fix for a couple of warnings that are generated when GNU lightning is used
2013-06-17 07:32:41 +00:00
6c4f52faeb
add the source code for GNU lightning in the source directory for the C runtime
2013-06-17 07:26:00 +00:00
9caa9cd44e
Improvements In Sindhi RG
2013-06-15 20:02:00 +00:00
c3b344084f
bugfix in the python binding
2013-06-14 07:02:53 +00:00
550db69caa
Fix UTF-8 decoding problem in gf -server
...
The package network-2.4.1.1 thoughlessly introduced a backward incompatible
change to the function Network.URI.unEscapeString, see
https://github.com/haskell/network/commit/f2168b1f8978b4ad9c504e545755f0795ac869ce
This also affects the function Network.Shed.Httpd.queryToArguments, which is
used in GFServer.hs.
To remain compatible with older and newer versions of the network package,
we need to stay clear of queryToArguments and unEscapeString. A replacement
function has been added to server/URLEncoding.hs.
2013-06-13 08:23:48 +00:00
0937c4b34f
Syntax editor: minor CSS tweak to resemble Minibar more
2013-06-13 07:34:16 +00:00
8b46a3bbae
Syntax editor: AST string always shown, remove export button
2013-06-13 07:26:10 +00:00
860b25fff3
Update the usage text for the --output-format option
...
It needs to be updated manually when the list of available output format
changes.
2013-06-10 12:00:14 +00:00
4e2337f009
GF.Text.Transliterations: avoid error prone function Data.Map.fromAscList
2013-06-02 10:10:46 +00:00
000aa35de9
Prasad's sanskrit transliteration ; MiniresourceSan now compiles but is mostly incorrect due to missing paradigms
2013-05-31 16:25:42 +00:00
1b791158af
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
2013-05-31 09:24:15 +00:00
3566143f37
improved error message in the Python binding
2013-05-31 09:13:16 +00:00
935ae49376
bugfix for the grammar printer in the C runtime
2013-05-30 20:20:02 +00:00
d66dfe13c2
a simple refactoring in the Python runtime
2013-05-29 11:02:18 +00:00
fac39a78fe
readPGF in the Python runtime now throws "No such file or directory" exception if the grammar is missing
2013-05-29 10:49:56 +00:00
e969aa69ff
added a test class for the Java API plus a small refinement in the implementation for the binding
2013-05-28 13:32:32 +00:00
bd859fcf28
an initial skeleton for building a Java binding to the C runtime
2013-05-28 12:59:19 +00:00
78aab96369
fix the encoding problem with unicode literals in the Python binding
2013-05-21 10:53:20 +00:00
f9f0fdcdf8
bugfix for bracketedLinearize which was causing crash if the tree cannot be linearized
2013-05-07 08:35:33 +00:00
2eb37f6407
bug fix in the management of memory pools in the statistical parser
2013-05-07 08:30:32 +00:00
561e478ed4
the statistical parser is now using two memory pools: one for parsing and one for the output trees. This means that the memory for parsing can be released as soon as the needed abstract trees are retrieved, while the trees themselves are retained in the separate output pool
2013-05-06 15:28:04 +00:00
307e0854ed
fix the leftcorner filtering after the addition of word completion
2013-05-05 10:30:06 +00:00
be8d72d64c
bugfix in the C runtime which was causing an infinite loop while linearizing partial trees
2013-05-04 13:32:57 +00:00
cf5c6b18d9
[haskell runtime] Remove trailing whitespaces in VisualizeTree.hs
2013-05-03 09:42:29 +00:00
9cdd96363a
word completion in the C runtime. The runtime/python/test.py example is now using readline with word completion
2013-05-01 06:09:55 +00:00
john.j.camilleri