Interleave algorithm from CAV'25 - #769

Draft

sjunges wants to merge 25 commits into

stormchecker:masterfrom

Ramneet-Singh:stable

Commits on Apr 9, 2025

Storm version 1.8.1 (#390)

volkm
authored and
Ramneet-Singh
committed
5e5fe70
Add --benchmarkForceMECDecompositionAlgorithm Command Line Setting
Ramneet-Singh
committed
12a48d6
Setup Benchmarking Skeleton | Next step is to fill in MEC Decomp Algos
Ramneet-Singh
committed
673d925
Add pickOneCube Bdd Op to Sylvan and Cudd | Add _stats and normal implementations for Naive,Lockstep | Change #pragma once discipline
Ramneet-Singh
committed
aca5863
Fix Bdd.cpp bug | Add placeholders for Interlave impls
Ramneet-Singh
committed
ef508f5
Fix bug in model-handling.h
Ramneet-Singh
committed
542fcbb
Add THESIS_DEBUG include to model-handling
Ramneet-Singh
committed
db00641
Fix Syntax Bugs
Ramneet-Singh
committed
e1f54bb
Fix Felix Typing Bug in isTrivialSCCWithoutSelfEdge
Ramneet-Singh
committed
e3811d8
Add Interleave Algo | Seems to be correct
Ramneet-Singh
committed
fc68227
Add Interleave Stats Code | Untested
Ramneet-Singh
committed
34444d5
Run clang-format
Ramneet-Singh
committed
594e421
Change Symbolic Ops Benchmark Output
Ramneet-Singh
committed
8d4a447
Fix Interleave Stats Bug
Ramneet-Singh
committed
21a8daa
Remove Printing Transition BDD Stats
Ramneet-Singh
committed
38668b3
Potential Bug Fix
Ramneet-Singh
committed
55978e9
Potential Bug Fix
Ramneet-Singh
committed
8dbb058
Add Acknowledgment to Felix
Ramneet-Singh
committed
d06835b

Commits on Apr 13, 2025

Update README.md
Ramneet-Singh
committed
433363c
Change Stork to Storm
Ramneet-Singh
committed
3b3834a
Update README.md
Ramneet-Singh
committed
f448b00
Update README.md
Ramneet-Singh
committed
00e1604
Update README.md
Ramneet-Singh
committed
c36b96a
Fix typo in README
Ramneet-Singh
committed
631990a
Change early exit so peak memory stats are also printed
Ramneet-Singh
committed
ad93540