Pinned Repositories
llvm2smt
OCaml library to transform an Llvm control flow graph in an SMT formula.
opam-termite
Opam repository for termite-related packages.
termite
A termination analyser
termite-analyser.github.io
z3overlay
An overlay for the OCaml Z3 binding.
Termite's Repositories
termite-analyser/z3overlay
An overlay for the OCaml Z3 binding.
termite-analyser/llvm2smt
OCaml library to transform an Llvm control flow graph in an SMT formula.
termite-analyser/termite
A termination analyser
termite-analyser/opam-termite
Opam repository for termite-related packages.
termite-analyser/termite-analyser.github.io