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
#182 - Enable reading smt-lib files with dependent types for future text interface from Stainless
Issue -
State: open - Opened by vkuncak about 2 years ago
Labels: feature
#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
#179 - Fix 'unknown constant k0!xyz' arising in some cases when using smt-z3 (for Scala 2.13 version)
Pull Request -
State: closed - Opened by mario-bucev 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
#159 - Add string parsing alternative for Z3 4.8.12 + Respect timeouts/interrupts in non-incremental solver
Pull Request -
State: closed - Opened by jad-hamza almost 3 years ago
#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
#128 - Allow Insecure Protocol to prevent warnings during build and upgrade to Scala 2.12.13 / sbt 1.3.0
Pull Request -
State: closed - Opened by jad-hamza over 3 years ago
- 9 comments
#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
#88 - Replace uses of scala.collection.mutable.HashMap#getOrElseUpdate with getOrElse + manual update
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