 kr.angelov
|
c20745480f
|
Now graphvizAbstractTree suppress the visualization of implicit arguments.
|
2011-12-08 09:18:38 +00:00 |
|
|
kr.angelov
|
dcb04d029f
|
Phrasebook is updated for Bulgarian
|
2011-12-06 13:54:25 +00:00 |
|
|
kr.angelov
|
1d72e2de7e
|
The typechecker is still unfinished but at least it can typecheck the English resource grammar
|
2011-12-02 12:33:26 +00:00 |
|
|
kr.angelov
|
fd4066f69f
|
in prelude/Coordination.gf Type --> PType
|
2011-12-02 10:53:49 +00:00 |
|
|
kr.angelov
|
c953ac4244
|
missing cases in GF.Grammar.Binary
|
2011-12-02 09:58:18 +00:00 |
|
|
kr.angelov
|
9f777aed7e
|
Hopefully complete Value type and a little bit more on computations.
|
2011-11-30 20:56:31 +00:00 |
|
|
kr.angelov
|
11a37316da
|
more stuff in the new type checker
|
2011-11-30 14:55:52 +00:00 |
|
|
kr.angelov
|
565ae652e4
|
typos in Prelude.gf: Type --> PType
|
2011-11-30 14:55:11 +00:00 |
|
|
kr.angelov
|
cac5b9ff0d
|
fix the compilation after the patch for the new type checker
|
2011-11-29 18:45:51 +00:00 |
|
|
kr.angelov
|
eaaefe73d0
|
Sketch of the new type checker for the concrete syntax. Enabled only with -new-comp
|
2011-11-29 12:12:51 +00:00 |
|
|
kr.angelov
|
f1cacffc98
|
now if some module is compiled with -no-pmcfg then the PMCFG code is generated at the end during the linking phase. Now the default compilation of the libraries with cabal is with -no-pmcfg.
|
2011-11-24 14:23:04 +00:00 |
|
|
kr.angelov
|
1f174fe04f
|
make addSequencesB(V) strict. Otherwise we get stack overflow when compiling LangFre
|
2011-11-22 20:31:58 +00:00 |
|
|
kr.angelov
|
c626262f9a
|
rebuildModule should do location globalization too
|
2011-11-17 22:11:56 +00:00 |
|
|
kr.angelov
|
67aa44a620
|
bugfix in the overload resolution. It was accidentally introduced as part of the per module PMCFG generation
|
2011-11-17 21:36:45 +00:00 |
|
|
kr.angelov
|
79ba3c0877
|
fix in the versioning of the .gfo files
|
2011-11-15 19:46:02 +00:00 |
|
|
kr.angelov
|
1b85355d47
|
now we store version number in every .gfo file. If the file is compiled with different compiler then we simply recompile it.
|
2011-11-15 19:12:22 +00:00 |
|
|
kr.angelov
|
c73bbeabb4
|
now the pretty printer in GF has a new mode called Internal. This is the most detailed mode and it can print even things that are not in the GF syntax. For example PMCFG snippets and indirections.
|
2011-11-15 15:55:45 +00:00 |
|
|
kr.angelov
|
0163942df9
|
Now the errors messages from GF.Compile.Update also follow the new format
|
2011-11-15 15:33:52 +00:00 |
|
|
kr.angelov
|
f47381e578
|
the indirections in the .gf-tags files now point directly to the origin of the corresponding indentifiers
|
2011-11-15 14:30:31 +00:00 |
|
|
kr.angelov
|
48558197a8
|
more structured format for errors and warnings from the compiler
|
2011-11-15 13:33:44 +00:00 |
|
|
kr.angelov
|
9b482722c3
|
bugfix in the new PGF generation
|
2011-11-14 16:27:59 +00:00 |
|
|
kr.angelov
|
beba7b37f9
|
remove the -output-file option
|
2011-11-14 16:10:13 +00:00 |
|
|
kr.angelov
|
e161f93f4d
|
the new design for -tags
|
2011-11-14 16:08:56 +00:00 |
|
|
kr.angelov
|
bbe42d1e90
|
Now PMCFG is compiled per module and at the end we only link it. The new compilation schema is few times faster.
|
2011-11-10 14:09:41 +00:00 |
|
|
kr.angelov
|
a8aef4278e
|
remove few obsolete options from GF.Infra.Options
|
2011-11-10 09:02:46 +00:00 |
|
|
kr.angelov
|
d058394219
|
qualified names in the tags file
|
2011-11-04 16:20:41 +00:00 |
|
|
kr.angelov
|
54019c75ae
|
merge GF.Infra.Modules and GF.Grammar.Grammar. This is a preparation for the separate PGF building
|
2011-11-02 13:57:11 +00:00 |
|
|
kr.angelov
|
bc35626489
|
Now the compiler maintains more precise information for the source locations of the different definitions. There is a --tags option which generates a list of all identifiers with their source locations.
|
2011-11-02 11:44:59 +00:00 |
|
|
kr.angelov
|
a83f9417c7
|
fix in DictEng.gf -> find is irregular verb
|
2011-10-28 09:17:33 +00:00 |
|
|
kr.angelov
|
5f9338e18a
|
add Windows binary
|
2011-10-26 13:30:42 +00:00 |
|
|
kr.angelov
|
1964660d67
|
added ParseEng/ParseEngAbs which is the grammar used for parsing PennTreebank
|
2011-09-28 07:51:10 +00:00 |
|
|
kr.angelov
|
b0913f1ee5
|
add around_AdN in DictEng.gf
|
2011-09-23 14:36:01 +00:00 |
|
|
kr.angelov
|
0715bd811c
|
few extensions to DictEng taken from the obsolete OaldStructural.gf
|
2011-09-23 12:06:03 +00:00 |
|
|
kr.angelov
|
56630bcbb6
|
remove the obsolete parse grammar
|
2011-09-23 09:42:22 +00:00 |
|
|
kr.angelov
|
1df6197c57
|
remove the fake adjective alright_A from DictEng
|
2011-09-23 09:19:02 +00:00 |
|
|
kr.angelov
|
a112c56e74
|
change the precedence for the left argument of ->
|
2011-09-22 16:24:02 +00:00 |
|
|
kr.angelov
|
9bd15b0777
|
fix in the proof search. when we start the generation from a template, we must start the refinement from the expression that the typecheker generated
|
2011-09-21 13:30:09 +00:00 |
|
|
kr.angelov
|
d11fe7819d
|
remove ins_N from DictEng since it duplicates in_N
|
2011-09-09 13:11:00 +00:00 |
|
|
kr.angelov
|
f7f6953050
|
few more fixes in the NLG grammar
|
2011-08-30 17:29:13 +00:00 |
|
|
kr.angelov
|
7fe2b6fd04
|
added quantifier ambiguity in the NLG example
|
2011-08-30 15:23:59 +00:00 |
|
|
kr.angelov
|
399d4a60a4
|
added example for NLG from logical formula. See examples/nlg
|
2011-08-30 14:58:16 +00:00 |
|
|
kr.angelov
|
dbe00fd0eb
|
bugfixes in the typechecker and the tree generator
|
2011-08-30 11:24:59 +00:00 |
|
|
kr.angelov
|
9a899edb0b
|
bugfix: allow higher-order variables in the linearization
|
2011-08-30 09:22:44 +00:00 |
|
|
kr.angelov
|
1593c7249d
|
fix SUMO after the update in DictEng
|
2011-08-23 15:05:04 +00:00 |
|
|
kr.angelov
|
829f648774
|
batch of changes in DictEng(Abs) that improve the coverage and add valency frames for many verbs.
|
2011-08-23 14:58:11 +00:00 |
|
|
kr.angelov
|
6bc3dc45b6
|
FCat is just a plain integer now
|
2007-10-12 16:00:37 +00:00 |
|
|
kr.angelov
|
6651e9e1d0
|
handle (F ..) references in the lintypes
|
2007-10-04 18:23:59 +00:00 |
|
|
kr.angelov
|
4ac5ec0dbd
|
don't try to search for argument that has been already found
|
2007-09-25 14:57:14 +00:00 |
|
|
kr.angelov
|
b787b5ad01
|
whitespace only
|
2007-09-25 14:56:46 +00:00 |
|
|
kr.angelov
|
37d310f8c0
|
simple optimization of the parser that makes it about two times faster
|
2007-09-25 12:59:25 +00:00 |
|
|
kr.angelov
|
c9daa2e2c1
|
remove the dependency to GF.Data.Operations from GF Embed API
|
2007-09-25 05:55:49 +00:00 |
|
|
kr.angelov
|
133963751b
|
merge FCFGParsing with GF.Parsing.FCFG
|
2007-09-24 14:36:19 +00:00 |
|
|
kr.angelov
|
ee58d52af0
|
Update GFCCAPI after the removal of FTypes and the FCFG lexer
|
2007-09-24 08:58:46 +00:00 |
|
|
kr.angelov
|
26b1efe8b7
|
move the FCFG lexer to FCFG.Active where it should have been. It was a hack anyway
|
2007-09-24 08:56:37 +00:00 |
|
|
kr.angelov
|
61503477f0
|
remove FCFG folder
|
2007-09-24 08:19:29 +00:00 |
|
|
kr.angelov
|
cd213f3e56
|
remove FTypes module and move all definitions to Formalism.FCFG
|
2007-09-24 08:12:11 +00:00 |
|
|
kr.angelov
|
9efddd16ce
|
remove some redundant dependencies from FCFG
|
2007-09-23 20:01:25 +00:00 |
|
|
kr.angelov
|
8c5d8e27dc
|
Optimized mkSingletonSelectors
|
2006-06-21 19:37:18 +00:00 |
|
|
kr.angelov
|
fb8ea2c2f4
|
tail call recursive implementation of BacktrackM
|
2006-06-21 19:17:25 +00:00 |
|
|
kr.angelov
|
fb3cb664d6
|
the newName variable wasn't used and now it is removed
|
2006-06-21 13:45:45 +00:00 |
|
|
kr.angelov
|
abe5b1f50f
|
Some performance optimizations
|
2006-06-21 13:40:59 +00:00 |
|
|
kr.angelov
|
79b4de6b86
|
Sync FCFG with the latest repo version
|
2006-06-19 20:17:05 +00:00 |
|
|
kr.angelov
|
5999274d1e
|
code polishing for the literal category support
|
2006-06-08 21:23:29 +00:00 |
|
|
kr.angelov
|
475a56c64f
|
add the chartAssocs function. It returns both the key and the item.
|
2006-06-08 21:19:40 +00:00 |
|
|
kr.angelov
|
11e23c4811
|
initial support for literal categories e.g. String,Int and Float
|
2006-06-06 21:30:14 +00:00 |
|
|
kr.angelov
|
03bd95d0e1
|
support for non-linear grammars
|
2006-06-03 17:58:34 +00:00 |
|
|
kr.angelov
|
252b5883f7
|
remove the dummy (Print n) context
|
2006-06-03 10:31:36 +00:00 |
|
|
kr.angelov
|
f634b1b0e1
|
the constraints list in the conversion rules should be sorted too
|
2006-06-03 10:30:10 +00:00 |
|
|
kr.angelov
|
75695d3dfe
|
fix the "stack overflow" error with the Swedish grammar
|
2006-06-02 08:34:17 +00:00 |
|
|
kr.angelov
|
81c1e95244
|
enable parsing of empty string
|
2006-06-01 21:37:22 +00:00 |
|
|
kr.angelov
|
4cf5648d62
|
bugfix
|
2006-06-01 21:36:17 +00:00 |
|
|
kr.angelov
|
d631ee00d7
|
update the copyright messages
|
2006-06-01 11:29:30 +00:00 |
|
|
kr.angelov
|
a5758468ed
|
add the FCFG parser
|
2006-06-01 11:19:47 +00:00 |
|
|
kr.angelov
|
0c0c82603c
|
The SLinType type is changed so that you don't have to use enumerateTerms each time when you want to know the possible table arguments
|
2006-06-01 10:26:49 +00:00 |
|
|
kr.angelov
|
a73aa39dcc
|
Add foldBM, foldSolutions and foldFinalStates functions
|
2006-06-01 10:12:38 +00:00 |
|