Skip to content

Commit

Permalink
Update BV to gradual type system (cvc5#9819)
Browse files Browse the repository at this point in the history 
This updates BV's type system to allow arguments of BV operators to have abstract types.
  • Loading branch information
@ajreynol
ajreynol authored Dec 21, 2023
1 parent bcd0007 commit 2b01848
Show file tree
Hide file tree
Showing 2 changed files with 221 additions and 77 deletions.
Loading

0 comments on commit 2b01848

Please sign in to comment.