pauleve / pint

Static analyzer for dynamics of Automata Networks

http://loicpauleve.name/pint

pauleve/pint Issues

Tests for goal-oriented reduction
Updated 5 years ago
Tests for reachability under-approximation with syncronized transitions
Updated 5 years ago
Switch to Zarith (was: Pint does not compile with ocaml version 4.07.1)
Closed 5 years ago2
Support for synchronized transitions in bifurcation transitions
Closed 6 years ago
Installation failed (its-tools)
Closed 6 years ago2
Move pint-its to pypint
Closed 6 years ago
Move pint-nusmv to pypint
Closed 6 years ago
NuSMV export: support for synchronized transitions
Updated 6 years ago
NuSMV export: add support for non-deterministic initial state
Closed 7 years ago1
pint_install_deps: check for clingo version
Closed 7 years ago
PINT_SHARE_PATH should always work
Closed 7 years ago
Supports empty model as input
Closed 6 years ago
Use ginsim python module when available
Closed 7 years ago1
Add support for synchronized transitions for under-approximation of reachability
Closed 7 years ago
pint_install_deps: wrong opening mode in install_bin_from_tar with python 3.6.1
Closed 7 years ago
bug for GINsim installtion via pint_install_deps
Closed 7 years ago
Description of the syntax is out of date
Closed 9 years ago4