Move core module to generic template bindings - #463

Open

linusheck wants to merge 19 commits into

stormchecker:devfrom

linusheck:generic-types-core

Commits on Sep 18, 2026

Commits on Sep 22, 2026

Move DdType definition to storage and import in core
linusheck
committed
8377f56
Remove define_sparse_matrix_nt, move to generic define_sparse_matrix def
linusheck
committed
4a1f7ff
Update src/core/core.cpp

linusheck
and
volkm
authored
d60fe03
Make define_build_sparse_model_defs generic, define_symbolic_model on intervals
linusheck
committed
ea18c61
Merge branch 'generic-types-core' of github.com:linusheck/stormpy into generic-types-core
linusheck
committed
2eb0e6c
autoformat
linusheck
committed
db08c9a
move definitions to correct place
linusheck
committed
eed28cb
Remove guards against previously unsupported interval bindings
linusheck
committed
147cb4d
Update lib/stormpy/__init__.py

linusheck
and
volkm
authored
77e8c63
Update lib/stormpy/__init__.py

linusheck
and
volkm
authored
90832fb
parametrize tests over value types
linusheck
committed
4fbc14f
Organize tests a bit
linusheck
committed
5145404
Merge branch 'generic-types-core' of github.com:linusheck/stormpy into generic-types-core
linusheck
committed
980ae83
Symbolic interval models are not a thing yet
linusheck
committed
c03a61c