 aarne
|
e90ccb5002
|
a couple of fixes in new Optimize
|
2007-12-07 21:00:24 +00:00 |
|
|
aarne
|
d9521d2f4c
|
restructured some of the new GF format; modules now in place up to gfo generation
|
2007-12-07 20:47:58 +00:00 |
|
|
aarne
|
8437e6d295
|
started adding GF back optimization (Factorize)
|
2007-12-07 13:00:02 +00:00 |
|
|
aarne
|
36a0f92bdb
|
optimize in the compilation chain for new format
|
2007-12-07 11:12:39 +00:00 |
|
|
aarne
|
e013138f0c
|
refresh compilation phase in the new format
|
2007-12-07 10:23:18 +00:00 |
|
|
aarne
|
64ebc4f167
|
new type checker type checks
|
2007-12-06 21:43:21 +00:00 |
|
|
aarne
|
fe30e32748
|
in the middle of adapting CheckGrammar
|
2007-12-06 17:29:19 +00:00 |
|
|
aarne
|
bfd215aa7f
|
started grammar checking with new internal format
|
2007-12-06 15:50:54 +00:00 |
|
|
aarne
|
f08eb82f2b
|
restored work on Extend and Rename
|
2007-12-06 12:54:15 +00:00 |
|
|
aarne
|
7d1b964a78
|
Delete the silly test file.
|
2007-12-06 15:19:56 +00:00 |
|
|
aarne
|
28d7ee2f41
|
Silly test patch.
|
2007-12-06 15:18:49 +00:00 |
|
|
aarne
|
dc1c835563
|
restored interface and instance - at least for a while
|
2007-12-04 20:13:36 +00:00 |
|
|
aarne
|
11982849b9
|
rebuild integrated in Extend
|
2007-12-04 20:00:51 +00:00 |
|
|
aarne
|
7fabd2345d
|
building extensions in new source format
|
2007-12-04 17:10:28 +00:00 |
|
|
aarne
|
61763b5784
|
unifying judgement information - now easy
|
2007-12-04 15:23:49 +00:00 |
|
|
aarne
|
4279b17762
|
printing new source format
|
2007-12-04 15:01:01 +00:00 |
|
|
aarne
|
4698dfbe78
|
some missing cases in SourceToGF
|
2007-12-04 11:18:55 +00:00 |
|
|
aarne
|
7051331c20
|
test for new GF source format
|
2007-12-04 11:07:39 +00:00 |
|
|
aarne
|
a7b6887050
|
moved some modules to Devel.Grammar
|
2007-12-04 07:48:37 +00:00 |
|
|
aarne
|
0e1831abb4
|
SourceToGF working though not complete
|
2007-12-04 07:40:47 +00:00 |
|
|
aarne
|
4500ce6316
|
started parsing GF source into the new format
|
2007-12-03 17:40:59 +00:00 |
|
|
aarne
|
cea1946f3f
|
some macros for terms, jments, modules
|
2007-11-29 10:23:26 +00:00 |
|
|
aarne
|
be080aff39
|
judgement construction after parsing
|
2007-11-28 22:11:47 +00:00 |
|
|
aarne
|
813e899ebb
|
lookup module separated
|
2007-11-28 12:01:38 +00:00 |
|
|
aarne
|
5257fd963e
|
new definitions of term and judgement syntax
|
2007-11-28 11:58:47 +00:00 |
|
|
aarne
|
5b0f98f388
|
lookup modules
|
2007-11-28 08:44:04 +00:00 |
|
|
aarne
|
ba938b3530
|
started experimental new module syntax
|
2007-11-27 14:23:11 +00:00 |
|
|
aarne
|
8852637997
|
diagnostic error message in GrammarToHaskell
|
2007-11-15 17:09:33 +00:00 |
|
|
aarne
|
43eb40a688
|
dealing with Ints n in GrammarToGFCC
|
2007-11-15 16:49:20 +00:00 |
|
|
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 |
|
|
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 |
|
|
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 |
|
|
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 |
|
|
aarne
|
a6f89fefef
|
polished the syntax grammar for the book
|
2007-10-22 15:56:11 +00:00 |
|
|
aarne
|
3b878f85d8
|
Swedish functor implementation of Base
|
2007-10-21 10:45:51 +00:00 |
|
|
aarne
|
087fddc174
|
English Base implementation with functor
|
2007-10-21 10:06:34 +00:00 |
|
|
aarne
|
a9472f91e5
|
the lincat of Int simplified to SS again (Linear,Lookup,CheckGrammar by commenting out)
|
2007-10-21 10:01:14 +00:00 |
|
|
aarne
|
484c4ef336
|
started resource implementation of query language
|
2007-10-20 11:34:52 +00:00 |
|
|
aarne
|
192f55e2f5
|
semantics extended to questions
|
2007-10-20 09:51:26 +00:00 |
|
|
aarne
|
e86db4d8c8
|
two versions of semantics (the Logic version incomplete)
|
2007-10-19 22:12:30 +00:00 |
|
|
aarne
|
295c40fe3a
|
started semantics module in tutorial
|
2007-10-19 16:29:29 +00:00 |
|
|
aarne
|
59052fd1b6
|
added coordination to tutorial grammar example.
|
2007-10-17 19:08:09 +00:00 |
|
|
aarne
|
cec3d7d603
|
found and temporarily solved the bug in LangGer gfcc generation
|
2007-10-16 17:38:57 +00:00 |
|
|
aarne
|
eb145f5fcf
|
adjusting parameter types in Romance and fixing some compilation bugs
|
2007-10-14 14:08:41 +00:00 |
|
|
aarne
|
111643eba8
|
fix in records as param arguments
|
2007-10-14 10:36:06 +00:00 |
|
|
aarne
|
96ed0bf4ac
|
demo restaurant info
|
2007-10-12 13:46:57 +00:00 |
|
|
aarne
|
530174aad1
|
some fixes in GrammarTpGFCC, and more tracing
|
2007-10-12 12:24:07 +00:00 |
|
|
aarne
|
1fb749a5ec
|
removing a trace
|
2007-10-12 08:42:52 +00:00 |
|
|
aarne
|
cf3fcbf582
|
check circularity in param
|
2007-10-12 08:37:57 +00:00 |
|
|
aarne
|
697cf5f440
|
tuning gf optimization
|
2007-10-10 20:29:10 +00:00 |
|
|
aarne
|
0fdb2dbc48
|
patches to Now and Dan verb forms ; opers and lindefs in JS
|
2007-10-10 17:35:50 +00:00 |
|
|
aarne
|
ebfef6c8cc
|
common subexp elim for src GF
|
2007-10-10 17:01:00 +00:00 |
|
|
aarne
|
f479ecac03
|
optimizations on evaluated gf in gfc
|
2007-10-10 16:13:57 +00:00 |
|
|
aarne
|
f93c17c7b1
|
GFCCtoJS in Devel
|
2007-10-09 12:51:09 +00:00 |
|
|
aarne
|
38a517aafa
|
UTF8 encoding of strings in terms in GFCC in gfc
|
2007-10-08 14:20:37 +00:00 |
|
|
aarne
|
5a881a90dd
|
gfc now generates gfcc with deptypes, defs, printnames
|
2007-10-08 12:45:39 +00:00 |
|
|
aarne
|
8d0aaf0b24
|
cleaned up obsolete GFCC references
|
2007-10-06 07:37:44 +00:00 |
|
|
aarne
|
db606bd2d1
|
oops - forgot to add GFCCtoHaskell
|
2007-10-06 07:36:21 +00:00 |
|
|
aarne
|
33ee832655
|
removed unnecessary imports from GFCCtoHaskell generation
|
2007-10-05 16:30:37 +00:00 |
|
|
aarne
|
51ac00a987
|
documented new GFCC
|
2007-10-05 16:18:23 +00:00 |
|
|
aarne
|
2905d5552c
|
removed Canon/GFCC
|
2007-10-05 13:38:10 +00:00 |
|
|
aarne
|
1b4f7c9741
|
updated gfcc to new gfcc, now with parsing
|
2007-10-05 13:01:05 +00:00 |
|