Merge requests · LARA / inox · GitLab

Respect PrinterOptions when throwing a TypeErrorException

!92 · created Mar 06, 2019 by Viktor Kuncak master
- Closed
updated Mar 14, 2019
Add override point for reporter creation

!91 · created Feb 04, 2019 by Viktor Kuncak master
- Merged
updated May 13, 2019
Overloading

!90 · created Jan 24, 2019 by Viktor Kuncak refactor-parser
- Merged
updated Feb 08, 2019
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
Fix in simplification of tuples

!86 · created Dec 07, 2018 by Viktor Kuncak master
- Merged
updated Mar 27, 2019
BVTypeExtractor should not be sealed

!85 · created Nov 12, 2018 by Viktor Kuncak master
- Merged
updated Mar 01, 2019
Complete rewrite of the parser

!84 · created Oct 29, 2018 by Viktor Kuncak scala-2.13
updated Nov 02, 2022
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 filtering capability for Symbols based on names

!75 · created Aug 25, 2018 by Viktor Kuncak master
- Closed
updated Aug 27, 2018
Add `flags` field to `Definition`

!73 · created Aug 09, 2018 by Viktor Kuncak master
- Merged
updated Aug 15, 2018
Silence reporting when validating "lucky" models

!72 · created Jun 21, 2018 by Viktor Kuncak master
- Merged
updated Jul 09, 2018
Cross-compilation support for Scala 3 (WIP) 1 of 18 checklist items completed

!71 · created May 19, 2018 by Viktor Kuncak master
- Closed
updated Nov 09, 2021
Change tip.Parser to take a Reader instead of a File

!70 · created May 07, 2018 by Viktor Kuncak master
- Merged
updated Jul 09, 2018
Fix potential OutOfBoundsException in PositionProvider

!69 · created May 07, 2018 by Viktor Kuncak master
- Merged
updated Jul 09, 2018
Change `tip.Parser` to take a `Reader` instead of a `File`

!68 · created May 03, 2018 by Viktor Kuncak master
- Closed
updated May 07, 2018
Upgrade to ScalaZ3 4.6.0 with working Mac dynamic lib

!66 · created Apr 26, 2018 by Viktor Kuncak master
- Merged
updated Apr 26, 2018
Fix a typo in --help message

!65 · created Apr 20, 2018 by Viktor Kuncak master
- Closed
updated Apr 25, 2018

Prev
1
2
3
4
5
6
7
8
Next