 aarne
|
03589b5a3c
|
restored CanonToGFCC as a wrapper of GFCC generation
|
2007-12-14 07:31:53 +00:00 |
|
|
aarne
|
e29137164a
|
expensive gf3langs alltenses commented away after all
|
2007-12-13 22:21:28 +00:00 |
|
|
aarne
|
2805f48ba3
|
some generated GFCCRaw files added to darcs; make gf3langs for alltenses
|
2007-12-13 22:15:19 +00:00 |
|
|
aarne
|
3dca8b78d7
|
removed gfcc via gfc everywhere; workaround for russian in present
|
2007-12-13 22:05:14 +00:00 |
|
|
aarne
|
095018c8e4
|
new GFCC concrete syntax in place everywhere
|
2007-12-13 20:19:47 +00:00 |
|
|
aarne
|
8de623d11e
|
lisp-like GFCC syntax; doesn't quite work yet in gf3
|
2007-12-13 16:36:32 +00:00 |
|
|
aarne
|
072b48065d
|
prelude sources to lib/src; present in StructuralEng; refactored checkGFCC
|
2007-12-13 10:12:00 +00:00 |
|
|
aarne
|
4ea58bce2c
|
resource lib name changed
|
2007-12-12 20:30:11 +00:00 |
|
|
aarne
|
f472bf266c
|
variants in gfcc generation
|
2007-12-11 15:07:48 +00:00 |
|
|
aarne
|
77a502085d
|
some adjustments in GFCC generation (old)
|
2007-12-10 16:46:04 +00:00 |
|
|
aarne
|
3e788e5bbd
|
debugging new compilation
|
2007-12-09 15:20:50 +00:00 |
|
|
aarne
|
6093c2d3e4
|
extend behaviour for interface and incomplete
|
2007-12-09 10:52:19 +00:00 |
|
|
aarne
|
c19e8c31b7
|
noemit as default in testgf3
|
2007-12-08 17:02:35 +00:00 |
|
|
aarne
|
cc98b779fd
|
breaking points 1..6 in new Compile
|
2007-12-08 16:51:39 +00:00 |
|
|
aarne
|
7cfbba9294
|
documenting implementation started
|
2007-12-08 15:59:36 +00:00 |
|
|
aarne
|
0b90d257f9
|
compilation line complete (but dysfunctional) for new GF internal format
|
2007-12-08 15:15:18 +00:00 |
|
|
aarne
|
0807b556be
|
GFtoGFCC type checks (but is not correct)
|
2007-12-08 15:01:36 +00:00 |
|
|
aarne
|
60060e0a8a
|
names resolve in new GFtoGFCC
|
2007-12-08 10:37:49 +00:00 |
|
|
aarne
|
07cc4a9fc5
|
started modifying GFtoGFCC for new internal GF format
|
2007-12-08 09:32:05 +00:00 |
|
|
aarne
|
49c91adf7a
|
a couple of fixes in new Optimize
|
2007-12-07 21:00:24 +00:00 |
|
|
aarne
|
1e8f17d12b
|
restructured some of the new GF format; modules now in place up to gfo generation
|
2007-12-07 20:47:58 +00:00 |
|
|
aarne
|
a935576674
|
started adding GF back optimization (Factorize)
|
2007-12-07 13:00:02 +00:00 |
|
|
aarne
|
b6484890b1
|
optimize in the compilation chain for new format
|
2007-12-07 11:12:39 +00:00 |
|
|
aarne
|
091f9f0c1b
|
refresh compilation phase in the new format
|
2007-12-07 10:23:18 +00:00 |
|
|
aarne
|
f7b3c218cf
|
changed names of mkNP and mkCN in ParadigmsRus
|
2007-12-07 08:35:39 +00:00 |
|
|
aarne
|
5d1ad0badc
|
new type checker type checks
|
2007-12-06 21:43:21 +00:00 |
|
|
aarne
|
35f585b352
|
in the middle of adapting CheckGrammar
|
2007-12-06 17:29:19 +00:00 |
|
|
aarne
|
53078b23f0
|
started grammar checking with new internal format
|
2007-12-06 15:50:54 +00:00 |
|
|
aarne
|
885b5bf681
|
restored work on Extend and Rename
|
2007-12-06 12:54:15 +00:00 |
|
|
aarne
|
26fc7cb5db
|
Delete the silly test file.
|
2007-12-06 15:19:56 +00:00 |
|
|
aarne
|
9a8b88c5f6
|
Silly test patch.
|
2007-12-06 15:18:49 +00:00 |
|
|
aarne
|
61d745d928
|
Russian parches by MG_UR
|
2007-12-05 07:13:53 +00:00 |
|
|
aarne
|
e7b03c9446
|
restored interface and instance - at least for a while
|
2007-12-04 20:13:36 +00:00 |
|
|
aarne
|
8b68b198a4
|
rebuild integrated in Extend
|
2007-12-04 20:00:51 +00:00 |
|
|
aarne
|
e2c8dc270f
|
building extensions in new source format
|
2007-12-04 17:10:28 +00:00 |
|
|
aarne
|
8c247e05fc
|
unifying judgement information - now easy
|
2007-12-04 15:23:49 +00:00 |
|
|
aarne
|
3d74432c54
|
printing new source format
|
2007-12-04 15:01:01 +00:00 |
|
|
aarne
|
836583cfac
|
some missing cases in SourceToGF
|
2007-12-04 11:18:55 +00:00 |
|
|
aarne
|
67528a5c18
|
test for new GF source format
|
2007-12-04 11:07:39 +00:00 |
|
|
aarne
|
d9a90f6917
|
moved some modules to Devel.Grammar
|
2007-12-04 07:48:37 +00:00 |
|
|
aarne
|
476a92ba19
|
SourceToGF working though not complete
|
2007-12-04 07:40:47 +00:00 |
|
|
aarne
|
a52ead0f91
|
started parsing GF source into the new format
|
2007-12-03 17:40:59 +00:00 |
|
|
aarne
|
95b69941c3
|
some macros for terms, jments, modules
|
2007-11-29 10:23:26 +00:00 |
|
|
aarne
|
a7fb9e1d69
|
subdir for Devel/Compile
|
2007-11-29 10:22:25 +00:00 |
|
|
aarne
|
50a9e472c0
|
judgement construction after parsing
|
2007-11-28 22:11:47 +00:00 |
|
|
aarne
|
97fb347632
|
lookup module separated
|
2007-11-28 12:01:38 +00:00 |
|
|
aarne
|
6fef03ed01
|
new definitions of term and judgement syntax
|
2007-11-28 11:58:47 +00:00 |
|
|
aarne
|
1ea96697cd
|
lookup modules
|
2007-11-28 08:44:04 +00:00 |
|
|
aarne
|
64b7f375c5
|
started experimental new module syntax
|
2007-11-27 14:23:11 +00:00 |
|
|
aarne
|
f643cd271b
|
structural words merged with other constructors; links to paradigms from lexical cats, in synopsis
|
2007-11-26 21:27:29 +00:00 |
|
|
aarne
|
3c7e6724a3
|
diagnostic error message in GrammarToHaskell
|
2007-11-15 17:09:33 +00:00 |
|
|
aarne
|
39d39f7e93
|
dealing with Ints n in GrammarToGFCC
|
2007-11-15 16:49:20 +00:00 |
|
|
aarne
|
59e175de31
|
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
|
d0a1572370
|
made compile from source use optimized modules internally
|
2007-11-12 17:25:00 +00:00 |
|
|
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 |
|