1909 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
aarne	504bdedcc3	made Devel versions of Compute, CheckGrammar, Optimize, etc, to leave GF 2.8 untouched when experimenting	2007-11-12 21:42:13 +00:00
aarne	7e40df7d4c	made compile from source use optimized modules internally	2007-11-12 17:25:00 +00:00
aarne	5d06a31078	fixed a bug on not updating parameter table in record fields in GrammarToGFCC	2007-11-12 14:30:53 +00:00
aarne	6158445114	fixed bug with prawitz transform of course-of-values tables in Compute	2007-11-12 12:36:40 +00:00
aarne	b801149fbf	merged gfc and gfi to one binary, and a shell script for gfc	2007-11-12 09:17:02 +00:00
aarne	eb7b028601	printing grammarReference.js with gfc -jsref	2007-11-10 10:23:35 +00:00
aarne	ba735d802b	post-compute in GrammarToGFCC - what else is needed?	2007-11-09 17:24:08 +00:00
aarne	e394d725a4	ResFin workaround; type annot for ghc 6.8.1	2007-11-09 15:51:12 +00:00
bringert	6568ac4aea	Fix pre token bug in JS, both in gf and gfc. Pre tokens are still treated like normal tokens, but at least the generated code should be correct now.	2007-11-09 15:09:09 +00:00
aarne	ad96ff1822	debugging gfcc bug; resulted in some type annotations to work around problems	2007-11-09 14:02:11 +00:00
aarne	e66aab0978	changed js and hs file names in gfcc output to expected ones	2007-11-09 10:08:07 +00:00
aarne	1ad7527f65	preserve error message in batch compile	2007-11-09 08:56:13 +00:00
aarne	45df6d5ac2	currying in paramlincat encoding	2007-11-09 08:26:56 +00:00
aarne	91415f7ad0	grammar printing options in gf3 and gfc	2007-11-09 00:21:57 +00:00
aarne	5e0e82250e	partial check of dependencies with restricted inheritance	2007-11-08 23:34:45 +00:00
aarne	f2df8bb144	restricted inheritance in gfcc abstract fixed	2007-11-08 21:34:44 +00:00
aarne	fc457ce795	funny ASCII logo	2007-11-06 20:52:49 +00:00
aarne	14e974af9e	added linearize -all	2007-11-08 17:01:09 +00:00
aarne	44df29f52d	gfi linearization with flags -table -record -term	2007-11-08 16:37:30 +00:00
aarne	23b2826a44	encoding of lincats as gfcc terms with param value information	2007-11-07 17:27:09 +00:00
aarne	947949648f	added fields for global options and showable lincats to gfcc	2007-11-07 16:30:56 +00:00
aarne	0be4e801f4	some more issues in gf3.txt	2007-11-07 13:53:48 +00:00
aarne	8c47cb46b2	moved gfcc program to gfi, wrote document gf3.txt	2007-11-07 13:07:02 +00:00
aarne	2c4d34af28	prompt and CPU time in experimental shell	2007-11-06 17:27:20 +00:00
aarne	2b1d5a4d51	Devel/GF3: experimentally putting together all functionalities for the first time	2007-11-06 14:44:17 +00:00
aarne	693621ffbe	made command table independent of options	2007-11-06 11:01:45 +00:00
aarne	db399191d9	factored out commands from interpreter in gfcc	2007-11-06 10:43:19 +00:00
aarne	5e87b6ef98	fixed variants bug in GFCC.Linearize: l. 64,46 'r' must be 'p'	2007-11-05 21:55:17 +00:00
aarne	2a83f299b4	unionGFCC, to put together GFCC grs with same abstract	2007-11-05 13:48:51 +00:00
aarne	7eecf7f943	command database in gfcc	2007-11-04 22:01:10 +00:00
aarne	76204ad886	changed suffix gfc to gfo in the gfc program to enable sharing directories with gf	2007-11-04 20:36:58 +00:00
aarne	bb5af4bbba	interpreter with pipes	2007-11-04 10:17:48 +00:00
aarne	fdc39cf18c	started command interpreter for gfcc	2007-11-03 22:37:18 +00:00
aarne	5956ba6b38	command language and gfcc term parser in bnfc	2007-11-03 22:00:08 +00:00
bringert	ed4b43961d	Added explicit export list to ParGF.	2007-11-01 10:10:30 +00:00
bringert	dafbcb7f9b	Regenerated ParGF.y with current BNFC, and regenerated ParGF.hs with Happy 1.17. This seems to fix some of the less informative parsing error messages.	2007-11-01 10:08:32 +00:00
aarne	59e4328128	mock up math extended with Agda	2007-10-31 17:13:20 +00:00
aarne	3f4d3e69cf	oper and lindef in CanonToJS	2007-10-31 16:41:39 +00:00
aarne	a2a37bc912	mock up variables for js	2007-10-30 13:17:54 +00:00
aarne	ab1af18cdb	swedish mock up for math	2007-10-30 13:15:18 +00:00
aarne	565bd85329	math wiki example	2007-10-30 13:09:46 +00:00
bringert	af54ec7e45	Added type signature to fix GHC 6.8 problem reported by Jean-Philippe.	2007-10-30 09:51:14 +00:00
aarne	70258975f2	semantics <- sementics	2007-10-24 07:49:29 +00:00
aarne	fa2131a8be	program four second week of the course	2007-10-24 07:47:33 +00:00
aarne	60f714b9c8	insertObject in AdVP in tutorial/syntax	2007-10-23 21:03:06 +00:00
aarne	bf223b43d5	insertObject in Grammar	2007-10-23 14:11:22 +00:00
bringert	5b7f45c7e6	Added --output-name to GF.Devel.GFC.Options. Inspired by peb's --output-base suggestion.	2007-10-23 12:19:11 +00:00
bringert	1bf4df8763	Added --output-dir to GF.Devel.GFC.Options. Suggested by peb.	2007-10-23 12:15:01 +00:00
bringert	9dc7843f53	Allow multiple output formats in GF.Devel.GFC.Options. Suggested by peb.	2007-10-23 12:11:48 +00:00
aarne	a6f89fefef	polished the syntax grammar for the book	2007-10-22 15:56:11 +00:00