 kr.angelov
|
416d231c5e
|
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
|
b25ec6ae89
|
remove few obsolete options from GF.Infra.Options
|
2011-11-10 09:02:46 +00:00 |
|
|
kr.angelov
|
0d04d56241
|
qualified names in the tags file
|
2011-11-04 16:20:41 +00:00 |
|
|
kr.angelov
|
734c66710e
|
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
|
5fe49ed9f7
|
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
|
8a263781d0
|
add Windows binary
|
2011-10-26 13:30:42 +00:00 |
|
|
kr.angelov
|
bb599029c9
|
change the precedence for the left argument of ->
|
2011-09-22 16:24:02 +00:00 |
|
|
kr.angelov
|
89fb9a7fdf
|
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
|
2001788b02
|
few more fixes in the NLG grammar
|
2011-08-30 17:29:13 +00:00 |
|
|
kr.angelov
|
a29a4408a8
|
added quantifier ambiguity in the NLG example
|
2011-08-30 15:23:59 +00:00 |
|
|
kr.angelov
|
c70df9200c
|
added example for NLG from logical formula. See examples/nlg
|
2011-08-30 14:58:16 +00:00 |
|
|
kr.angelov
|
4215fc31bf
|
bugfixes in the typechecker and the tree generator
|
2011-08-30 11:24:59 +00:00 |
|
|
kr.angelov
|
41a60772c7
|
bugfix: allow higher-order variables in the linearization
|
2011-08-30 09:22:44 +00:00 |
|
|
kr.angelov
|
5339aa8074
|
fix SUMO after the update in DictEng
|
2011-08-23 15:05:04 +00:00 |
|
|
kr.angelov
|
873a160537
|
FCat is just a plain integer now
|
2007-10-12 16:00:37 +00:00 |
|
|
kr.angelov
|
acc32ec199
|
handle (F ..) references in the lintypes
|
2007-10-04 18:23:59 +00:00 |
|
|
kr.angelov
|
890b4ca7e0
|
don't try to search for argument that has been already found
|
2007-09-25 14:57:14 +00:00 |
|
|
kr.angelov
|
bb8e7d2d58
|
whitespace only
|
2007-09-25 14:56:46 +00:00 |
|
|
kr.angelov
|
6613d5f40a
|
simple optimization of the parser that makes it about two times faster
|
2007-09-25 12:59:25 +00:00 |
|
|
kr.angelov
|
286851b7c0
|
remove the dependency to GF.Data.Operations from GF Embed API
|
2007-09-25 05:55:49 +00:00 |
|
|
kr.angelov
|
c6c7557b13
|
merge FCFGParsing with GF.Parsing.FCFG
|
2007-09-24 14:36:19 +00:00 |
|
|
kr.angelov
|
9222e4d34c
|
Update GFCCAPI after the removal of FTypes and the FCFG lexer
|
2007-09-24 08:58:46 +00:00 |
|
|
kr.angelov
|
b109169441
|
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
|
36e091d0a1
|
remove FCFG folder
|
2007-09-24 08:19:29 +00:00 |
|
|
kr.angelov
|
6aacec3591
|
remove FTypes module and move all definitions to Formalism.FCFG
|
2007-09-24 08:12:11 +00:00 |
|
|
kr.angelov
|
0cd5e62e83
|
remove some redundant dependencies from FCFG
|
2007-09-23 20:01:25 +00:00 |
|
|
kr.angelov
|
af555cc6a7
|
Optimized mkSingletonSelectors
|
2006-06-21 19:37:18 +00:00 |
|
|
kr.angelov
|
4813788a9b
|
tail call recursive implementation of BacktrackM
|
2006-06-21 19:17:25 +00:00 |
|
|
kr.angelov
|
eed8c6f813
|
the newName variable wasn't used and now it is removed
|
2006-06-21 13:45:45 +00:00 |
|
|
kr.angelov
|
811621520c
|
Some performance optimizations
|
2006-06-21 13:40:59 +00:00 |
|
|
kr.angelov
|
cb168e92e2
|
Sync FCFG with the latest repo version
|
2006-06-19 20:17:05 +00:00 |
|
|
kr.angelov
|
694f6eb984
|
code polishing for the literal category support
|
2006-06-08 21:23:29 +00:00 |
|
|
kr.angelov
|
98d0af8d73
|
add the chartAssocs function. It returns both the key and the item.
|
2006-06-08 21:19:40 +00:00 |
|
|
kr.angelov
|
f09e929dd1
|
initial support for literal categories e.g. String,Int and Float
|
2006-06-06 21:30:14 +00:00 |
|
|
kr.angelov
|
283379b57f
|
support for non-linear grammars
|
2006-06-03 17:58:34 +00:00 |
|
|
kr.angelov
|
97dada16f6
|
remove the dummy (Print n) context
|
2006-06-03 10:31:36 +00:00 |
|
|
kr.angelov
|
81d9aea92f
|
the constraints list in the conversion rules should be sorted too
|
2006-06-03 10:30:10 +00:00 |
|
|
kr.angelov
|
58bcb9e22e
|
fix the "stack overflow" error with the Swedish grammar
|
2006-06-02 08:34:17 +00:00 |
|
|
kr.angelov
|
81f2e036e7
|
enable parsing of empty string
|
2006-06-01 21:37:22 +00:00 |
|
|
kr.angelov
|
d1fa17ba6b
|
bugfix
|
2006-06-01 21:36:17 +00:00 |
|
|
kr.angelov
|
35d2d47356
|
update the copyright messages
|
2006-06-01 11:29:30 +00:00 |
|
|
kr.angelov
|
e51eaed4fd
|
add the FCFG parser
|
2006-06-01 11:19:47 +00:00 |
|
|
kr.angelov
|
496f1fc876
|
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
|
f7d8cdfc2e
|
Add foldBM, foldSolutions and foldFinalStates functions
|
2006-06-01 10:12:38 +00:00 |
|