mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-22 19:22:50 -06:00
added release notes for the C runtime
This commit is contained in:
@@ -18,8 +18,21 @@ See the [download page http://www.grammaticalframework.org/download/index.html].
|
|||||||
Compatibility with GHC 7.4 is also maintained.
|
Compatibility with GHC 7.4 is also maintained.
|
||||||
- A bug in the partial evaluator that caused problems with pattern macros has
|
- A bug in the partial evaluator that caused problems with pattern macros has
|
||||||
been fixed.
|
been fixed.
|
||||||
- [...]
|
- The new runtime in C is now stable enough to be used although there
|
||||||
|
are still features from the Haskell runtime which are not ported yet.
|
||||||
|
The new runtime provides the following new features:
|
||||||
|
- state of the art statistical parser for GF (PMCFG)
|
||||||
|
- the parser is usable in a robust mode, i.e. even if the
|
||||||
|
sentence is not in the scope of the grammar it is still possible
|
||||||
|
to get a list of parsable chunks
|
||||||
|
- the linearizer is also more robust than the one in Haskell since
|
||||||
|
it can linearize the partial trees returned from the robust parser
|
||||||
|
- the exhaustive generation for GF abstract trees generates the trees
|
||||||
|
in decreasing probability order (the order in Haskell is unspecified).
|
||||||
|
- we have started using just-in-time compilation to native code in
|
||||||
|
the exhaustive generator. The goal is to reach the state where
|
||||||
|
GF will provide state of the art theorem prover.
|
||||||
|
[/src/runtime/c/ ../src/runtime/c/]
|
||||||
|
|
||||||
===Resource Grammar Library===
|
===Resource Grammar Library===
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user