• Andrei Paskevich's avatar
    separate abstract types and logic symbols · 1b769a78
    Andrei Paskevich authored
    - put abstract types and aliases in Dtype of tysymbol
    - put (recursive) algebraic types in Ddata of (ts,constr list) list
    - put abstract function/predicate symbols in Dparam of lsymbol
    - put defined logic symbols in Dlogic of (ls,ls_definition) list
    1b769a78
Name
Last commit
Last update
..
alt_ergo.drv Loading commit data...
alt_ergo_0.93.drv Loading commit data...
alt_ergo_bare.drv Loading commit data...
alt_ergo_smt2.drv Loading commit data...
coq-common.gen Loading commit data...
coq-realize.drv Loading commit data...
coq.drv Loading commit data...
cvc3.drv Loading commit data...
cvc3_bare.drv Loading commit data...
discrimination.gen Loading commit data...
gappa.drv Loading commit data...
pvs-common.gen Loading commit data...
pvs.drv Loading commit data...
simplify.drv Loading commit data...
tptp.drv Loading commit data...
vampire.drv Loading commit data...
verit.drv Loading commit data...
why3.drv Loading commit data...
why3_smt.drv Loading commit data...
why3_tptp.drv Loading commit data...
yices.drv Loading commit data...
yices_bare.drv Loading commit data...
z3.drv Loading commit data...
z3_bare.drv Loading commit data...
z3_smtv1.drv Loading commit data...