Ecosyste.ms: Issues

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

GitHub / GaloisInc/reopt issues and pull requests

#308 - attempt to support Floats in type inference

Pull Request - State: open - Opened by Ptival 8 months ago

#307 - Support `float`s in Reopt type inference

Issue - State: open - Opened by Ptival 9 months ago

#306 - make reopt compatible with recent GHCs and dependencies

Pull Request - State: closed - Opened by Ptival 9 months ago

#305 - bump elf-edit and macaw

Pull Request - State: open - Opened by Ptival 9 months ago

#304 - make info output of type-based code discovery more explicit

Pull Request - State: closed - Opened by Ptival 9 months ago

#303 - pretty-print Reopt's maps

Pull Request - State: closed - Opened by Ptival 11 months ago

#302 - bump macaw

Pull Request - State: closed - Opened by Ptival 11 months ago

#301 - comment classifyInstrs

Pull Request - State: closed - Opened by Ptival 11 months ago

#300 - bump submodules

Pull Request - State: closed - Opened by Ptival 11 months ago

#299 - resolve function pointer types

Pull Request - State: closed - Opened by Ptival 12 months ago

#298 - fix pretty-printing of AnnFunType

Pull Request - State: closed - Opened by Ptival 12 months ago

#297 - unify the newly-added types in constraint solving

Pull Request - State: closed - Opened by Ptival 12 months ago

#296 - multiple commits towards type reconstruction for function pointers

Pull Request - State: closed - Opened by Ptival 12 months ago

#295 - finalise → finalize, to better fit with rest

Pull Request - State: closed - Opened by Ptival 12 months ago

#294 - add comments/function documentation

Pull Request - State: closed - Opened by Ptival 12 months ago

#293 - clean up commented-out debug code

Pull Request - State: closed - Opened by Ptival 12 months ago

#292 - Bump urllib3 from 1.26.16 to 1.26.18 in /stats

Pull Request - State: open - Opened by dependabot[bot] about 1 year ago
Labels: dependencies, python

#291 - Bump urllib3 from 1.26.16 to 1.26.17 in /stats

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago - 1 comment
Labels: dependencies, python

#290 - fix typo in script

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

#289 - add equality constraints for declared types

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

#288 - make `ppEqCWithProv` usable by the `Pretty` instance

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

#287 - use `reoptPrepareForRecovery` where possible

Pull Request - State: closed - Opened by Ptival about 1 year ago - 1 comment

#286 - A couple commits culminating in support for function pointer type inference

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

#285 - fix lying comment

Pull Request - State: closed - Opened by Ptival about 1 year ago - 1 comment

#284 - add-entry-point CLI argument

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

#283 - Couple minor changes

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

#282 - remove obsolete formatting

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

#281 - use Doc for discovery error messages

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

#280 - bump macaw and show block origin

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

#279 - switch to labels for other lenses

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

#278 - update poetry.lock for stats/

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

#277 - bump vscode-plugin dependencies

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

#276 - using Haskell actions

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

#275 - update CI and solve caching issues

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

#274 - Multiple fixes

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

#273 - some small changes

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

#272 - add useful scripts for running reopt/residuals in the most common way

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

#271 - small simplification

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

#270 - cleanup/formatter for most files

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

#269 - make reopt output more readable for humans

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

#268 - bump macaw

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

#267 - add Contributing section to README

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

#266 - switch to optparse-applicative in reopt

Pull Request - State: closed - Opened by Ptival over 1 year ago - 2 comments

#265 - couple more types in shed

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

#264 - Bump word-wrap from 1.2.3 to 1.2.4 in /vscode-plugin

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#263 - bump flexdis86 and macaw

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

#262 - Bump semver from 5.7.1 to 5.7.2 in /vscode-plugin

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 4 comments
Labels: dependencies, javascript

#261 - additional cleanup

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

#260 - general clean up

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

#259 - Bump requests from 2.28.1 to 2.31.0 in /stats

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies, python

#258 - Bump json5 from 1.0.1 to 1.0.2 in /vscode-plugin

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies, javascript

#257 - fix non-zero base residuals

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

#256 - Example from README doesn't run in Docker container

Issue - State: open - Opened by kenballus over 1 year ago - 3 comments

#255 - use `InclusiveRange` more, and allow non zero-base segments

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

#254 - temp fix for ansi-wl-pprint deprecation

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

#253 - modernize pretty-printer in residual

Pull Request - State: closed - Opened by Ptival over 1 year ago - 2 comments

#252 - update pretty-printing

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

#251 - --trace-constraint-origins: Make it possible to print Conditionals

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

#250 - make reopt-explore fail more gracefully

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

#249 - Consider adding a `HasConstraintProvenance` class

Issue - State: open - Opened by RyanGlScott over 1 year ago

#248 - Add `--trace-constraint-origins` flag

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

#247 - reify Disjunction and Conjunction for readability

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

#246 - bump elf-edit and macaw

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

#245 - modernize cabal file

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

#244 - .gitignore additions

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

#243 - better row shift explanation based on feedback

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

#242 - add documentation of constraint generation

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

#241 - updating deprecated CI actions

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

#240 - disabling long and currently irrelevant CI tasks

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

#239 - random code and comments improvements

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

#238 - first pass at documentation

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

#237 - `opt` fails on `musl-gcc -static` binary

Issue - State: open - Opened by RyanGlScott over 1 year ago

#236 - Unused `what4` dependency

Issue - State: closed - Opened by RyanGlScott over 1 year ago
Labels: dependencies

#235 - add shed.h

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

#234 - Bump webpack from 5.75.0 to 5.76.0 in /vscode-plugin

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#233 - fix incorrect CPP bound

Pull Request - State: closed - Opened by Ptival almost 2 years ago

#232 - saving stats experiments

Pull Request - State: closed - Opened by Ptival almost 2 years ago

#231 - minor cleanups

Pull Request - State: closed - Opened by Ptival almost 2 years ago

#230 - bump macaw

Pull Request - State: closed - Opened by Ptival almost 2 years ago

#229 - support GHC 9.0.2

Pull Request - State: closed - Opened by Ptival almost 2 years ago

#228 - cosmetic

Pull Request - State: closed - Opened by Ptival almost 2 years ago

#227 - update cabal freeze files

Pull Request - State: closed - Opened by Ptival almost 2 years ago

#226 - make GHC 9.2.6 compatible

Pull Request - State: closed - Opened by Ptival almost 2 years ago

#225 - more output tweaks

Pull Request - State: closed - Opened by Ptival almost 2 years ago

#224 - Bump cacheable-request from 10.2.3 to 10.2.7 in /vscode-plugin

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies, javascript

#223 - Bump http-cache-semantics from 4.1.0 to 4.1.1 in /vscode-plugin

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 1 comment
Labels: dependencies, javascript

#222 - Limitation: `void` in type signature confuses reopt

Issue - State: open - Opened by Ptival almost 2 years ago

#221 - Bump json5 from 2.2.1 to 2.2.3 in /vscode-plugin

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 2 comments
Labels: dependencies, javascript

#220 - preserve summary failures

Pull Request - State: closed - Opened by Ptival almost 2 years ago

#219 - couple stats improvements

Pull Request - State: closed - Opened by Ptival almost 2 years ago

#218 - more heavy-handed cleanups

Pull Request - State: closed - Opened by Ptival almost 2 years ago

#217 - Bump certifi from 2022.9.24 to 2022.12.7 in /stats

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies, python

#215 - Bump qs from 6.5.2 to 6.5.3 in /vscode-plugin

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 5 comments
Labels: dependencies

#213 - Bump minimatch from 3.0.4 to 3.1.2 in /vscode-plugin

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 1 comment
Labels: dependencies

#209 - Bump got and npm-check-updates in /vscode-plugin

Pull Request - State: closed - Opened by dependabot[bot] about 2 years ago - 1 comment
Labels: dependencies

#208 - Bump ansi-regex in /vscode-plugin

Pull Request - State: closed - Opened by dependabot[bot] about 2 years ago - 1 comment
Labels: dependencies

#207 - Bump json-schema and jsprim in /vscode-plugin

Pull Request - State: closed - Opened by dependabot[bot] about 2 years ago - 1 comment
Labels: dependencies

#206 - Bump nanoid from 3.1.23 to 3.3.1 in /vscode-plugin

Pull Request - State: closed - Opened by dependabot[bot] about 2 years ago - 1 comment
Labels: dependencies

#205 - Bump minimist from 1.2.5 to 1.2.7 in /vscode-plugin

Pull Request - State: closed - Opened by dependabot[bot] about 2 years ago - 1 comment
Labels: dependencies

#203 - small improvements to test_reopt_with_relink.sh

Pull Request - State: open - Opened by Ptival over 2 years ago