5c4dbe743e
Update shell reference manual
2013-08-05 11:47:17 +00:00
ea65882c53
toUpperFirst and toLowerFirst in Prelude
2013-08-01 15:42:37 +00:00
f1d407de09
added untested port of GNU lightning to ARM
2013-08-01 12:07:06 +00:00
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
f6a152a617
add two more bullets about the Python and the Java bindings
2013-07-30 11:54:20 +00:00
891c15f8c0
added release notes for the C runtime
2013-07-30 11:51:49 +00:00
ef497531f8
the first approximation for a statistical model consistent with dependent types in the abstract syntax
2013-07-30 07:29:11 +00:00
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
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
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
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
705991e9eb
updated rgl status with tested and publication attributes
2013-07-26 12:53:17 +00:00
41acc7a6fd
pointer to RGL publications as main index news item
2013-07-26 08:45:53 +00:00
8abce11b1b
RGL documentation page now linked from Synopsis
2013-07-26 08:40:33 +00:00
d0f7df60d3
lib/src/api/libraryBrowser/MkLang.hs - allow multiple arguments
2013-07-26 07:41:20 +00:00
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
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
adb4109a26
RGL Browser: now includes Syntax Editor tab!
2013-07-25 07:36:34 +00:00
206f8db3e8
RGL Browser: mostly cosmetic improvements
2013-07-24 15:03:48 +00:00
68226a2354
Script for creating LibraryBrowser???.gf for a new language
2013-07-24 11:25:17 +00:00
db637f08b6
Update link to syntax editor in synopsis-browse.txt
2013-07-24 09:34:11 +00:00
c15faa84bf
some additions to ParseChi
2013-07-24 09:53:31 +00:00
e5a2cc40c0
hs datatype generation for empty abstract types added
2013-07-24 08:11:16 +00:00
29ed8a8d48
RGL browser: fix scrolling to line
2013-07-24 07:07:50 +00:00
4512d6f197
RGL Browser: fix issue with jumping to code locations
2013-07-23 14:42:59 +00:00
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
b6267b8296
Script to compute predictability of smart paradigms
2013-07-20 20:24:24 +00:00
52e2298240
bugfix for parsing floating point numbers in the C runtime
2013-07-18 14:29:58 +00:00
da864069ab
Maltese RG: add synopsis comments for params in Paradigms
2013-07-16 13:51:43 +00:00
8cc37af415
Maltese RG: update ParadigmsMlt to generate a nice table in the RGL Synopsis
2013-07-16 13:16:50 +00:00
656f934945
gf-server.cabal: same changes as in gf.cabal for ghc-7.6 compatibility
2013-07-15 17:07:51 +00:00
51da6e1b2a
the hash function for pgf.Expr is now really added
2013-07-05 05:35:22 +00:00
4f7369f714
the parser in the C runtime now checks for duplicated results
2013-07-03 12:30:30 +00:00
96ea257fa3
complete pgf_expr_eq in the C runtime
2013-07-02 20:12:57 +00:00
6971642cc7
hash function for abstract syntax trees
2013-07-02 19:12:53 +00:00
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
5dc59f815c
typos in the documentation for the Python binding
2013-06-27 10:11:49 +00:00
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
6ff0b90a33
dummy compute function in the Python binding
2013-06-26 10:36:42 +00:00
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
b47dfd9dbb
forgot to add reasoner.h
2013-06-26 09:09:54 +00:00
67872578c9
forgot to add jit.h
2013-06-26 09:08:47 +00:00
c873531172
an optimization in the jitter for generating more compact code
2013-06-26 09:03:51 +00:00
dba75911b0
patch for adjustable heuristics from Python
2013-06-26 07:36:03 +00:00
966d3aee3f
compatibility issue for MacOS X
2013-06-26 07:03:32 +00:00
38b3dfcad6
fix for x86_64
2013-06-26 06:43:33 +00:00
4e1b19c1af
GF homepage: Add section for "getting help" (mentioning IRC channel)
...
and remove "fragments" from Maltese
2013-06-26 06:28:54 +00:00
16584d4368
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
6aafb6ccbb
Maltese RG: small fixes; moved Maybe to ../prelude
2013-06-24 09:37:39 +00:00
b02853be43
Add Maybe.gf to prelude folder
2013-06-24 09:35:30 +00:00
hallgren