Repository navigation

All pull requests

Simplify the nodes the Simplifier's rules build
#936JonasAlaif opened Oct 2, 2026Contributor
Build the call graph once in findFunctionCyclesVia
#935JonasAlaif opened Oct 1, 2026Contributor
1
Fix compiler warnings and treat them as errors
#926jcp19 opened Aug 11, 2026Contributor
10
Bump actions/checkout from 6 to 7 in the all group across 1 directory
#919dependabot[bot] opened Jul 1, 2026Bot
Add dependency analysis features
#910AndreaKe opened May 19, 2026Collaborator
17
Enable verification of single methods
#905rayman2000 opened Feb 26, 2026Contributor
Allow adt constructors to have associated axiom
#866JonasAlaif opened May 6, 2025Contributor
5
Display failing branches
#8617i6ht opened Mar 25, 2025
iterative simplifier
#860friedusb opened Mar 24, 2025
Fix all compiler warnings
#848jcp19 opened Feb 21, 2025Contributor
Consistency checks to forbid inhale-exhale-assertions in function preconditions and predicate bodies
#828marcoeilers opened Dec 29, 2024Contributor
Allow custom error message for assertion failures via @msg annotation
#815marcoeilers opened Oct 9, 2024Contributor
1
Add Inhaling expression
#799manud99 opened Jun 11, 2024Contributor
Test suite for magic wand snap functions.
#796manud99 opened May 13, 2024Contributor
Advanced logical proofs
#785jogasser opened Apr 18, 2024Contributor
51
Parser changes for documentation generator
#780fnussbaum opened Mar 18, 2024
1
ignore non-deterministic test
#768Dspil opened Feb 7, 2024Contributor
(AdtPlugin) fixes and regression tests for #581
#582Pointerbender opened May 27, 2022
2
Adds functions as a dependency to methods
#549ArquintL opened Dec 17, 2021Member
2
Unroll first and last iteration in encoding
#545JonasAlaif opened Dec 6, 2021Contributor
1

Pull requests