GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-10 13:29:32 -06:00
Code Issues Packages Projects Releases Wiki Activity
5,219 Commits 21 Branches 11 Tags
5fd0dbfd7cdb257cd919554347cf9c445eb6bc56
Commit Graph

5219 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
john.j.camilleri
5fd0dbfd7c Add more info about RGL browser to release notes 3.5 2013-08-06 13:32:13 +00:00
hallgren
f0cded5f53 Next release will be GF 3.5, release notes moved to download/release-3.5.t2t. 
Some more work on the 3.5 release notes and download page.
 2013-08-05 12:38:38 +00:00
hallgren
3be7ab3f49 Update shell reference manual 2013-08-05 11:47:17 +00:00
kr.angelov
8dc7d6c094 added untested port of GNU lightning to ARM 2013-08-01 12:07:06 +00:00
kr.angelov
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
kr.angelov
102994144b add two more bullets about the Python and the Java bindings 2013-07-30 11:54:20 +00:00
kr.angelov
80dbbb88b8 added release notes for the C runtime 2013-07-30 11:51:49 +00:00
kr.angelov
383d829d5a the first approximation for a statistical model consistent with dependent types in the abstract syntax 2013-07-30 07:29:11 +00:00
hallgren
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
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