hallgren
c836e04764
Update to version 3.5 in gf.cabal and debian/changelog
2013-08-06 15:42:57 +00:00
hallgren
db9e12340d
Move GF 3.5 download page into place. Update home page.
2013-08-06 15:32:20 +00:00
hallgren
fabf992813
Finalize GF 3.4 download page and release notes
2013-08-06 15:28:53 +00:00
john.j.camilleri
d30c9c72c9
Add more info about RGL browser to release notes 3.5
2013-08-06 13:32:13 +00:00
hallgren
ff33f66fba
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
5c4dbe743e
Update shell reference manual
2013-08-05 11:47:17 +00:00
aarne
ea65882c53
toUpperFirst and toLowerFirst in Prelude
2013-08-01 15:42:37 +00:00
kr.angelov
f1d407de09
added untested port of GNU lightning to ARM
2013-08-01 12:07:06 +00:00
kr.angelov
216f4b1c40
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
f6a152a617
add two more bullets about the Python and the Java bindings
2013-07-30 11:54:20 +00:00
kr.angelov
891c15f8c0
added release notes for the C runtime
2013-07-30 11:51:49 +00:00
kr.angelov
ef497531f8
the first approximation for a statistical model consistent with dependent types in the abstract syntax
2013-07-30 07:29:11 +00:00
hallgren
fb61fc4562
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
john.j.camilleri
a675b50423
Update Maltese entry in the RGL publications page
...
Somehow a <li> got in there. And added initial in my name.
2013-07-29 15:13:32 +00:00
hallgren
ee81cd5c02
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
f4519dda8c
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
705991e9eb
updated rgl status with tested and publication attributes
2013-07-26 12:53:17 +00:00
aarne
41acc7a6fd
pointer to RGL publications as main index news item
2013-07-26 08:45:53 +00:00
aarne
8abce11b1b
RGL documentation page now linked from Synopsis
2013-07-26 08:40:33 +00:00
john.j.camilleri
d0f7df60d3
lib/src/api/libraryBrowser/MkLang.hs - allow multiple arguments
2013-07-26 07:41:20 +00:00
hallgren
eb2b5a65d6
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
b18a531dbc
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
adb4109a26
RGL Browser: now includes Syntax Editor tab!
2013-07-25 07:36:34 +00:00
john.j.camilleri
206f8db3e8
RGL Browser: mostly cosmetic improvements
2013-07-24 15:03:48 +00:00
john.j.camilleri
68226a2354
Script for creating LibraryBrowser???.gf for a new language
2013-07-24 11:25:17 +00:00
john.j.camilleri
db637f08b6
Update link to syntax editor in synopsis-browse.txt
2013-07-24 09:34:11 +00:00
aarne
c15faa84bf
some additions to ParseChi
2013-07-24 09:53:31 +00:00
aarne
e5a2cc40c0
hs datatype generation for empty abstract types added
2013-07-24 08:11:16 +00:00
john.j.camilleri
29ed8a8d48
RGL browser: fix scrolling to line
2013-07-24 07:07:50 +00:00
john.j.camilleri
4512d6f197
RGL Browser: fix issue with jumping to code locations
2013-07-23 14:42:59 +00:00
john.j.camilleri
77b987103d
RGL Browse: version 2, including API search
...
Also using a jquery panel framework for layout stuff.
2013-07-23 14:16:42 +00:00
gregoire.detrez
b6267b8296
Script to compute predictability of smart paradigms
2013-07-20 20:24:24 +00:00
kr.angelov
52e2298240
bugfix for parsing floating point numbers in the C runtime
2013-07-18 14:29:58 +00:00
john.j.camilleri
da864069ab
Maltese RG: add synopsis comments for params in Paradigms
2013-07-16 13:51:43 +00:00
john.j.camilleri
8cc37af415
Maltese RG: update ParadigmsMlt to generate a nice table in the RGL Synopsis
2013-07-16 13:16:50 +00:00
hallgren
656f934945
gf-server.cabal: same changes as in gf.cabal for ghc-7.6 compatibility
2013-07-15 17:07:51 +00:00
kr.angelov
51da6e1b2a
the hash function for pgf.Expr is now really added
2013-07-05 05:35:22 +00:00
kr.angelov
4f7369f714
the parser in the C runtime now checks for duplicated results
2013-07-03 12:30:30 +00:00
kr.angelov
96ea257fa3
complete pgf_expr_eq in the C runtime
2013-07-02 20:12:57 +00:00
kr.angelov
6971642cc7
hash function for abstract syntax trees
2013-07-02 19:12:53 +00:00
kr.angelov
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
kr.angelov
5dc59f815c
typos in the documentation for the Python binding
2013-06-27 10:11:49 +00:00
kr.angelov
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
kr.angelov
6ff0b90a33
dummy compute function in the Python binding
2013-06-26 10:36:42 +00:00
kr.angelov
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
kr.angelov
b47dfd9dbb
forgot to add reasoner.h
2013-06-26 09:09:54 +00:00
kr.angelov
67872578c9
forgot to add jit.h
2013-06-26 09:08:47 +00:00
kr.angelov
c873531172
an optimization in the jitter for generating more compact code
2013-06-26 09:03:51 +00:00
kr.angelov
dba75911b0
patch for adjustable heuristics from Python
2013-06-26 07:36:03 +00:00
kr.angelov
966d3aee3f
compatibility issue for MacOS X
2013-06-26 07:03:32 +00:00
