basics
Integrate btrpsl
A regular continuous implementation for spread
Ban & fence can be either continuous or discrete now
Continuous && discrete restriction mode for state constraints
Constraint SequentialVMTransitions becomes Seq.
fix continuous fence
Merge remote-tracking branch 'upstream/develop' into develop