Merge requests · LARA / inox · GitLab

Add me to the trusted list

!174 · created Dec 13, 2021 by Viktor Kuncak master
- Merged
updated Dec 13, 2021
Bump SBT version

!172 · created Dec 10, 2021 by Viktor Kuncak master
- Merged
updated Dec 10, 2021
Bump SBT version (Scala 3 branch)

!173 · created Dec 10, 2021 by Viktor Kuncak scala-3.x
- Merged
updated Dec 10, 2021
Adding BitVectors literals arithmetic simplification

!170 · created Nov 18, 2021 by Viktor Kuncak scala-3.x
- Merged
updated Dec 02, 2021
Migrate to Scala 3

!168 · created Oct 14, 2021 by Viktor Kuncak scala-3.x
- Merged
updated Nov 09, 2021
Migrate to Scala 2.13

!166 · created Sep 22, 2021 by Viktor Kuncak master
- Merged
updated Sep 23, 2021
Migrate to Scala 2.13

!164 · created Sep 13, 2021 by Viktor Kuncak scala-2.13
- Merged
updated Sep 16, 2021
Move interrupted check lower in NonIncrementalSolver to avoid race conditions

!161 · created Aug 26, 2021 by Viktor Kuncak master
- Merged
updated Sep 14, 2021
Add mario-bucev to trusted users

!165 · created Sep 13, 2021 by Viktor Kuncak master
- Merged
updated Sep 13, 2021
Relax SetAdd typing rule analogously to ElementOfSet

!162 · created Sep 01, 2021 by Viktor Kuncak master
- Merged
updated Sep 02, 2021
Add string parsing alternative for Z3 4.8.12 + Respect timeouts/interrupts in non-incremental solver

!159 · created Aug 05, 2021 by Viktor Kuncak master
- Merged
updated Aug 26, 2021
When shifting right, only add ones for signed bitvectors

!158 · created Jun 22, 2021 by Viktor Kuncak master
- Merged
updated Jun 28, 2021
Fix crash when mapping BitSet to negative values

!157 · created Jun 22, 2021 by Viktor Kuncak master
- Merged
updated Jun 22, 2021
Fix Path#freeVariables not traversing binding types

!124 · created Jan 25, 2021 by Viktor Kuncak master
- Merged
updated May 19, 2021
Merge rust interop features

!155 · created May 18, 2021 by Viktor Kuncak master
- Merged
updated May 19, 2021
Add @yannbolliger to trusted users

!156 · created May 19, 2021 by Viktor Kuncak master
- Merged
updated May 19, 2021
Use tuple caching logic in declareDatatypes

!154 · created May 12, 2021 by Viktor Kuncak master
- Merged
updated May 12, 2021
Make simplestValue top-level for overrides + hasInstance fix on ADTType

!151 · created May 11, 2021 by Viktor Kuncak master
- Merged
updated May 12, 2021
Avoid using checkAssumptions in non-incremental mode

!149 · created May 09, 2021 by Viktor Kuncak master
- Merged
updated May 10, 2021
Implement @samarion's fix for mergeCalls code explosion

!147 · created May 05, 2021 by Viktor Kuncak master
- Merged
updated May 07, 2021

Prev
1
2
3
4
5
6
Next