Merge requests · LARA / inox · GitLab

Add MapMerge construct

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

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

!120 · created Nov 25, 2020 by Viktor Kuncak master
- Merged
updated Nov 25, 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
Fix always true equality test in Templates

!89 · created Jan 21, 2019 by Viktor Kuncak master
- Merged
updated Oct 18, 2019
Replace uses of scala.collection.mutable.HashMap#getOrElseUpdate with getOrElse + manual update

!88 · created Jan 18, 2019 by Viktor Kuncak master
- Merged
updated Oct 18, 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
Show default value of options by default

!106 · created Jul 18, 2019 by Viktor Kuncak master
- Merged
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
Consider all non-obvious choose's to be impure

!96 · created May 07, 2019 by Viktor Kuncak master
- Merged
updated Jun 04, 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
Add override point for reporter creation

!91 · created Feb 04, 2019 by Viktor Kuncak master
- Merged
updated May 13, 2019
Fix in simplification of tuples

!86 · created Dec 07, 2018 by Viktor Kuncak master
- Merged
updated Mar 27, 2019
Split processOptions into two functions

!95 · created Mar 15, 2019 by Viktor Kuncak master
- Merged
updated Mar 22, 2019
BVTypeExtractor should not be sealed

!85 · created Nov 12, 2018 by Viktor Kuncak master
- Merged
updated Mar 01, 2019
Overloading

!90 · created Jan 24, 2019 by Viktor Kuncak refactor-parser
- Merged
updated Feb 08, 2019
Allow equality symbol in the options

!82 · created Oct 04, 2018 by Viktor Kuncak master
- Merged
updated Oct 05, 2018
Negation of environment using not(and(_)) instead of map

!79 · created Sep 04, 2018 by Viktor Kuncak master
- Merged
updated Sep 13, 2018
Adding partial support for unsigned bitvector operations

!76 · created Aug 30, 2018 by Viktor Kuncak master
- Merged
updated Sep 12, 2018
Add `flags` field to `Definition`

!73 · created Aug 09, 2018 by Viktor Kuncak master
- Merged
updated Aug 15, 2018

Prev
1
2
3
4
5
6
Next