Skip to content
This repository has been archived by the owner on Mar 28, 2023. It is now read-only.

Releases: whazor/model_checker

1.0.10

11 Mar 12:44
@whazor whazor
1.0.10
acab582
Compare
Choose a tag to compare
1.0.10 Latest
Latest 
small build file updates
Assets 4
Loading

1.0.8

11 Mar 12:30
@whazor whazor
1.0.8
37aad3c
Compare
Choose a tag to compare
1.0.8 
change name and rust version
Assets 4
Loading

1.0.6

11 Mar 12:17
@whazor whazor
1.0.6
193ef98
Compare
Choose a tag to compare
1.0.6 
Rename binary
Assets 4
Loading

1.0.3

11 Mar 11:52
@whazor whazor
1.0.3
b76b141
Compare
Choose a tag to compare
1.0.3 
disable targets
Assets 2
Loading