Skip to content

Releases: AliaumeL/polyregular-model-checking

Release list

v.0.0.5

v.0.0.5 Latest
Latest

Choose a tag to compare

View all tags
@github-actions github-actions released this 30 Apr 15:58
v.0.0.5
4f9e99f 
Unicode bug
Assets 3
Loading

v.0.0.4

v.0.0.4

Choose a tag to compare

View all tags
@github-actions github-actions released this 30 Apr 06:50
v.0.0.4
5e170f6 
Smoke test phase
Loading

v.0.0.3

v.0.0.3

Choose a tag to compare

View all tags
@github-actions github-actions released this 14 Apr 12:53
v.0.0.3
af9a50c 
CAV'25 artifacts submission
Loading

v.0.0.2

v.0.0.2

Choose a tag to compare

View all tags
@github-actions github-actions released this 11 Feb 15:01
v.0.0.2
a411e6f 
Ready for demo MIMUW
Loading