summaryrefslogtreecommitdiff
path: root/src/runtime/c/pgf/reader.c
AgeCommit message (Collapse)Author
2013-06-25Now there is a just-in-time compiler which generates native code for proof ↵kr.angelov
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.
2013-04-26finally the statistical parser is able to return all possible abstract treeskr.angelov
2013-04-18added API for computing bracketed strings from Python and Ckr.angelov
2013-02-19bugfix in the grammar reader in the C runtimekr.angelov
2013-02-11refactoring: now all named objects in the C runtime have an explicit name fieldkr.angelov
2013-02-11remove the pgf2yaml tool which was both broken and redundant. The ↵kr.angelov
declarations for generic programming from data.c are removed as well
2013-02-11the grammar reader in the C runtime is completely rewritten and it doesn't ↵kr.angelov
use the generic programming API
2013-01-07a new reasoner in the C runtime. It supports tabling which makes it ↵kr.angelov
decideable for propositional logic. dependent types and high-order types are not supported yet. The generation is still in decreasing probability order
2012-12-19a major reimplementation of the linearizer in the C runtimekr.angelov
2012-12-12started an official API to the C runtimekr.angelov
2012-10-29use prob_t instead of float in a few placeskr.angelov
2012-10-25a major refactoring in the robust parser: bottom-up filtering and garbage ↵kr.angelov
collection for the chart
2012-09-24now the meta probability for a category is explicitly specified in the ↵kr.angelov
statistical model instead of computed internally. this avoids rounding errors while computing the sum of a large number of small values.
2012-09-18the C runtime now has a type prob_t which is used only for probability valueskr.angelov
2012-09-06bugfix in the C parserkr.angelov
2012-06-12now there is a limit of 2000000 items in the chart of the robust parser. ↵kr.angelov
This prevents from explosion in the memory size but it will also prevent us from parsing some sentences.
2012-06-12now the robust parser is purely top-down and the meta rules compete on a ↵kr.angelov
fair basis with the grammar rules
2012-05-08a new unbiased statistical parser. it is still far from perfect use it on ↵kr.angelov
your own risk.
2012-03-12libpgf: a new implementation for literals which also allows custom literals. ↵kr.angelov
the same mechanism is now used for the metavariables
2012-03-07libpgf: implementation for built in literal categorieskr.angelov
2012-03-05libpgf: now all concrete functions and categories are explicitly linked to ↵kr.angelov
their abstract counter parts
2012-02-29libpgf: the first prototype for the robust parserkr.angelov
2012-02-24libpgf: fix in pgf_read_into_mapkr.angelov
2012-02-24libpgf: simple fix in the grammar printer and the readerkr.angelov
2012-02-22libpgf: now we have both complete bottom up index for robust parsing and ↵kr.angelov
fast lexical lookup from the same index
2012-02-22libpgf: the map curr_lindefs must be allocated from a temporary poolkr.angelov
2012-02-21libpgf: added index for fast lexicon lookup. Still not perfectkr.angelov
2012-02-18libpgf: now the linearization index is created during the grammar loading ↵kr.angelov
which also makes the types PgfLzr and PgfParser redundant.
2012-02-17libpgf: simplify the loading of PgfCncCatkr.angelov
2012-01-26libpgf: fix a warning in reader.ckr.angelov
2012-01-24libpgf: few fixes to make the loading of grammars with def rules possiblekr.angelov
2012-01-23libpgf: extra_ccat is now redundant and was removedkr.angelov
2012-01-23libpgf: debugging framework for the parserkr.angelov
2012-01-23libpgf: the concrete categories were allocated from the temporary poolkr.angelov
2012-01-23libpgf: move the lindefs field from PgfCncCat to PgfCCat. display the list ↵kr.angelov
in the grammar printout
2012-01-21added an API for printing the PGF to human readable formatkr.angelov
2012-01-21fix the crash in the reader when there aren't any productions per category.kr.angelov
2012-01-20initial import of the C runtimekr.angelov
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 08:56:32 +0000