Commits · github/fork/mario-bucev/more-instantiation · LARA / inox

View open merge request

Sep 26, 2022
- Adding a case for type instantiation · 786bb219
  Mario Bucev authored 2 years ago
  
  786bb219
Jun 10, 2022
- Update Scala-SMTLIB · 1c8c0bac
  Mario Bucev authored 2 years ago
  
  1c8c0bac
- Fix symbol pretty-printing · 75cbee5a
  Mario Bucev authored 3 years ago
  
  75cbee5a
- Make PurityOptions a case class, fix warnings, disable scaladoc gen · 139cdc59
  Mario Bucev authored 3 years ago
  
  139cdc59
Mar 07, 2022
- Fix 'unknown constant k0!xyz' arising in some cases when using smt-z3 · 8b360ea1
  Mario Bucev authored 3 years ago
  
  8b360ea1
Jan 16, 2022
- Merge pull request #177 from mario-bucev/scala-3.x · 4f7a8ef0
  Nicolas Voirol authored 3 years ago
  4f7a8ef0
Jan 13, 2022
- Fixing printing · 101bb7de
  Mario Bucev authored 3 years ago
  
  101bb7de
- Merge branch 'master' into scala-3.x · c2f79cd9
  Mario Bucev authored 3 years ago
  c2f79cd9
Jan 10, 2022
- Merge pull request #175 from mario-bucev/z3-4.8.14 · b0a9a2b3
  Nicolas Voirol authored 3 years ago
  b0a9a2b3
- Applying suggestions · c4359cf6
  Mario Bucev authored 3 years ago
  
  c4359cf6
- Applying suggested changes · 82269264
  Mario Bucev authored 3 years ago
  
  82269264
- Applying suggestions · dac3c3fe
  Mario Bucev authored 3 years ago
  
  dac3c3fe
Jan 07, 2022
- Upgrade ScalaZ3 to 4.8.14 · 3a76f579
  Mario Bucev authored 3 years ago
  
  3a76f579
- Merge pull request #171 from mbovel/mb/optimizer-suite · 2f402f9b
  Nicolas Voirol authored 3 years ago
  2f402f9b
Jan 06, 2022
- Synchronize native optimizer creation and destruction · c97ee318
  Matt Bovel authored 3 years ago
  
  c97ee318
Jan 03, 2022
- Add support for minimize/maximize in Optimizers · eb8329bb
  Matt Bovel authored 3 years ago
  
  eb8329bb
Dec 13, 2021
- Merge pull request #174 from mbovel/patch-1 · efd76f30
  Nicolas Voirol authored 3 years ago
  efd76f30
- Add me to the trusted list · cae6402f
  Matt Bovel authored 3 years ago
  
  cae6402f
Dec 10, 2021
- Merge pull request #172 from mario-bucev/bump-sbt · 08502b2a
  Nicolas Voirol authored 3 years ago
  08502b2a
- Bump SBT version · beccc362
  Mario Bucev authored 3 years ago
  
  beccc362
- Merge pull request #173 from mario-bucev/bump-sbt-version-scala3 · 8c70620a
  Nicolas Voirol authored 3 years ago
  8c70620a
- Bump SBT version · 3d52e62b
  Mario Bucev authored 3 years ago
  
  3d52e62b
Dec 02, 2021
- Merge pull request #170 from mario-bucev/extras · 6d37677f
  Nicolas Voirol authored 3 years ago
  6d37677f
Nov 18, 2021
- Adding BitVectors literals arithmetic simplification · 64d9b632
  Mario Bucev authored 3 years ago
  
  64d9b632
Nov 09, 2021
- Merge pull request #168 from mario-bucev/migration-3.0 · 993121e9
  Viktor Kunčak authored 3 years ago
  993121e9
Nov 01, 2021
- Migrate to Scala 3 · 3d44d456
  Mario Bucev authored 3 years ago
  
  3d44d456
Sep 23, 2021
- Merge pull request #166 from mario-bucev/migration-2.13 · e74baa7f
  Viktor Kunčak authored 3 years ago
  e74baa7f
Sep 22, 2021
- Migrate to Scala 2.13 · 4839631a
  Mario Bucev authored 3 years ago
  4839631a
Sep 13, 2021
- Merge pull request #165 from mario-bucev/add-mario-trusted-users · 5a175ff1
  Nicolas Voirol authored 3 years ago
  5a175ff1
- Add mario-bucev to trusted users · 19f02019
  Mario Bucev authored 3 years ago
  
  19f02019
- Merge pull request #161 from jad-hamza/strings2 · e378d621
  Nicolas Voirol authored 3 years ago
  e378d621
Sep 07, 2021
- Move interrupted check lower in NonIncrementalSolver and add synchronization... · 5a5f27aa
  Jad Hamza authored 3 years ago
  5a5f27aa
Sep 02, 2021
- Merge pull request #162 from epfl-lara/fix-set-add-typing · 07b4e4f6
  Nicolas Voirol authored 3 years ago
  07b4e4f6
Sep 01, 2021
- Relax SetAdd typing rule analogously to ElementOfSet · cbd74bd3
  Georg Stefan Schmid authored 3 years ago
  
  cbd74bd3
Aug 26, 2021
- Merge pull request #159 from jad-hamza/strings · 11911e8e
  Nicolas Voirol authored 3 years ago
  11911e8e
Aug 25, 2021
- Fix bug where non-incremental would run even when interrupted · fe8e5ceb
  Jad Hamza authored 3 years ago
  
  fe8e5ceb
Aug 05, 2021
- Add string parsing for Z3 4.8.12 · bbcdaed9
  Jad Hamza authored 3 years ago
  
  bbcdaed9
Jun 28, 2021
- Merge pull request #158 from jad-hamza/bitset-fix2 · 2f66f5ab
  Nicolas Voirol authored 3 years ago
  2f66f5ab
Jun 22, 2021
- Only add ones for signed bitvectors when shifting right · 8773ca5b
  Jad Hamza authored 3 years ago
  
  8773ca5b
- Merge pull request #157 from jad-hamza/bitset-fix · a17599db
  Nicolas Voirol authored 3 years ago
  a17599db