Skip to content

Releases: cychen2021/isla

Release list

240804

240804 Latest
Latest

Choose a tag to compare

View all tags
@cychen2021 cychen2021 released this 04 Aug 01:24
240804
414153f 
Fix a bug that cause too deep recursion
Assets 2
Loading

240801-fix2

240801-fix2

Choose a tag to compare

View all tags
@cychen2021 cychen2021 released this 01 Aug 12:34
240801-fix2
7636203 
Fix bugs
Loading

240801-fix1

240801-fix1

Choose a tag to compare

View all tags
@cychen2021 cychen2021 released this 01 Aug 12:16
240801-fix1
84c79a9 
Fix a typo
Loading

240801

240801

Choose a tag to compare

View all tags
@cychen2021 cychen2021 released this 01 Aug 10:52
240801
1a04b78
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode. 
Merge pull request #94 from vasylenson/fix-level

Fix level predicate
Loading