Repositories list

• sail-backend

  Public
  Katamaran backend for Sail

  Common Lisp

  •0•2•10•0•Updated Jan 14, 2025Jan 14, 2025

• 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.

  verificationsymbolic-executioninstruction-set-architecture+ 1separation-logic

  Coq

  •

  Other

  •4•17•16•0•Updated Jan 9, 2025Jan 9, 2025

• sail-minimal-caps

  Public
  Makefile

  •

  Other

  •0•0•1•0•Updated May 4, 2023May 4, 2023

• katamaran-project.github.io

  Public
  HTML

  •0•0•0•0•Updated Apr 10, 2023Apr 10, 2023

• opam-repository

  Public
  0•0•0•0•Updated Jul 19, 2022Jul 19, 2022

• minimalcaps

  Public
  Coq

  •

  Other

  •0•0•0•0•Updated May 20, 2022May 20, 2022