hallgren
1677df78c9
Add build info to the GF shell welcome message
2011-04-04 19:52:07 +00:00
gdetrez
0c7676e6e9
Adding an option to the gf compiler to add an index to pgf files
...
This is gonna be used by the android library to skip unused part of a
pgf file
2010-12-11 16:36:30 +00:00
aarne
afbfbaa73a
make it possible to override opers defined in an interface by syntax 'instance Foo of Bar - [f,g,h]'
2011-03-12 11:24:14 +00:00
hallgren
affdcf421e
GF shell restricted mode
...
By setting the environment variable GF_RESTRICTED before starting GF, the shell
will be run in restricted mode. This will prevent the GF shell from starting
arbitrary system commands (most uses of System.Cmd.system are blocked) and
writing arbitrary files (most commands that use writeFile et al are blocked).
Restricted mode is intended minimize the potential security risks involved
in allowing public access to the GF shell over the internet. It should be used
in conjuction with system level protection mechanisms (e.g. file permissions)
to make sure that a publicly acessible GF shell does not give access to parts
of the system that should not be publicly accessible.
2011-03-03 15:42:57 +00:00
aarne
2b399e5356
updated documentation of pg -printer formats
2010-12-14 22:05:53 +00:00
aarne
fe82e6b50d
documented the pgf -printer values for help
2010-12-14 20:40:17 +00:00
krasimir
be9ad26aea
refactor the API for random generation again. Now PGF contains probabilities in the abstract syntax
2010-10-02 13:03:57 +00:00
krasimir
9aa7c88c5a
native representation for HOAS in PMCFG and incremental type checking of the parse forest
2010-08-09 10:10:08 +00:00
krasimir
e92151caf8
redesign the open-literals API
2010-07-01 08:51:59 +00:00
krasimir
d777e8e52f
dead code elimination for PGF. Note: the produced grammars will not work well with metavariables and high-order abstract syntax
2010-06-09 11:32:59 +00:00
krasimir
f3bee9fd36
wf,vt,vp,vd,aw should store files in utf8
2010-04-28 17:37:53 +00:00
krasimir
0b6b30d4a8
use the native unicode support from GHC 6.12
2010-04-19 09:38:36 +00:00
aarne
b7a60b5e45
dependency graph can be restricted to some modules; added help dg
2010-04-06 08:53:44 +00:00
krasimir
1591253a55
added codepage for Turkish
2010-03-23 13:44:17 +00:00
krasimir
d3a84f994b
store and propagate the exact source location for all judgements in the grammar. It may not be used accurately in the error messages yet
2010-03-22 21:15:29 +00:00
krasimir
57b8e42601
added experimental generation of Lambda Prolog code. Could be used for exhaustive generation with dependent types. Doesn't support def rules yet but supports high-order syntax and lambda expressions.
2010-03-20 07:26:53 +00:00
krasimir
4485e97181
refactor GF.Infra.Modules for better error messages
2010-01-31 15:54:25 +00:00
krasimir
a039808141
PGF is now real synchronous PMCFG
2010-01-17 21:35:36 +00:00
krasimir
76debee2c1
remove the old parsing code and the -erasing=on flag
2009-12-14 10:54:22 +00:00
krasimir
c92f9d1c0c
reorganize the directories under src, and rescue the JavaScript interpreter from deprecated
2009-12-13 18:50:29 +00:00
