Skip to content

Commit

Permalink
Merge pull request #1598 from GaloisInc/mr-solver/refactor-fassumps
Browse files Browse the repository at this point in the history 
[MRSolver] Refactor MRM monad, add infrastructure for widening co-inductive hypotheses
  • Loading branch information
@mergify
mergify[bot] authored Feb 25, 2022
2 parents b3d9a3b + 74dd8a4 commit 7c1ee59
Show file tree
Hide file tree
Showing 3 changed files with 244 additions and 100 deletions.
Loading

0 comments on commit 7c1ee59

Please sign in to comment.