index
:
gf-core.git
master
optimize
Unnamed repository; edit this file 'description' to name the repository.
Adrian
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
GF
/
Devel
Age
Commit message (
Collapse
)
Author
2007-12-14
added a module for testgf3
aarne
2007-12-13
removed gfcc via gfc everywhere; workaround for russian in present
aarne
2007-12-13
new GFCC concrete syntax in place everywhere
aarne
2007-12-13
prelude sources to lib/src; present in StructuralEng; refactored checkGFCC
aarne
2007-12-11
variants in gfcc generation
aarne
2007-12-10
some adjustments in GFCC generation (old)
aarne
2007-12-09
debugging new compilation
aarne
2007-12-09
extend behaviour for interface and incomplete
aarne
2007-12-08
noemit as default in testgf3
aarne
2007-12-08
breaking points 1..6 in new Compile
aarne
2007-12-08
documenting implementation started
aarne
2007-12-08
compilation line complete (but dysfunctional) for new GF internal format
aarne
2007-12-08
GFtoGFCC type checks (but is not correct)
aarne
2007-12-08
names resolve in new GFtoGFCC
aarne
2007-12-08
started modifying GFtoGFCC for new internal GF format
aarne
2007-12-07
a couple of fixes in new Optimize
aarne
2007-12-07
restructured some of the new GF format; modules now in place up to gfo ↵
aarne
generation
2007-12-07
started adding GF back optimization (Factorize)
aarne
2007-12-07
optimize in the compilation chain for new format
aarne
2007-12-07
refresh compilation phase in the new format
aarne
2007-12-06
new type checker type checks
aarne
2007-12-06
in the middle of adapting CheckGrammar
aarne
2007-12-06
started grammar checking with new internal format
aarne
2007-12-06
restored work on Extend and Rename
aarne
2007-12-04
restored interface and instance - at least for a while
aarne
2007-12-04
rebuild integrated in Extend
aarne
2007-12-04
building extensions in new source format
aarne
2007-12-04
unifying judgement information - now easy
aarne
2007-12-04
printing new source format
aarne
2007-12-04
some missing cases in SourceToGF
aarne
2007-12-04
test for new GF source format
aarne
2007-12-04
moved some modules to Devel.Grammar
aarne
2007-12-04
SourceToGF working though not complete
aarne
2007-11-28
Haskell GSyntax printer?: encode generated code as UTF-8. Current GHC ↵
bringert
versions treat source files as UTF-8 encoded.
2007-12-03
started parsing GF source into the new format
aarne
2007-11-29
some macros for terms, jments, modules
aarne
2007-11-28
judgement construction after parsing
aarne
2007-11-28
lookup module separated
aarne
2007-11-28
new definitions of term and judgement syntax
aarne
2007-11-28
lookup modules
aarne
2007-11-27
started experimental new module syntax
aarne
2007-11-15
dealing with Ints n in GrammarToGFCC
aarne
2007-11-12
made Devel versions of Compute, CheckGrammar, Optimize, etc, to leave GF 2.8 ↵
aarne
untouched when experimenting
2007-11-12
made compile from source use optimized modules internally
aarne
2007-11-12
fixed a bug on not updating parameter table in record fields in GrammarToGFCC
aarne
2007-11-12
fixed bug with prawitz transform of course-of-values tables in Compute
aarne
2007-11-12
merged gfc and gfi to one binary, and a shell script for gfc
aarne
2007-11-10
printing grammarReference.js with gfc -jsref
aarne
2007-11-09
post-compute in GrammarToGFCC - what else is needed?
aarne
2007-11-09
Fix pre token bug in JS, both in gf and gfc. Pre tokens are still treated ↵
bringert
like normal tokens, but at least the generated code should be correct now.
[prev]
[next]