Merge requests · LARA / inox

Scala 2.13

!189 · created Nov 02, 2022 by Viktor Kuncak master
- Closed
updated Nov 02, 2022
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
Add infoContinue method in Reporter to emit without line return

!143 · created Apr 30, 2021 by Viktor Kuncak master
- Closed
updated Apr 30, 2021
Early initialization for solvers options

!114 · created Jan 08, 2020 by Viktor Kuncak master
- Closed
updated Aug 11, 2020
Move implicit debug section higher

!102 · created Jun 29, 2019 by Viktor Kuncak master
- Closed
updated Sep 20, 2019
Remove merge functions

!103 · created Jun 30, 2019 by Viktor Kuncak master
- Closed
updated Jul 11, 2019
Respect PrinterOptions when throwing a TypeErrorException

!92 · created Mar 06, 2019 by Viktor Kuncak master
- Closed
updated Mar 14, 2019
Add filtering capability for Symbols based on names

!75 · created Aug 25, 2018 by Viktor Kuncak master
- Closed
updated Aug 27, 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
Fix a typo in --help message

!65 · created Apr 20, 2018 by Viktor Kuncak master
- Closed
updated Apr 25, 2018
Replace sort-level flag for invariants by a function-level flag

!64 · created Apr 13, 2018 by Viktor Kuncak master
- Closed
updated Apr 13, 2018
Allow annotations on ADT constructors

!63 · created Apr 13, 2018 by Viktor Kuncak master
- Closed
updated Apr 13, 2018
Store ill-typed expression within TypeErrorException

!62 · created Apr 05, 2018 by Viktor Kuncak master
- Closed
updated Apr 06, 2018
WIP: Unfold productive function invocations in SimplifierWithPC

!61 · created Mar 29, 2018 by Viktor Kuncak master
- Closed
updated Apr 05, 2018
Ensure ASCIIStringEncoder does not attempt to decode strings of length < 2

!56 · created Dec 20, 2017 by Viktor Kuncak master
- Closed
updated Mar 07, 2018
Allow specialised extractor to extend dispatch table

!29 · created Jun 16, 2017 by Viktor Kuncak master
- Closed
updated Jan 18, 2018
Allow custom Context in TestSuite subclasses

!52 · created Nov 23, 2017 by Viktor Kuncak master
- Closed
updated Dec 08, 2017
Ensure variables are available in the scope when used

!44 · created Oct 09, 2017 by Viktor Kuncak master
- Closed
updated Dec 08, 2017
Fix printer for Char literals

!33 · created Aug 07, 2017 by Viktor Kuncak master
- Closed
updated Dec 08, 2017
Improvements for BitVectors

!26 · created May 08, 2017 by Viktor Kuncak master
- Closed
updated Dec 08, 2017