Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / epfl-lara/inox issues and pull requests

#199 - Changes to Reporter

Pull Request - State: closed - Opened by mario-bucev about 1 year ago

#198 - Inline ADT and tuple selection for variables

Pull Request - State: open - Opened by mario-bucev about 1 year ago

#197 - Expand the evaluator API to allow ignoring contracts locally

Pull Request - State: closed - Opened by mario-bucev over 1 year ago

#196 - Do not print unicode characters by default

Pull Request - State: closed - Opened by mario-bucev over 1 year ago

#195 - Aggregate timing results

Pull Request - State: closed - Opened by mario-bucev over 1 year ago

#194 - Update Princess dependency

Pull Request - State: closed - Opened by mario-bucev over 1 year ago

#193 - Add signed bit-vectors arithmetic support for the Princess backend

Pull Request - State: closed - Opened by mario-bucev over 1 year ago

#192 - Small changes to `normalizeStructure` and `SimplifierWithPC#isPureFunction`

Pull Request - State: closed - Opened by mario-bucev over 1 year ago - 1 comment

#191 - Fix options parser for empty sequences

Pull Request - State: closed - Opened by mario-bucev over 1 year ago

#190 - Upgrade ScalaZ3

Pull Request - State: closed - Opened by mario-bucev over 1 year ago

#189 - Scala 2.13

Pull Request - State: closed - Opened by vkuncak over 1 year ago

#188 - Fix .larabot.conf

Pull Request - State: closed - Opened by mario-bucev over 1 year ago

#187 - Upgrade to Scala 3.2

Pull Request - State: closed - Opened by mario-bucev over 1 year ago

#186 - Flatten addition and multiplication

Pull Request - State: closed - Opened by mario-bucev over 1 year ago

#185 - Check for interruption when extracting a total model

Pull Request - State: closed - Opened by mario-bucev over 1 year ago

#184 - Adding a case for type instantiation

Pull Request - State: open - Opened by mario-bucev almost 2 years ago - 4 comments

#183 - Migrate to Scala 3.2

Issue - State: closed - Opened by mario-bucev almost 2 years ago - 1 comment

#181 - Make PurityOptions a case class, fix warnings, disable scaladoc gen

Pull Request - State: closed - Opened by mario-bucev about 2 years ago - 1 comment

#180 - StackOverflowError on an equivalence checking example

Issue - State: open - Opened by drganam over 2 years ago

#178 - Fix 'unknown constant k0!xyz' arising in some cases when using smt-z3

Pull Request - State: closed - Opened by mario-bucev over 2 years ago - 2 comments

#177 - Update the `scala 3.x` branch

Pull Request - State: closed - Opened by mario-bucev over 2 years ago

#176 - Add a minimizing solver for smaller counter-examples

Pull Request - State: open - Opened by SolalPirelli over 2 years ago - 1 comment

#175 - Upgrade ScalaZ3 to 4.8.14

Pull Request - State: closed - Opened by mario-bucev over 2 years ago - 2 comments

#174 - Add me to the trusted list

Pull Request - State: closed - Opened by mbovel over 2 years ago

#173 - Bump SBT version (Scala 3 branch)

Pull Request - State: closed - Opened by mario-bucev over 2 years ago

#172 - Bump SBT version

Pull Request - State: closed - Opened by mario-bucev over 2 years ago

#171 - Add support for model minimization and maximization

Pull Request - State: closed - Opened by mbovel over 2 years ago - 12 comments

#170 - Adding BitVectors literals arithmetic simplification

Pull Request - State: closed - Opened by mario-bucev over 2 years ago - 1 comment

#169 - Underapproximate unfolding

Issue - State: open - Opened by vkuncak over 2 years ago
Labels: feature

#168 - Migrate to Scala 3

Pull Request - State: closed - Opened by mario-bucev over 2 years ago

#167 - ChooseEncoder doesn't transform all the trees

Issue - State: open - Opened by jad-hamza almost 3 years ago

#166 - Migrate to Scala 2.13

Pull Request - State: closed - Opened by mario-bucev almost 3 years ago - 1 comment

#165 - Add mario-bucev to trusted users

Pull Request - State: closed - Opened by mario-bucev almost 3 years ago

#164 - Migrate to Scala 2.13

Pull Request - State: closed - Opened by mario-bucev almost 3 years ago

#163 - Add debug option to dump blocker graph

Pull Request - State: open - Opened by gsps almost 3 years ago

#162 - Relax SetAdd typing rule analogously to ElementOfSet

Pull Request - State: closed - Opened by gsps almost 3 years ago

#161 - Move interrupted check lower in NonIncrementalSolver to avoid race conditions

Pull Request - State: closed - Opened by jad-hamza almost 3 years ago - 5 comments

#160 - Fix RecursiveEvaluator not erasing types (Stainless #1135)

Pull Request - State: open - Opened by gsps almost 3 years ago - 3 comments

#158 - When shifting right, only add ones for signed bitvectors

Pull Request - State: closed - Opened by jad-hamza about 3 years ago - 2 comments

#157 - Fix crash when mapping BitSet to negative values

Pull Request - State: closed - Opened by jad-hamza about 3 years ago

#156 - Add @yannbolliger to trusted users

Pull Request - State: closed - Opened by yannbolliger about 3 years ago

#155 - Merge rust interop features

Pull Request - State: closed - Opened by yannbolliger about 3 years ago - 2 comments

#154 - Use tuple caching logic in declareDatatypes

Pull Request - State: closed - Opened by jad-hamza about 3 years ago

#153 - Type error in tip printed from Stainless

Issue - State: open - Opened by jad-hamza about 3 years ago - 2 comments

#152 - Integration of `rust-interop` in `master`

Issue - State: closed - Opened by yannbolliger about 3 years ago

#151 - Make simplestValue top-level for overrides + hasInstance fix on ADTType

Pull Request - State: closed - Opened by jad-hamza about 3 years ago - 2 comments

#150 - Mismatch between hasInstance and simplestValue

Issue - State: closed - Opened by jad-hamza about 3 years ago - 6 comments

#149 - Avoid using checkAssumptions in non-incremental mode

Pull Request - State: closed - Opened by jad-hamza about 3 years ago

#148 - Key not found error when using --debug=tip from Stainless

Issue - State: closed - Opened by jad-hamza about 3 years ago - 3 comments

#147 - Implement @samarion's fix for mergeCalls code explosion

Pull Request - State: closed - Opened by jad-hamza about 3 years ago - 29 comments

#146 - Code explosion in mergeCalls

Issue - State: closed - Opened by jad-hamza about 3 years ago - 3 comments

#145 - Stop Z3 zombies and add support for str.++

Pull Request - State: closed - Opened by jad-hamza about 3 years ago

#144 - Missing support for str.++

Issue - State: closed - Opened by jad-hamza about 3 years ago

#143 - Add infoContinue method in Reporter to emit without line return

Pull Request - State: closed - Opened by jad-hamza about 3 years ago - 3 comments

#142 - Add let case in ChooseEncoder

Pull Request - State: closed - Opened by jad-hamza about 3 years ago

#141 - Add model extraction for #unspecified and seq.unit

Pull Request - State: closed - Opened by jad-hamza about 3 years ago

#140 - Add support for non-incremental mode

Pull Request - State: closed - Opened by jad-hamza about 3 years ago

#139 - Choose under lamba

Issue - State: open - Opened by jad-hamza about 3 years ago - 13 comments

#138 - Attempt fix for #109 (@samarion)

Pull Request - State: closed - Opened by jad-hamza about 3 years ago

#137 - Point to scala-smtlib from epfl-lara (support for z3 4.8.10)

Pull Request - State: closed - Opened by jad-hamza about 3 years ago

#136 - Add support for smt-z3 with custom executable name

Pull Request - State: closed - Opened by jad-hamza about 3 years ago

#135 - Implement @samarion's fix for issue 115 with lambda pointers

Pull Request - State: closed - Opened by jad-hamza about 3 years ago - 1 comment

#134 - Move smartPos function to use it in Stainless + Portfolio solver fix

Pull Request - State: closed - Opened by jad-hamza about 3 years ago - 4 comments

#133 - Advise using jitpack.io resolver to depend on Inox

Pull Request - State: closed - Opened by romac about 3 years ago

#132 - Minor fixes for CVC4 1.8

Pull Request - State: closed - Opened by jad-hamza about 3 years ago - 1 comment

#131 - Add option to remove colors and non-ascii characters, and to format errors for IDEs

Pull Request - State: closed - Opened by jad-hamza over 3 years ago - 2 comments

#130 - Add support for signed/unsigned conversions

Pull Request - State: closed - Opened by jad-hamza over 3 years ago

#129 - No view

Pull Request - State: closed - Opened by jad-hamza over 3 years ago - 1 comment

#127 - Use copy in toVariable to avoid sharing positions

Pull Request - State: closed - Opened by jad-hamza over 3 years ago

#126 - Fix inlinePosts

Pull Request - State: closed - Opened by jad-hamza over 3 years ago - 13 comments

#125 - Change set and bag types encoding to account for emptiness (thanks @samarion)

Pull Request - State: closed - Opened by jad-hamza over 3 years ago - 4 comments

#124 - Fix Path#freeVariables not traversing binding types

Pull Request - State: closed - Opened by gsps over 3 years ago

#123 - Avoid simplification during transformation

Pull Request - State: closed - Opened by jad-hamza over 3 years ago - 1 comment

#122 - Fix writeId in InoxSerializer

Pull Request - State: closed - Opened by gsps over 3 years ago

#121 - Add MapMerge construct

Pull Request - State: closed - Opened by gsps over 3 years ago - 2 comments

#120 - Add Antoine to list of larabot-trusted users

Pull Request - State: closed - Opened by gsps over 3 years ago

#119 - Fix the extraction of finite maps from Z3

Pull Request - State: closed - Opened by brunnerant over 3 years ago - 9 comments

#118 - Lookup failure in Definitions.scala (line 197), for apply.

Issue - State: closed - Opened by saraswat about 4 years ago - 4 comments

#117 - Inox error when using set.toList in Stainless

Issue - State: closed - Opened by OStevan about 4 years ago - 3 comments

#116 - Error in documentation when compiling

Issue - State: closed - Opened by OStevan about 4 years ago - 6 comments

#115 - Unsat file reported as SAT

Issue - State: closed - Opened by jad-hamza over 4 years ago - 2 comments

#114 - Early initialization for solvers options

Pull Request - State: closed - Opened by jad-hamza over 4 years ago - 1 comment

#113 - NullPointerException with solvers option

Issue - State: closed - Opened by jad-hamza over 4 years ago - 1 comment

#112 - Retrieving defunctionalized string?

Issue - State: closed - Opened by dtwelch over 4 years ago - 1 comment

#111 - Add --unroll-bound option to bound the number of unrolling steps

Pull Request - State: closed - Opened by romac over 4 years ago

#110 - Parse error with CVC4 1.8

Issue - State: closed - Opened by romac almost 5 years ago - 3 comments

#109 - Key not found exception on Stainless test case with extern method with quantifiers

Issue - State: closed - Opened by romac almost 5 years ago - 9 comments

#107 - Add an option to copy positions from old tree when doing substitutions

Pull Request - State: open - Opened by jad-hamza almost 5 years ago - 6 comments

#106 - Show default value of options by default

Pull Request - State: closed - Opened by romac almost 5 years ago - 1 comment

#105 - Add map from variables to SMT term in `fromSMT`'s context

Pull Request - State: closed - Opened by jad-hamza almost 5 years ago - 2 comments

#104 - Issue with lambdas and untyped let bindings from Z3 4.8.5

Issue - State: closed - Opened by jad-hamza almost 5 years ago - 2 comments

#102 - Move implicit debug section higher

Pull Request - State: closed - Opened by jad-hamza about 5 years ago - 1 comment

#89 - Fix always true equality test in Templates

Pull Request - State: closed - Opened by romac over 5 years ago

#84 - Complete rewrite of the parser

Pull Request - State: open - Opened by redelmann over 5 years ago - 3 comments

#71 - Cross-compilation support for Scala 3 (WIP)

Pull Request - State: closed - Opened by gsps about 6 years ago - 2 comments