summaryrefslogtreecommitdiff
path: root/src/runtime/c/pgf/expr.c
AgeCommit message (Collapse)Author
2013-09-17a major refactoring in the C runtime. GuList is now removed and replaced ↵kr.angelov
with GuSeq. The GuSeq/GuBuf API is simplified
2013-09-05remove the string internalization since it slows down grammar loading with ↵kr.angelov
little benefit
2013-09-05remove the read and write modules from libgu. this simplifies the i/o layerkr.angelov
2013-07-02complete pgf_expr_eq in the C runtimekr.angelov
2013-07-02hash function for abstract syntax treeskr.angelov
2013-06-27a complete Python API for reading, printing and manipulation of abstract ↵kr.angelov
trees and types. This includes dependent types, high-order abstract syntax and implicit arguments
2013-05-21fix the encoding problem with unicode literals in the Python bindingkr.angelov
2013-04-19the C runtime and the Python binding now have an API for parser evaluation. ↵kr.angelov
The API computes PARSEVAL and Exact Match for a given tree. As a side effect the abstract trees in Python are now compared for equality by value and not by reference
2013-02-11the grammar reader in the C runtime is completely rewritten and it doesn't ↵kr.angelov
use the generic programming API
2012-12-18the C runtime now can read abstract expressions with literals and meta variableskr.angelov
2012-12-13a top-level API for parsing in the C runtimekr.angelov
2012-12-13bugfix: pgf_read_expr no longer requires a semicolon at the end of an ↵kr.angelov
abstract expression
2012-03-07libpgf: implementation for built in literal categorieskr.angelov
2012-02-27libpgf: pretty printing for expressions with metavaraibleskr.angelov
2012-02-17libpgf: added printer.ckr.angelov
2012-01-24libpgf: few fixes to make the loading of grammars with def rules possiblekr.angelov
2012-01-23libpgf: printing of literals and flagskr.angelov
2012-01-21added an API for printing the PGF to human readable formatkr.angelov
2012-01-20initial import of the C runtimekr.angelov
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-26 08:25:45 +0000