Ecosyste.ms: Issues

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

GitHub / multiparty/carousels issues and pull requests

#42 - Bump flat and mocha

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

#41 - Bump shell-quote from 1.7.2 to 1.7.3

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

#40 - Bump bumpalo from 3.2.0 to 3.10.0 in /rust

Pull Request - State: open - Opened by dependabot[bot] over 2 years ago
Labels: dependencies, rust

#39 - Bump ajv from 6.12.0 to 6.12.6

Pull Request - State: open - Opened by dependabot[bot] almost 3 years ago
Labels: dependencies

#38 - Bump pathval from 1.1.0 to 1.1.1

Pull Request - State: open - Opened by dependabot[bot] almost 3 years ago
Labels: dependencies

#37 - Bump cached-path-relative from 1.0.2 to 1.1.0

Pull Request - State: open - Opened by dependabot[bot] about 3 years ago
Labels: dependencies

#36 - Bump tar from 5.0.5 to 5.0.11

Pull Request - State: open - Opened by dependabot[bot] over 3 years ago
Labels: dependencies

#35 - Bump path-parse from 1.0.6 to 1.0.7

Pull Request - State: open - Opened by dependabot[bot] over 3 years ago
Labels: dependencies

#34 - Bump tar from 5.0.5 to 5.0.7

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

#33 - Bump glob-parent from 5.1.0 to 5.1.2

Pull Request - State: open - Opened by dependabot[bot] over 3 years ago
Labels: dependencies

#32 - Bump mathjs from 6.6.1 to 7.5.1

Pull Request - State: open - Opened by dependabot[bot] over 3 years ago
Labels: dependencies

#31 - Bump lodash from 4.17.19 to 4.17.21

Pull Request - State: open - Opened by dependabot[bot] over 3 years ago
Labels: dependencies

#30 - Bump y18n from 4.0.0 to 4.0.1

Pull Request - State: open - Opened by dependabot[bot] almost 4 years ago
Labels: dependencies

#29 - Bump elliptic from 6.5.3 to 6.5.4

Pull Request - State: open - Opened by dependabot[bot] almost 4 years ago
Labels: dependencies

#28 - Bump elliptic from 6.5.2 to 6.5.3

Pull Request - State: closed - Opened by dependabot[bot] over 4 years ago
Labels: dependencies

#27 - Updates for estimating more problems

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

#26 - Bump lodash from 4.17.15 to 4.17.19

Pull Request - State: closed - Opened by dependabot[bot] over 4 years ago
Labels: dependencies

#25 - simplify outputs checkbox

Pull Request - State: closed - Opened by wyatt-howe almost 5 years ago

#24 - Bump acorn from 7.1.0 to 7.1.1

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

#23 - Enchance Typing and Cost configuration files

Issue - State: open - Opened by Ra1issa almost 5 years ago

#22 - Double counting in rounds at Obliv if

Issue - State: closed - Opened by KinanBab almost 5 years ago
Labels: bug

#21 - OblivIf side effects

Issue - State: closed - Opened by KinanBab almost 5 years ago
Labels: enhancement

#20 - Repeated invocations of analysis share some state

Issue - State: closed - Opened by KinanBab almost 5 years ago - 1 comment
Labels: bug

#19 - Add additional costs and typing rules as needed for all reasonable examples

Issue - State: closed - Opened by KinanBab almost 5 years ago

#18 - Trace conditions throughout visitor path, and use conditions when reasoning about types and metrics within branches

Pull Request - State: closed - Opened by KinanBab almost 5 years ago

#17 - Handle side effects

Issue - State: closed - Opened by KinanBab almost 5 years ago

#16 - Better handling of if/else conditions

Issue - State: closed - Opened by KinanBab almost 5 years ago

#15 - Implement inductive loop abstractions for metric and outer scope variables modified in loop

Pull Request - State: closed - Opened by KinanBab almost 5 years ago

#14 - Add rust WASM IR Parser, new carousels engine, and the new UI

Pull Request - State: closed - Opened by KinanBab almost 5 years ago

#13 - Research solving / simplifying system of co-recursive symbolic equations

Issue - State: open - Opened by KinanBab almost 5 years ago

#12 - Improve UI and interaction

Issue - State: open - Opened by KinanBab almost 5 years ago - 1 comment
Labels: inprogress

#11 - Helpful utilities

Issue - State: open - Opened by KinanBab almost 5 years ago
Labels: enhancement

#10 - JS -> IR translator using Babel

Issue - State: open - Opened by KinanBab almost 5 years ago

#9 - Finalize and test Rust -> IR translator

Issue - State: closed - Opened by KinanBab almost 5 years ago
Labels: inprogress

#8 - Support additional javascript/rust constructs and features

Issue - State: open - Opened by KinanBab almost 5 years ago - 1 comment
Labels: enhancement

#7 - Improve type and metric invariants for loops

Issue - State: closed - Opened by KinanBab almost 5 years ago
Labels: inprogress

#6 - Update carousels_rust with most recent changes from master

Pull Request - State: closed - Opened by KinanBab almost 5 years ago

#5 - Loops and more

Pull Request - State: closed - Opened by wyatt-howe almost 5 years ago - 4 comments

#4 - Bump lodash from 4.17.4 to 4.17.15

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

#3 - Battleships Demo and Decorators

Pull Request - State: closed - Opened by wyatt-howe almost 5 years ago

#2 - Fixes and new features.

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

#1 - incorporate polynomium for simplifying polynomials

Issue - State: closed - Opened by lucyq about 7 years ago