Showing 7 of 7 repositories

katamaran Public
Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail called μSail and verifies separation logic-based contracts of functions by generating (succinct) first-order verification conditions.

katamaran-project/katamaran's past year of commit activity

Rocq Prover
20 4 22 0
Updated Aug 17, 2026
katamaran-project/sail-backend's past year of commit activity

OCaml
2 0 18 0
Updated Jun 15, 2026
katamaran-project/docker-ci's past year of commit activity

Shell
0 0 0 0
Updated Feb 24, 2025
katamaran-project/sail-minimal-caps's past year of commit activity

Makefile
0 0 1 0
Updated May 4, 2023
katamaran-project/katamaran-project.github.io's past year of commit activity

HTML
0 0 0 0
Updated Apr 10, 2023
katamaran-project/opam-repository's past year of commit activity

0 0 0 0
Updated Jul 19, 2022
katamaran-project/minimalcaps's past year of commit activity

Coq
0 0 0 0
Updated May 20, 2022