 aarne
|
6fac1748e1
|
corrected this_Quant in Finnish
|
2007-11-12 14:45:45 +00:00 |
|
|
aarne
|
f2a2fe0f83
|
fixed a bug on not updating parameter table in record fields in GrammarToGFCC
|
2007-11-12 14:30:53 +00:00 |
|
|
aarne
|
8a2e2bdb3e
|
fixed bug with prawitz transform of course-of-values tables in Compute
|
2007-11-12 12:36:40 +00:00 |
|
|
aarne
|
2c10d62b1f
|
merged gfc and gfi to one binary, and a shell script for gfc
|
2007-11-12 09:17:02 +00:00 |
|
|
aarne
|
980ec19999
|
printing grammarReference.js with gfc -jsref
|
2007-11-10 10:23:35 +00:00 |
|
|
aarne
|
3f5801ed85
|
post-compute in GrammarToGFCC - what else is needed?
|
2007-11-09 17:24:08 +00:00 |
|
|
aarne
|
fc70ba9a6a
|
undid temporary comment-out of all in make resource
|
2007-11-09 15:57:15 +00:00 |
|
|
aarne
|
70bb329c8e
|
ResFin workaround; type annot for ghc 6.8.1
|
2007-11-09 15:51:12 +00:00 |
|
|
aarne
|
ce975919c9
|
debugging gfcc bug; resulted in some type annotations to work around problems
|
2007-11-09 14:02:11 +00:00 |
|
|
aarne
|
20fc4223f9
|
removed multimodal temporarily from make resource
|
2007-11-09 11:13:59 +00:00 |
|
|
aarne
|
c6f00e17f2
|
repaired restricted inheritances in resource
|
2007-11-09 10:52:47 +00:00 |
|
|
aarne
|
22702d5cd0
|
changed js and hs file names in gfcc output to expected ones
|
2007-11-09 10:08:07 +00:00 |
|
|
aarne
|
83be999123
|
preserve error message in batch compile
|
2007-11-09 08:56:13 +00:00 |
|
|
aarne
|
55c65c92ce
|
currying in paramlincat encoding
|
2007-11-09 08:26:56 +00:00 |
|
|
aarne
|
93200c65dc
|
grammar printing options in gf3 and gfc
|
2007-11-09 00:21:57 +00:00 |
|
|
aarne
|
16e52b231a
|
partial check of dependencies with restricted inheritance
|
2007-11-08 23:34:45 +00:00 |
|
|
aarne
|
0b026ad8ac
|
restricted inheritance in gfcc abstract fixed
|
2007-11-08 21:34:44 +00:00 |
|
|
aarne
|
f3f46c7a0f
|
funny ASCII logo
|
2007-11-06 20:52:49 +00:00 |
|
|
aarne
|
bf353c1a2e
|
added linearize -all
|
2007-11-08 17:01:09 +00:00 |
|
|
aarne
|
009e3cdec1
|
gfi linearization with flags -table -record -term
|
2007-11-08 16:37:30 +00:00 |
|
|
aarne
|
cac4f5e27c
|
encoding of lincats as gfcc terms with param value information
|
2007-11-07 17:27:09 +00:00 |
|
|
aarne
|
d9957d802f
|
added fields for global options and showable lincats to gfcc
|
2007-11-07 16:30:56 +00:00 |
|
|
aarne
|
f07a200c33
|
some more issues in gf3.txt
|
2007-11-07 13:53:48 +00:00 |
|
|
aarne
|
5937e51a8e
|
moved gfcc program to gfi, wrote document gf3.txt
|
2007-11-07 13:07:02 +00:00 |
|
|
aarne
|
d12728dae2
|
prompt and CPU time in experimental shell
|
2007-11-06 17:27:20 +00:00 |
|
|
aarne
|
6a716b0f68
|
Devel/GF3: experimentally putting together all functionalities for the first time
|
2007-11-06 14:44:17 +00:00 |
|
|
aarne
|
49b81e4af5
|
made command table independent of options
|
2007-11-06 11:01:45 +00:00 |
|
|
aarne
|
957257fa03
|
factored out commands from interpreter in gfcc
|
2007-11-06 10:43:19 +00:00 |
|
|
aarne
|
446d99c370
|
fixed variants bug in GFCC.Linearize: l. 64,46 'r' must be 'p'
|
2007-11-05 21:55:17 +00:00 |
|
|
aarne
|
0c99b0ad08
|
make gf3 and gf3present in resource Makefile
|
2007-11-05 21:18:09 +00:00 |
|
|
aarne
|
5315d8851d
|
unionGFCC, to put together GFCC grs with same abstract
|
2007-11-05 13:48:51 +00:00 |
|
|
aarne
|
9045fb2851
|
command database in gfcc
|
2007-11-04 22:01:10 +00:00 |
|
|
aarne
|
456086c441
|
changed suffix gfc to gfo in the gfc program to enable sharing directories with gf
|
2007-11-04 20:36:58 +00:00 |
|
|
aarne
|
450044b81e
|
interpreter with pipes
|
2007-11-04 10:17:48 +00:00 |
|
|
aarne
|
95abbbd8f4
|
started command interpreter for gfcc
|
2007-11-03 22:37:18 +00:00 |
|
|
aarne
|
f91e19f0d8
|
command language and gfcc term parser in bnfc
|
2007-11-03 22:00:08 +00:00 |
|
|
aarne
|
7003654ca6
|
unbounded dep in resource with SlashVS
|
2007-11-03 20:41:29 +00:00 |
|
|
aarne
|
99e6e48fe1
|
mock up math extended with Agda
|
2007-10-31 17:13:20 +00:00 |
|
|
aarne
|
a688096265
|
oper and lindef in CanonToJS
|
2007-10-31 16:41:39 +00:00 |
|
|
aarne
|
650b73e26b
|
mock up variables for js
|
2007-10-30 13:17:54 +00:00 |
|
|
aarne
|
105efd51ef
|
swedish mock up for math
|
2007-10-30 13:15:18 +00:00 |
|
|
aarne
|
b24d0eec9a
|
math wiki example
|
2007-10-30 13:09:46 +00:00 |
|
|
aarne
|
771deba89d
|
semantics <- sementics
|
2007-10-24 07:49:29 +00:00 |
|
|
aarne
|
3666a16fdf
|
program four second week of the course
|
2007-10-24 07:47:33 +00:00 |
|
|
aarne
|
bd7123902c
|
insertObject in AdVP in tutorial/syntax
|
2007-10-23 21:03:06 +00:00 |
|
|
aarne
|
8f100593c0
|
insertObject in Grammar
|
2007-10-23 14:11:22 +00:00 |
|
|
aarne
|
1ff4d28cfe
|
polished the syntax grammar for the book
|
2007-10-22 15:56:11 +00:00 |
|
|
aarne
|
ca3535fd87
|
Swedish functor implementation of Base
|
2007-10-21 10:45:51 +00:00 |
|
|
aarne
|
f668736f36
|
English Base implementation with functor
|
2007-10-21 10:06:34 +00:00 |
|
|
aarne
|
01bc4c138e
|
the lincat of Int simplified to SS again (Linear,Lookup,CheckGrammar by commenting out)
|
2007-10-21 10:01:14 +00:00 |
|
|
aarne
|
a26e87327a
|
started resource implementation of query language
|
2007-10-20 11:34:52 +00:00 |
|
|
aarne
|
55f387d067
|
semantics extended to questions
|
2007-10-20 09:51:26 +00:00 |
|
|
aarne
|
2fb6c59444
|
two versions of semantics (the Logic version incomplete)
|
2007-10-19 22:12:30 +00:00 |
|
|
aarne
|
9b952e5954
|
started semantics module in tutorial
|
2007-10-19 16:29:29 +00:00 |
|
|
aarne
|
d6dee33acd
|
added coordination to tutorial grammar example.
|
2007-10-17 19:08:09 +00:00 |
|
|
aarne
|
c4b9f1b94b
|
found and temporarily solved the bug in LangGer gfcc generation
|
2007-10-16 17:38:57 +00:00 |
|
|
aarne
|
405dc75016
|
adjusting parameter types in Romance and fixing some compilation bugs
|
2007-10-14 14:08:41 +00:00 |
|
|
aarne
|
54db8d29f7
|
fix in records as param arguments
|
2007-10-14 10:36:06 +00:00 |
|
|
aarne
|
2a382c427c
|
demo restaurant info
|
2007-10-12 13:46:57 +00:00 |
|
|
aarne
|
8b74ec7958
|
some fixes in GrammarTpGFCC, and more tracing
|
2007-10-12 12:24:07 +00:00 |
|
|
aarne
|
280493064c
|
removing a trace
|
2007-10-12 08:42:52 +00:00 |
|
|
aarne
|
674dea6d57
|
check circularity in param
|
2007-10-12 08:37:57 +00:00 |
|
|
aarne
|
6d765e75ad
|
tuning gf optimization
|
2007-10-10 20:29:10 +00:00 |
|
|
aarne
|
a303afdba3
|
patches to Now and Dan verb forms ; opers and lindefs in JS
|
2007-10-10 17:35:50 +00:00 |
|
|
aarne
|
07796eb3ee
|
common subexp elim for src GF
|
2007-10-10 17:01:00 +00:00 |
|
|
aarne
|
0d4f6e9b5e
|
optimizations on evaluated gf in gfc
|
2007-10-10 16:13:57 +00:00 |
|
|
aarne
|
df00809361
|
startcat flag in Lang
|
2007-10-10 07:21:02 +00:00 |
|
|
aarne
|
041c478245
|
started revising resource HOWTO
|
2007-10-09 13:41:16 +00:00 |
|
|
aarne
|
47ea75944f
|
GFCCtoJS in Devel
|
2007-10-09 12:51:09 +00:00 |
|
|
aarne
|
85ad81743e
|
added TryX modules for trying out resource API
|
2007-10-09 08:58:48 +00:00 |
|
|
aarne
|
67420e3c9d
|
UTF8 encoding of strings in terms in GFCC in gfc
|
2007-10-08 14:20:37 +00:00 |
|
|
aarne
|
91a1d04def
|
gfc now generates gfcc with deptypes, defs, printnames
|
2007-10-08 12:45:39 +00:00 |
|
|
aarne
|
d24f495274
|
cleaned up obsolete GFCC references
|
2007-10-06 07:37:44 +00:00 |
|
|
aarne
|
44c2b84409
|
oops - forgot to add GFCCtoHaskell
|
2007-10-06 07:36:21 +00:00 |
|
|
aarne
|
2b253d9a64
|
removed unnecessary imports from GFCCtoHaskell generation
|
2007-10-05 16:30:37 +00:00 |
|
|
aarne
|
a93a8e4468
|
documented new GFCC
|
2007-10-05 16:18:23 +00:00 |
|
|
aarne
|
a41b07f9c9
|
removed Canon/GFCC
|
2007-10-05 13:38:10 +00:00 |
|
|
aarne
|
074ef6e09f
|
updated gfcc to new gfcc, now with parsing
|
2007-10-05 13:01:05 +00:00 |
|
|
aarne
|
122546b9d6
|
gf works with the new gfcc format
|
2007-10-05 12:54:29 +00:00 |
|
|
aarne
|
2b5b099813
|
cleaned up new GFCC, but added RP as deprecated
|
2007-10-05 09:02:47 +00:00 |
|
|
aarne
|
3edc8dfeac
|
shifted to use general trees and types (with macros for c-f)
|
2007-10-05 08:17:27 +00:00 |
|
|
aarne
|
02dea19cac
|
divided DataGFCC
|
2007-10-05 07:33:33 +00:00 |
|
|
aarne
|
953ad2cf4c
|
make gfcc makes old gfcc; use make newgfcc for the format produced by gfc
|
2007-10-04 21:46:23 +00:00 |
|
|
aarne
|
41201c2d4e
|
new GFCC format in GF/GFCC
|
2007-10-04 21:38:59 +00:00 |
|
|
aarne
|
04489c8313
|
started new GFCC syntax with dep. types etc
|
2007-10-04 14:13:45 +00:00 |
|
|
aarne
|
c7b1f789fa
|
resource application example in tutorial/syntax
|
2007-10-04 13:43:29 +00:00 |
|
|
aarne
|
6f74c2d648
|
refactored tutorial syntax example
|
2007-10-04 12:29:11 +00:00 |
|
|
aarne
|
835a5264e7
|
make lib in src/Makefile
|
2007-10-04 11:27:31 +00:00 |
|
|
aarne
|
4a020f6c75
|
makefiles for first make
|
2007-10-04 11:24:46 +00:00 |
|
|
aarne
|
ed6062f50d
|
eliminated the rest of projections with record in GFCC
|
2007-10-04 08:23:56 +00:00 |
|
|
aarne
|
db12154e76
|
lincat index in CanonToGFCC decreased by 1
|
2007-10-03 16:15:33 +00:00 |
|
|
aarne
|
51fff6daed
|
added optimization to GrammarToGFCC
|
2007-10-03 16:04:30 +00:00 |
|
|
aarne
|
bcd830129e
|
uncurrying performed in CheckGFCC
|
2007-10-03 11:49:46 +00:00 |
|
|
aarne
|
e620515c12
|
marked alternatives for compiling tables
|
2007-10-02 21:01:38 +00:00 |
|
|
aarne
|
f070f2cec6
|
more debugging of GrammarToGFCC
|
2007-10-02 13:44:52 +00:00 |
|
|
aarne
|
a63b56ba38
|
gfcc from GF now works for LangEng (except literals)
|
2007-10-02 11:15:00 +00:00 |
|
|
aarne
|
2db416a76c
|
test for gfcc
|
2007-10-02 05:57:57 +00:00 |
|
|
aarne
|
7bcf5e64d4
|
work with GrammarToGFCC, not complete
|
2007-10-01 20:14:23 +00:00 |
|
|
aarne
|
8179f5dcf9
|
more tc of gfcc
|
2007-10-01 13:18:43 +00:00 |
|
|
aarne
|
984a265f65
|
started CheckGFCC
|
2007-09-28 13:42:50 +00:00 |
|