Commit Graph

53 Commits

Author SHA1 Message Date
hallgren
2c1feccd17 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
f32091cd53 print lexicon in Xerox LEXC format: pg -lexc 2011-03-03 08:31:15 +00:00
aarne
8e3674600c corrected help for l command 2011-03-01 16:15:20 +00:00
aarne
0dfbc9b730 the command show_operations to inspect opers in scope 2011-02-28 13:31:04 +00:00
aarne
390566b17e command ga moved to option 'aw -giza' 2011-02-25 12:55:36 +00:00
aarne
7445e56387 a simple clitic analysis command 'ca' 2011-02-06 16:19:24 +00:00
aarne
61e4e9ac20 updated documentation of pg -printer formats 2010-12-14 22:05:53 +00:00
aarne
9c86b62212 documented the pgf -printer values for help 2010-12-14 20:40:17 +00:00
aarne
4a5d8d9f55 option cc -list added 2010-12-14 17:42:42 +00:00
aarne
96433c2914 preparing resource api for multilingual documentation 2010-12-10 08:48:26 +00:00
krasimir
b6446ec36d simple refactoring in PGF.Macros and related 2010-12-06 14:19:51 +00:00
aarne
0f444d8893 optimize-pgf and file flag in pg -pgf 2010-12-07 19:28:40 +00:00
aarne
dd6e0b1730 moved PGF.ToApi to GF.Compile.ToAPI 2010-12-07 18:05:13 +00:00
aarne
978e2e4241 shell command pg -pgf writes current pgf into a file 2010-12-07 16:05:37 +00:00
aarne
1f75143d6c printing option -api in the eb command 2010-12-06 10:49:38 +00:00
ra.monique
7fba8c338d no more IO in the syntax to API translator 2010-12-06 10:15:14 +00:00
aarne
00111b10c1 vt -api with conversion to resource API names 2010-12-06 09:53:04 +00:00
aarne
752a7b8030 format .gfm for multiple modules in the same file; includes lines with ;-separated words 2010-11-30 14:50:24 +00:00
aarne
153568c17f lang flag in align_words sets the list of languages 2010-11-22 22:41:29 +00:00
krasimir
0b80b3ef0a command ai in the shell now shows the probability of the tree 2010-11-24 12:51:54 +00:00
aarne
2acb125f6f fixed some bugs in translation quiz 2010-11-17 08:30:02 +00:00
ramona.enache
1f8a0f0876 added giza Alignments with command ga and merged the rendering algorithm for graphviz and giza alignments 2010-10-31 13:39:01 +00:00
krasimir
775e59dabe added explicit depth parameter to the parsing API and the corresponding command in the shell 2010-10-18 16:51:25 +00:00
krasimir
8970184578 added option -depth to command gr 2010-10-12 13:36:37 +00:00
krasimir
cb8795c222 refactor the API for random generation again. Now PGF contains probabilities in the abstract syntax 2010-10-02 13:03:57 +00:00
krasimir
617ce3cce6 the first revision of exhaustive and random generation with dependent types. Still not quite stable. 2010-09-22 15:49:16 +00:00
krasimir
1c9305e7a3 cleanup and export the Probabilistic API from PGF 2010-09-22 09:06:19 +00:00
krasimir
b0e110cf4f native representation for HOAS in PMCFG and incremental type checking of the parse forest 2010-08-09 10:10:08 +00:00
krasimir
95f1d40c56 report type errors in the shell from command "p" 2010-07-07 12:23:21 +00:00
krasimir
5ae7be358d redesign the open-literals API 2010-07-01 08:51:59 +00:00
krasimir
31856ebb4c now the parser could return partial parse results 2010-05-19 12:31:36 +00:00
krasimir
9e7b914c3c for backward compatibility we have the old parse function again. the old functionality is exposed by parse_ 2010-04-30 20:18:26 +00:00
krasimir
8460598801 first incarnation of the bracketed string API 2010-04-30 14:36:06 +00:00
aarne
3148bc3d90 new option pg -funs 2010-04-28 19:09:59 +00:00
krasimir
68de1cead3 wf,vt,vp,vd,aw should store files in utf8 2010-04-28 17:37:53 +00:00
krasimir
c87bbcb8e4 fix the -view option for vt,vp,vd,aw to work on Windows 2010-04-27 20:01:54 +00:00
krasimir
6313244eac use the native unicode support from GHC 6.12 2010-04-19 09:38:36 +00:00
aarne
ba13052d31 dependency graph can be restricted to some modules; added help dg 2010-04-06 08:53:44 +00:00
aarne
7a14507189 in the shell, permit 3-letter lang codes as concrete syntax names 2010-04-04 20:46:36 +00:00
aarne
716a209f65 PGF.groupResults and the option l -groups, to show ambiguities grouped by laguage 2010-03-22 19:03:06 +00:00
aarne
510d511637 commands mq and tq can take a tree with metas to guide generation 2010-02-01 09:56:58 +00:00
aarne
26236652a6 command l -list ; fixed mq to work with the new tabularLinearizes 2010-01-31 16:05:23 +00:00
aarne
e71545eab1 gt and gr can start from a tree with metavariables, just filling them 2010-01-30 18:01:18 +00:00
krasimir
3b7e39fa4a bugfix in the PGF typechecker and more test cases 2010-01-29 21:10:14 +00:00
aarne
d333c0564b example_based returns the list of all unknown words 2010-01-28 16:27:28 +00:00
aarne
e056cc2bfd in example-based grammar conversion, warnings about unknown words 2010-01-28 10:06:16 +00:00
aarne
750a2639b0 command eb for example-based grammar conversion; see 'help eb' and the example in examples/animals/QuestionsI.gfe 2010-01-27 17:51:15 +00:00
krasimir
890d455793 cleanup the code of the PGF interpreter and polish the binary serialization to match the preliminary specification 2010-01-27 09:39:14 +00:00
aarne
dd4c792e67 probability ranking (rt) and gr -probs=FILE 2010-01-26 21:08:04 +00:00
krasimir
9b362ff231 PGF is now real synchronous PMCFG 2010-01-17 21:35:36 +00:00