Searched defs:true_term (Results 1 - 9 of 9) sorted by last modified time
| /seL4-l4v-master/graph-refine/ |
| H A D | syntax.py | 1097 true_term = Expr ('Op', boolT, name = 'True', vals = []) variable
|
| H A D | stack_logic.py | 716 from syntax import mk_not, mk_and, true_term namespace
762 from syntax import true_term namespace
[all...] |
| H A D | solver.py | 175 from syntax import (Expr, fresh_name, builtinTs, true_term, false_term, namespace
|
| H A D | rep_graph.py | 8 from syntax import (true_term, false_term, boolT, mk_and, mk_not, mk_implies, namespace
|
| H A D | problem.py | 7 from syntax import (Expr, mk_var, Node, true_term, false_term, namespace
|
| H A D | loop_bounds.py | 12 from syntax import mk_not, true_term, false_term, mk_implies, Expr, Type, unspecified_precond_term,mk_and namespace
|
| H A D | logic.py | 9 from syntax import true_term, false_term, mk_num namespace
[all...] |
| H A D | check.py | 21 from syntax import (true_term, false_term, boolT, mk_var, mk_word32, mk_word8, namespace
|
| /seL4-l4v-master/graph-refine/graph-to-graph/ |
| H A D | elf_correlate.py | 11 from graph_refine.syntax import true_term, false_term, mk_not namespace
|
Completed in 86 milliseconds