From 80dbbb88b8f0fa858da5b68a5b6b0804ee8c2037 Mon Sep 17 00:00:00 2001 From: "kr.angelov" Date: Tue, 30 Jul 2013 11:51:49 +0000 Subject: [PATCH] added release notes for the C runtime --- download/release-3.4.8.t2t | 17 +++++++++++++++-- 1 file changed, 15 insertions(+), 2 deletions(-) diff --git a/download/release-3.4.8.t2t b/download/release-3.4.8.t2t index 8edc2ffb3..7f6130ee0 100644 --- a/download/release-3.4.8.t2t +++ b/download/release-3.4.8.t2t @@ -18,8 +18,21 @@ See the [download page http://www.grammaticalframework.org/download/index.html]. Compatibility with GHC 7.4 is also maintained. - A bug in the partial evaluator that caused problems with pattern macros has 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===