GitHub · Where software is built

Labels Milestones New issue

WPST command exits too early

#353

· giltho opened

on Jul 16, 2025

Move Sphinx documentation out of this repo

#350

· NatKarmios opened

on May 26, 2025

Compile WISL invariants to actual invariants.

#347

· NatKarmios opened

on May 23, 2025

Add leak check in Verification (at least for the debugger)

#346

· NatKarmios opened

on May 22, 2025

Debugger doesn't handle multiple tests for the same function

#345

· NatKarmios opened

on May 21, 2025

Global predicates

#338

· klausnat opened

on Mar 27, 2025

<code>ConfErr</code>s are not logged in DB

#335

· NatKarmios opened

on Feb 25, 2025

Relax restriction on file name suffixes

#290

· xldenis opened

on May 21, 2024

Split the gillian debugger into a separate build target / package

#287

· xldenis opened

on Apr 19, 2024

Add CI to check for version bump in PRs to master

#283

· NatKarmios opened

on Apr 2, 2024

·

Gillian Debugging Tool Paper Artifact

Update documentation for artifact

#282

· NatKarmios opened

on Apr 2, 2024

·

Gillian Debugging Tool Paper Artifact

Fix the signature of bi-abduction functions

#245

· giltho opened

on Apr 25, 2023