hallgren
8a81641b00
doc/gf-developers.t2t: add some notes on how to create .deb and .rpm packages
2013-08-08 12:51:24 +00:00
hallgren
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
aarne
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.
2013-08-07 09:52:40 +00:00
hallgren
824fbee593
Update to version 3.5 in gf.cabal and debian/changelog
2013-08-06 15:42:57 +00:00
hallgren
4dd9a42f4a
Move GF 3.5 download page into place. Update home page.
2013-08-06 15:32:20 +00:00
hallgren
2b3854b635
Finalize GF 3.4 download page and release notes
2013-08-06 15:28:53 +00:00
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
