hallgren
ecfcaa5395
Adding download page and release notes for the next release of GF
...
The suggested next release is 3.4.8 in early August.
Feel free to add things in download/release-3.4.8.t2t.
2013-07-29 13:26:22 +00:00
hallgren
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
aarne
03db087e38
pointer to RGL publications as main index news item
2013-07-26 08:45:53 +00:00
hallgren
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
aarne
0087456c7a
updated the number of PhD thesis and publications in index.html; started an RGL publications page
2013-07-25 15:24:22 +00:00
john.j.camilleri
99cfb34639
RGL Browser: now includes Syntax Editor tab!
2013-07-25 07:36:34 +00:00
aarne
850e02cb6e
hs datatype generation for empty abstract types added
2013-07-24 08:11:16 +00:00
gregoire.detrez
5a6f4c3d52
Script to compute predictability of smart paradigms
2013-07-20 20:24:24 +00:00
kr.angelov
666def3789
bugfix for parsing floating point numbers in the C runtime
2013-07-18 14:29:58 +00:00
hallgren
fe79e8cd25
gf-server.cabal: same changes as in gf.cabal for ghc-7.6 compatibility
2013-07-15 17:07:51 +00:00
kr.angelov
d7e42f00c5
the hash function for pgf.Expr is now really added
2013-07-05 05:35:22 +00:00
kr.angelov
8f2032a07d
the parser in the C runtime now checks for duplicated results
2013-07-03 12:30:30 +00:00
kr.angelov
f0c703d42f
complete pgf_expr_eq in the C runtime
2013-07-02 20:12:57 +00:00
kr.angelov
2948231e0f
hash function for abstract syntax trees
2013-07-02 19:12:53 +00:00
kr.angelov
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
kr.angelov
478b46be87
typos in the documentation for the Python binding
2013-06-27 10:11:49 +00:00
kr.angelov
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
kr.angelov
f4f76e4638
dummy compute function in the Python binding
2013-06-26 10:36:42 +00:00
kr.angelov
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
kr.angelov
fcd2a2b12a
forgot to add reasoner.h
2013-06-26 09:09:54 +00:00
kr.angelov
cf0bc127af
forgot to add jit.h
2013-06-26 09:08:47 +00:00
kr.angelov
a2af8e216f
an optimization in the jitter for generating more compact code
2013-06-26 09:03:51 +00:00
kr.angelov
3c2d1890d0
patch for adjustable heuristics from Python
2013-06-26 07:36:03 +00:00
kr.angelov
d94b6146f2
compatibility issue for MacOS X
2013-06-26 07:03:32 +00:00
kr.angelov
3a22258109
fix for x86_64
2013-06-26 06:43:33 +00:00
john.j.camilleri
ebc4d2173b
GF homepage: Add section for "getting help" (mentioning IRC channel)
...
and remove "fragments" from Maltese
2013-06-26 06:28:54 +00:00
kr.angelov
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.
2013-06-25 19:22:42 +00:00
kr.angelov
09a42bbab0
bugfix for the linearizer in the C runtime
2013-06-24 07:56:42 +00:00
john.j.camilleri
526bfff57d
Add news about Maltese RG, IRC channel to homepage
2013-06-24 07:49:30 +00:00
kr.angelov
9058ccb3eb
bugfix for the word completion in the C runtime
2013-06-22 15:39:47 +00:00
kr.angelov
fa7ac00838
add x86_64 support to GNU lightning
2013-06-20 08:27:04 +00:00
kr.angelov
f8073ea1cd
fíx in the Python binding for compatibility with Python<2.7
2013-06-19 19:31:55 +00:00
kr.angelov
0ad4c9bf65
fix an issue in the Python binding related to the 32 vs 64 bit compatibility
2013-06-19 18:47:52 +00:00
kr.angelov
e65bbb0713
fix for a couple of warnings that are generated when GNU lightning is used
2013-06-17 07:32:41 +00:00
kr.angelov
407f680bae
add the source code for GNU lightning in the source directory for the C runtime
2013-06-17 07:26:00 +00:00
virk.shafqat
8abd16bace
added Sindhi Phrasebook
2013-06-15 20:12:48 +00:00
virk.shafqat
d1d5543c26
Improvements In Sindhi RG
2013-06-15 20:02:00 +00:00
kr.angelov
b0b4f57775
bugfix in the python binding
2013-06-14 07:02:53 +00:00
hallgren
bdfd663e91
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
f2168b1f89
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
john.j.camilleri
51ece66688
Syntax editor: minor CSS tweak to resemble Minibar more
2013-06-13 07:34:16 +00:00
john.j.camilleri
c505747492
Syntax editor: AST string always shown, remove export button
2013-06-13 07:26:10 +00:00
john
3bf505d375
Update Maltese Foods grammar
...
In preparation for presentation at Maltese Linguistics conference next week.
2013-06-11 09:05:13 +00:00
john
dafc992b7e
Maltese RG: first proper release
...
Of course some bugs remain and more testing is needed,
but all functions are complete and Maltese now builds as part
of the normal GF install.
2013-06-10 21:37:10 +00:00
hallgren
d010dfdcfa
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
hallgren
5b36461c1d
GF.Text.Transliterations: avoid error prone function Data.Map.fromAscList
2013-06-02 10:10:46 +00:00
aarne
f33059ae39
Prasad's sanskrit transliteration ; MiniresourceSan now compiles but is mostly incorrect due to missing paradigms
2013-05-31 16:25:42 +00:00
kr.angelov
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
2013-05-31 09:24:15 +00:00
kr.angelov
1ce5fa3663
improved error message in the Python binding
2013-05-31 09:13:16 +00:00
aarne
0ede1365dc
started MiniresourceSan ; doesn't compile yet
2013-05-31 08:00:09 +00:00
kr.angelov
aa644169c2
bugfix for the grammar printer in the C runtime
2013-05-30 20:20:02 +00:00