Commits · master · curry-packages / smtlib-solver

Oct 05, 2021
- Add `solveAllSMTVars` to solver session. · 749f911f
  Michael Hanus authored 3 years ago
  
  View commits for tag v3.0.0 v3.0.0
  
  749f911f
May 31, 2021
- Add MonadFail instance · cce71608
  Michael Hanus authored 3 years ago
  
  cce71608
- Merge branch 'master' into 'master' · 0735e46a
  Michael Hanus authored 3 years ago
  
  Update to base-3.0.0 See merge request !1
  0735e46a
May 28, 2021
- Update to base-3.0.0 · 77cc4f11
  Niels Bunkenburg authored 3 years ago
  
  77cc4f11
- Update to base-3.0.0 · 605e7379
  Niels Bunkenburg authored 3 years ago
  
  605e7379
Jan 22, 2018
- Refactor instances of session monads · a9507bdc
  Jan Rasmus Tikovsky authored 7 years ago
  
  a9507bdc
- Add SMT operation to generate fresh variables · 2208f2ab
  Jan Rasmus Tikovsky authored 7 years ago
  
  2208f2ab
Jan 11, 2018
- whenM/unlessM removed (now in Prelude) · 652a9624
  Michael Hanus authored 7 years ago
  
  View commits for tag v0.0.1 v0.0.1
  
  652a9624
Jan 08, 2018
- Merge branch 'master' of ssh://git.ps.informatik.uni-kiel.de:55055/curry-packages/smtlib-solver · 0b694b9f
  Jan Rasmus Tikovsky authored 7 years ago
  
  0b694b9f
Dec 20, 2017
- Category changed to verification · 356d46dc
  Michael Hanus authored 7 years ago
  
  356d46dc
Dec 14, 2017
- Some refactoring regarding SMT dumps · 54685590
  Jan Rasmus Tikovsky authored 7 years ago
  
  54685590
- Make use of writeSMTDump in smtlib package · 9c804f48
  Jan Rasmus Tikovsky authored 7 years ago
  
  9c804f48
Nov 28, 2017
- source info added · c3a68509
  Michael Hanus authored 7 years ago
  
  c3a68509
- SMTLIB solver package created · ac97ec07
  Michael Hanus authored 7 years ago
  
  ac97ec07