Merge requests · LARA / inox · GitLab

Stop Z3 zombies and add support for str.++

!145 · created May 01, 2021 by Viktor Kuncak master
- Merged
updated May 01, 2021
Add let case in ChooseEncoder

!142 · created Apr 29, 2021 by Viktor Kuncak master
- Merged
updated Apr 30, 2021
Add model extraction for #unspecified and seq.unit

!141 · created Apr 28, 2021 by Viktor Kuncak master
- Merged
updated Apr 29, 2021
Add support for non-incremental mode

!140 · created Apr 27, 2021 by Viktor Kuncak master
- Merged
updated Apr 28, 2021
Point to scala-smtlib from epfl-lara (support for z3 4.8.10)

!137 · created Apr 21, 2021 by Viktor Kuncak master
- Merged
updated Apr 28, 2021
Attempt fix for #109 (@samarion)

!138 · created Apr 21, 2021 by Viktor Kuncak master
- Merged
updated Apr 22, 2021
Add support for smt-z3 with custom executable name

!136 · created Apr 20, 2021 by Viktor Kuncak master
- Merged
updated Apr 21, 2021
Implement @samarion's fix for issue 115 with lambda pointers

!135 · created Apr 20, 2021 by Viktor Kuncak master
- Merged
updated Apr 20, 2021
Move smartPos function to use it in Stainless + Portfolio solver fix

!134 · created Apr 16, 2021 by Viktor Kuncak master
- Merged
updated Apr 18, 2021
Advise using jitpack.io resolver to depend on Inox

!133 · created Apr 14, 2021 by Viktor Kuncak master
- Merged
updated Apr 15, 2021
Minor fixes for CVC4 1.8

!132 · created Apr 12, 2021 by Viktor Kuncak master
- Merged
updated Apr 15, 2021
Add support for signed/unsigned conversions

!130 · created Mar 30, 2021 by Viktor Kuncak master
- Merged
updated Apr 13, 2021
Add option to remove colors and non-ascii characters, and to format errors for IDEs

!131 · created Mar 31, 2021 by Viktor Kuncak master
- Merged
updated Apr 13, 2021
No view

!129 · created Feb 22, 2021 by Viktor Kuncak master
- Merged
updated Feb 23, 2021
Allow Insecure Protocol to prevent warnings during build and upgrade to Scala 2.12.13 / sbt 1.3.0

!128 · created Feb 18, 2021 by Viktor Kuncak master
- Merged
updated Feb 23, 2021
Use copy in toVariable to avoid sharing positions

!127 · created Feb 12, 2021 by Viktor Kuncak master
- Merged
updated Feb 18, 2021
Fix inlinePosts

!126 · created Feb 10, 2021 by Viktor Kuncak master
- Merged
updated Feb 18, 2021
Change set and bag types encoding to account for emptiness (thanks @samarion)

!125 · created Feb 10, 2021 by Viktor Kuncak master
- Merged
updated Feb 12, 2021
Avoid simplification during transformation

!123 · created Jan 06, 2021 by Viktor Kuncak master
- Merged
updated Jan 11, 2021
Fix writeId in InoxSerializer

!122 · created Dec 01, 2020 by Viktor Kuncak master
- Merged
updated Dec 01, 2020

Prev
1
2
3
4
5
6
Next