From d553cb165a5dd02c8d27e88a196e0e6b15cf389b Mon Sep 17 00:00:00 2001 From: "kr.angelov" Date: Tue, 25 Jun 2013 19:22:42 +0000 Subject: Now there is a just-in-time compiler which generates native code for proof search. This is already used by the exhaustive generator. The time to generate 10000 abstract trees with ParseEng went down from 4.43 sec to 0.29 sec. --- src/runtime/c/pgf/reader.h | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src/runtime/c/pgf/reader.h') diff --git a/src/runtime/c/pgf/reader.h b/src/runtime/c/pgf/reader.h index adfcad0ef..95dfc855f 100644 --- a/src/runtime/c/pgf/reader.h +++ b/src/runtime/c/pgf/reader.h @@ -13,4 +13,7 @@ pgf_new_reader(GuIn* in, GuPool* opool, GuPool* tmp_pool, GuExn* err); PgfPGF* pgf_read_pgf(PgfReader* rdr); +void +pgf_reader_done(PgfReader* rdr, PgfPGF* pgf); + #endif // READER_H_ -- cgit v1.2.3