1c7a64acee
make the Expr constructor private
2013-08-28 07:09:31 +00:00
5a24be9735
fixes in the Java binding
2013-08-28 00:04:50 +00:00
e3bd66cc78
added PGF.getStartCat()
2013-08-27 23:02:00 +00:00
3494107994
added method for best first parsing in the Java binding
2013-08-27 22:54:10 +00:00
e3c5882721
bugfix in the java binding
2013-08-27 22:53:38 +00:00
e274cce213
linearization in the Java binding
2013-08-27 22:39:26 +00:00
e1df8e713c
small refactoring in the Java binding
2013-08-27 22:37:31 +00:00
d3631d918d
parsing from the Java binding
2013-08-27 21:53:13 +00:00
d4289a6654
comparison for strings in libgu
2013-08-27 08:07:18 +00:00
297587fa38
quicksort and binary search for buffers in libgu
2013-08-27 08:06:34 +00:00
a20cd77d25
nonExist now does the expected thing
2013-08-23 13:17:45 +00:00
7c98267193
Add INSTALL file for python bindings. Add note about libtool to INSTALL of c runtime
2013-08-23 13:06:58 +00:00
9efb9ce2fb
gfse: don't use multiline text boxes everywhere, just for concrete syntax
2013-08-21 14:19:05 +00:00
8f58dcdf63
change the locale in the test script for the Python binding
2013-08-21 13:17:39 +00:00
fa32a6290e
fix in the C parser
2013-08-21 13:09:21 +00:00
1f4b55735e
fix a crash in the python binding
2013-08-21 12:47:40 +00:00
08766585e6
gf -server: fix for directory URLs without a trailing slash
...
When a browser requests a URL that refers to a directory, web server usually
redirect the browser to the same URL with a trailing '/' added, if one was not
already present. This is to prevent relative links in the returned document
from being interpreted relative to the parent directory instead of the current
document. This type of redirection was missing in gf -server.
2013-08-20 15:38:26 +00:00
d1368c3519
word completion in the C runtime now returns multi-word expressions and the category for every expression
2013-08-19 15:34:19 +00:00
2aa14bfef8
gfse: only try to upload/compile grammars when browser is online
...
Show error message "Offline" if browser is offline.
2013-08-19 15:00:55 +00:00
029f1d40e5
gfse: always open a resizable text box when editing concrete syntax
...
(Also fixed a broken link in gf-web-api-examples.html)
2013-08-19 14:19:18 +00:00
e9eeefa6f0
fullFormLexicon in C and Python
2013-08-19 12:16:30 +00:00
308e1445ca
added GuEnum interface for iterating over maps in the C runtime
2013-08-19 12:13:47 +00:00
87e34b11dc
implemented lookupMorpho for C and Python
2013-08-16 15:02:24 +00:00
662a35bbb3
provide API to access the language code for the concrete language
2013-08-16 12:54:16 +00:00
1e44fdb3d3
fixes in the C and Python API to make them closer to the Haskell API
2013-08-16 12:44:37 +00:00
fc7e77bf50
added graphvizParseTree in the C and Python runtimes
2013-08-15 15:10:28 +00:00
5337b4bef7
graphvizAbstractTree in the C and Python runtimes
2013-08-15 08:06:37 +00:00
bce1dff728
Syntax editor: minor CSS fix
2013-08-13 09:30:13 +00:00
fad63a14be
Better error messages for attempts to redefine predefined constants
...
Instead of just "syntax error", you now get e.g.
PType is a predefined constant, it can not be redefined
This is a simple change in the parser.
2013-08-07 19:36:09 +00:00
8dc7d6c094
added untested port of GNU lightning to ARM
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
2013-08-01 10:48:19 +00:00
383d829d5a
the first approximation for a statistical model consistent with dependent types in the abstract syntax
2013-07-30 07:29:11 +00:00
27da46a79d
Cloud & PGF service: use Content-Type application/json for JSON output
...
This is in accordance with RFC 4627. http://tools.ietf.org/html/rfc4627
Use application/javascript for JSONP output.
2013-07-29 16:05:54 +00:00
3b334b5707
minibar: more robust test for availability localStorage
...
Minibar should now work if localStorage is disabled or unavailable.
(In Firefox, disabling cookies also disables localStorage.)
2013-07-29 11:58:17 +00:00
e07a74df01
Allow cross origin requests to GF cloud & PGF services
...
By adding a header
Access-Control-Allow-Origin: *
to the HTTP responses, web browsers are informed that it is OK to call the
services from web pages hosted on other sites.
This is apparently supported in most modern browsers, so it should no longer
be necessary to resort to JSONP.
See https://developer.mozilla.org/en-US/docs/HTTP/Access_control_CORS
2013-07-25 16:04:43 +00:00
99cfb34639
RGL Browser: now includes Syntax Editor tab!
2013-07-25 07:36:34 +00:00
850e02cb6e
hs datatype generation for empty abstract types added
2013-07-24 08:11:16 +00:00
666def3789
bugfix for parsing floating point numbers in the C runtime
2013-07-18 14:29:58 +00:00
fe79e8cd25
gf-server.cabal: same changes as in gf.cabal for ghc-7.6 compatibility
2013-07-15 17:07:51 +00:00
d7e42f00c5
the hash function for pgf.Expr is now really added
2013-07-05 05:35:22 +00:00
8f2032a07d
the parser in the C runtime now checks for duplicated results
2013-07-03 12:30:30 +00:00
f0c703d42f
complete pgf_expr_eq in the C runtime
2013-07-02 20:12:57 +00:00
2948231e0f
hash function for abstract syntax trees
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
2013-06-27 11:00:26 +00:00
478b46be87
typos in the documentation for the Python binding
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
2013-06-27 09:39:15 +00:00
f4f76e4638
dummy compute function in the Python binding
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
2013-06-26 09:35:50 +00:00
fcd2a2b12a
forgot to add reasoner.h
2013-06-26 09:09:54 +00:00
cf0bc127af
forgot to add jit.h
2013-06-26 09:08:47 +00:00
kr.angelov