Alive2 patch updated (5/30) - Githubissues

snu-sf-class / swpp202401

Principles and Practices of Software Development Main Repository

14 stars 4 forks source link

Alive2 patch updated (5/30) #134

Closed strikef closed 5 months ago

strikef commented 6 months ago

Update

Fix modified Alive2 failing to verify vector parallel operations
Add support for vector elementwise comparison operations

File

See here