Home
last modified time | relevance | path

Searched refs:tree_spec (Results 1 – 8 of 8) sorted by relevance

/dports/devel/lua-stdlib/lua-stdlib-release-v41.2.2/specs/
H A Dspecs.mk30 $(srcdir)/specs/tree_spec.yaml \
/dports/cad/nvc/nvc-r1.5.3/src/
H A Dtree.h307 tree_t tree_spec(tree_t t);
H A Ddump.c895 tree_t bind = tree_value(tree_spec(t)); in dump_stmt()
H A Djson.c820 tree_t bind = tree_value(tree_spec(t)); in dump_stmt()
H A Dtree.c799 tree_t tree_spec(tree_t t) in tree_spec() function
H A Dsem.c7326 tree_t exist = tree_spec(inst); in sem_bind()
/dports/devel/lua-stdlib/lua-stdlib-release-v41.2.2/
H A DChangeLog1405 specs/table_spec.yaml, specs/tree_spec.yaml,
3382 specs/tree_spec.yaml: Update to reflect removal of default
3462 specs/table_spec.yaml, specs/tree_spec.yaml: Remove explicit
3473 specs/tree_spec.yaml: Use `not_to_` instead of `should_not`,
3537 * specs/tree_spec.yaml (std.tree): Remove pending call for
3741 * specs/tree_spec.yaml: Use `a_permutation_of` instead of
3941 specs/tree_spec.yaml: Rewrite specs that check symbol leaks
4083 * specs/tree_spec.yaml: Replace object methods with module
4165 * specs/tree_spec.yaml (node): Use `should_contain.all_of`
4191 * specs/tree_spec.yaml: New file. Examples of how tree APIs
[all …]
H A DMakefile.in454 $(srcdir)/specs/tree_spec.yaml \