Merge requests · LARA / inox · GitLab

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
Fix Path#freeVariables not traversing binding types

!124 · created Jan 25, 2021 by Viktor Kuncak master
- Merged
updated May 19, 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
Add MapMerge construct

!121 · created Nov 25, 2020 by Viktor Kuncak master
- Merged
updated Nov 26, 2020
Add Antoine to list of larabot-trusted users

!120 · created Nov 25, 2020 by Viktor Kuncak master
- Merged
updated Nov 25, 2020
Fix the extraction of finite maps from Z3

!119 · created Oct 28, 2020 by Viktor Kuncak master
- Merged
updated Nov 25, 2020
Early initialization for solvers options

!114 · created Jan 08, 2020 by Viktor Kuncak master
- Closed
updated Aug 11, 2020
Add --unroll-bound option to bound the number of unrolling steps

!111 · created Nov 19, 2019 by Viktor Kuncak master
- Merged
updated Jun 29, 2020
Add an option to copy positions from old tree when doing substitutions

!107 · created Sep 02, 2019 by Viktor Kuncak scala-2.13
updated Jul 03, 2023
Show default value of options by default

!106 · created Jul 18, 2019 by Viktor Kuncak master
- Merged
updated Sep 20, 2019
Add map from variables to SMT term in `fromSMT`'s context

!105 · created Jul 18, 2019 by Viktor Kuncak master
- Merged
updated Sep 20, 2019
Remove merge functions

!103 · created Jun 30, 2019 by Viktor Kuncak master
- Closed
updated Jul 11, 2019
Move implicit debug section higher

!102 · created Jun 29, 2019 by Viktor Kuncak master
- Closed
updated Sep 20, 2019
Check purity of tuples by checking that all components are pure

!99 · created Jun 06, 2019 by Viktor Kuncak master
- Merged
updated Jun 27, 2019
Parsing and extraction for lambdas in Z3's (4.8.4) model output

!98 · created May 27, 2019 by Viktor Kuncak master
- Merged
updated Jun 04, 2019
Consider all non-obvious choose's to be impure

!96 · created May 07, 2019 by Viktor Kuncak master
- Merged
updated Jun 04, 2019
Split processOptions into two functions

!95 · created Mar 15, 2019 by Viktor Kuncak master
- Merged
updated Mar 22, 2019

Prev
1
2
3
4
5
6
7
8
Next