Skip to content

Tags: aig-upf/tarski

Tags

v0.8.2

Toggle v0.8.2's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode 
Merge pull request #137 from aig-upf/devel

Testing a possible fix for pyrddl dependency

v0.8.1

Toggle v0.8.1's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode 
Merge pull request #136 from aig-upf/devel

Fix pypi publishing workflow

v0.8.0

Toggle v0.8.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode 
Merge pull request #135 from aig-upf/devel

Create Release 0.8

v0.7.0

Toggle v0.7.0's commit message 
Tarski release v0.7.0

v0.6.0

Toggle v0.6.0's commit message 
Tarski release v0.6.0

v0.5.1

Toggle v0.5.1's commit message 
Tarski release v0.5.1

v0.5.0

Toggle v0.5.0's commit message 
Tarski release v0.5.0

v0.4.0

Toggle v0.4.0's commit message 
Tarski release v0.4.0

v0.3.0

Toggle v0.3.0's commit message 
Tarski release v0.3.0

v0.2.0

Toggle v0.2.0's commit message 
Tarski release v0.2.0