Skip to content

Releases: vorpal-research/JavaBoolector

Move from JetBrains to Vorpal

29 Apr 08:39
@AbdullinAM AbdullinAM
3.2.6
45bafd7
Compare
Choose a tag to compare
Move from JetBrains to Vorpal Latest
Latest

Full Changelog: 3.2.5...3.2.6

Assets 5
Loading

3.2.5: Merge pull request #1 from AbdullinAM/master

21 May 14:29
@AbdullinAM AbdullinAM
3.2.5
74c5aef
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.
Compare
Choose a tag to compare
3.2.5: Merge pull request #1 from AbdullinAM/master 
refactoring
Assets 5
Loading