v0.3.0

Latest

Latest

github-actions released this 13 Aug 22:19

· 1 commit to master since this release

SwitchOnSafety v0.3.0

Diff since v0.2.3

Merged pull requests:

Convert AP12e21 to literate (#52) (@blegat)
Convert PJ08e54 with Literate (#54) (@blegat)
Fix typo in doc for invariant polytope (#58) (@blegat)
Update ci actions (#59) (@blegat)
Update to new versions (#60) (@blegat)
JCSR (#61) (@realharryhero)

Contributors

blegat and realharryhero

Assets 2