Skip to content

Commit

Permalink
Merge pull request #1596 from GaloisInc/mr-solver/reorg
Browse files Browse the repository at this point in the history
[MRSolver] Split Mr. Solver work into multiple files
mergify[bot] authored Feb 23, 2022
2 parents d31f778 + 3d62f32 commit b3d9a3b
Showing 6 changed files with 2,015 additions and 1,897 deletions.
4 changes: 4 additions & 0 deletions saw-script.cabal
Original file line number Diff line number Diff line change
@@ -159,6 +159,10 @@ library
SAWScript.Prover.Util
SAWScript.Prover.SBV
SAWScript.Prover.MRSolver
SAWScript.Prover.MRSolver.Monad
SAWScript.Prover.MRSolver.SMT
SAWScript.Prover.MRSolver.Solver
SAWScript.Prover.MRSolver.Term
SAWScript.Prover.RME
SAWScript.Prover.ABC
SAWScript.Prover.What4
Loading

0 comments on commit b3d9a3b

Please sign in to comment.