| Age | Commit message (Collapse) | Author |
|
60% of the CPU time when reading a large .gfo file. Replacing BinTree by Data.Map reduced this to about 6%, which meant about 50% reduction in total CPU time.
|
|
|
|
|
|
GF-embed does not have to include GF.Data.Operations.
|
|
|
|
|
|
|
|
|
|
in SRG generation. Added support for probabilities in for SRGS.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Field lock in MkResource.
Terrible bug fixed in Check Grammar.
|
|
Rebuilding resource libraries.
Working with resource interfaces.
|
|
|
|
|