Ecosyste.ms: Issues

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

GitHub / rems-project/isla issues and pull requests

#87 - Issue 84 fixes

Pull Request - State: closed - Opened by AverardoDiMugello 2 months ago

#86 - Generating instruction footprints for different privilege modes.

Issue - State: open - Opened by neeluk7 3 months ago - 6 comments

#85 - Pretty prints for footprints of symbolic instructions

Issue - State: open - Opened by neeluk7 3 months ago

#82 - Isla-footprint RISC-V

Issue - State: closed - Opened by neeluk7 4 months ago - 6 comments

#81 - Add support for indexing register array

Pull Request - State: open - Opened by ffengyu 7 months ago

#80 - README.md: update footprint example commmand line

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

#79 - isla-preprocess: linearization breaks serialization

Issue - State: closed - Opened by mmcloughlin about 1 year ago - 2 comments

#78 - isla-lib: optionally print source code locations

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

#77 - armv9.4 config

Issue - State: open - Opened by mmcloughlin about 1 year ago - 5 comments

#77 - armv9.4 config

Issue - State: open - Opened by mmcloughlin about 1 year ago - 5 comments

#76 - x86 config

Issue - State: open - Opened by mmcloughlin about 1 year ago - 19 comments

#76 - x86 config

Issue - State: open - Opened by mmcloughlin about 1 year ago - 4 comments

#74 - isla-sail build broken: Unbound value Initial_check.opt_undefined_gen

Issue - State: closed - Opened by mmcloughlin about 1 year ago - 2 comments

#73 - isla-sail does not preserve initial values of sail registers

Issue - State: closed - Opened by cfbolz over 1 year ago - 11 comments

#72 - isla-litmus-dump WIP

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

#71 - Bump minimist from 1.2.5 to 1.2.8 in /web/client

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

#70 - Bump tokio from 0.2.25 to 1.18.5 in /web/server

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

#69 - Bump warp from 0.2.5 to 0.3.3 in /web/server

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

#68 - Bump bumpalo from 3.6.1 to 3.12.0 in /web/server

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

#67 - Bump json5 from 1.0.1 to 1.0.2 in /web/client

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

#66 - Bump crossbeam-utils from 0.8.5 to 0.8.14 in /web/server

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

#65 - Bump qs from 6.10.1 to 6.11.0 in /editors/vscode/litmus

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

#64 - Bump decode-uri-component from 0.2.0 to 0.2.2 in /web/client

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

#63 - Target install_libsail no longer exists

Issue - State: closed - Opened by ric-almeida about 2 years ago - 1 comment

#62 - Bump minimatch from 3.0.4 to 3.1.2 in /web/client

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

#61 - Bump minimatch from 3.0.4 to 3.1.2 in /editors/vscode/cat

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

#60 - Bump minimatch from 3.0.4 to 3.1.2 in /editors/vscode/litmus

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

#59 - Rust version out of date in README

Issue - State: closed - Opened by ric-almeida about 2 years ago - 1 comment

#58 - Bump loader-utils from 1.4.0 to 1.4.2 in /web/client

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

#57 - Bump terser from 4.8.0 to 4.8.1 in /web/client

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

#56 - Bump simple-get from 3.1.0 to 3.1.1 in /editors/vscode/litmus

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

#55 - Bump ansi-regex from 4.1.0 to 4.1.1 in /web/client

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

#54 - Bump regex from 1.5.4 to 1.5.5

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

#53 - Bump tokio from 0.2.25 to 1.8.4 in /web/server

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

#52 - Bump crossbeam-utils from 0.8.5 to 0.8.8 in /web/server

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

#51 - Bump crossbeam-utils from 0.8.5 to 0.8.8

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

#50 - Bump async from 2.6.3 to 2.6.4 in /web/client

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

#49 - Generate "symbolic" footprints with Isla?

Issue - State: open - Opened by zsisco almost 3 years ago - 7 comments

#48 - Bump minimist from 1.2.5 to 1.2.6 in /editors/vscode/litmus

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

#47 - Bump minimist from 1.2.5 to 1.2.6 in /web/client

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

#46 - Fix warnings in isla-elf (originally by @ric-almeida)

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

#45 - Bump ajv from 6.12.2 to 6.12.6 in /web/client

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

#44 - Bump lodash from 4.17.15 to 4.17.21 in /editors/vscode/cat

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

#43 - error running isla-axiomatic

Issue - State: open - Opened by fengwz17 about 3 years ago - 4 comments

#42 - Tool riscv64-linux-gnu-as not found in $PATH

Issue - State: closed - Opened by fengwz17 over 3 years ago - 3 comments

#42 - Tool riscv64-linux-gnu-as not found in $PATH

Issue - State: closed - Opened by fengwz17 over 3 years ago - 3 comments

#41 - Graphs + Events for Translations

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

#40 - Better error message on error from litmus run errors

Pull Request - State: open - Opened by bensimner over 3 years ago

#39 - VMSA candidate additions

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

#38 - Bump elliptic from 6.5.3 to 6.5.4 in /web/client

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

#38 - Bump elliptic from 6.5.3 to 6.5.4 in /web/client

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

#37 - Generate uninterpreted functions relations in smt

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

#37 - Generate uninterpreted functions relations in smt

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

#36 - Bump postcss from 7.0.32 to 7.0.36 in /web/client

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

#36 - Bump postcss from 7.0.32 to 7.0.36 in /web/client

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

#35 - Add back temporary idmap of extra sections

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

#34 - Make it compile on Apple M1

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

#34 - Make it compile on Apple M1

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

#33 - add make check

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

#33 - add make check

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

#32 - Bump codemirror from 5.55.0 to 5.58.2 in /web/client

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

#32 - Bump codemirror from 5.55.0 to 5.58.2 in /web/client

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 in /web/client

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

#31 - Bump lodash from 4.17.19 to 4.17.21 in /web/client

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

#30 - Bump ssri from 6.0.1 to 6.0.2 in /web/client

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

#30 - Bump ssri from 6.0.1 to 6.0.2 in /web/client

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

#29 - Bump y18n from 4.0.0 to 4.0.1 in /web/client

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

#29 - Bump y18n from 4.0.0 to 4.0.1 in /web/client

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

#28 - Add create-memory-regions flag to isla-footprint

Pull Request - State: closed - Opened by MackieLoeffel almost 4 years ago

#28 - Add create-memory-regions flag to isla-footprint

Pull Request - State: closed - Opened by MackieLoeffel almost 4 years ago

#27 - Is Event::Cycle being emitted correctly?

Issue - State: open - Opened by Trolldemorted almost 4 years ago

#27 - Is Event::Cycle being emitted correctly?

Issue - State: open - Opened by Trolldemorted almost 4 years ago

#26 - Expose the checkpoint and some task/frame members

Pull Request - State: open - Opened by Trolldemorted about 4 years ago - 1 comment

#26 - Expose the checkpoint and some task/frame members

Pull Request - State: open - Opened by Trolldemorted about 4 years ago - 1 comment

#24 - Bump ini from 1.3.5 to 1.3.8 in /web/client

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

#23 - Q registers on sail-arm

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

#23 - Q registers on sail-arm

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

#22 - [WIP] Add stable memory variant

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

#22 - [WIP] Add stable memory variant

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

#22 - [WIP] Add stable memory variant

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

#21 - Lifetime of symbols

Issue - State: closed - Opened by Trolldemorted over 4 years ago - 5 comments

#21 - Lifetime of symbols

Issue - State: closed - Opened by Trolldemorted over 4 years ago - 5 comments

#20 - Support concrete writes to non-volatile memory sections

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

#20 - Support concrete writes to non-volatile memory sections

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

#19 - Should Ty have copy semantics?

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

#19 - Should Ty have copy semantics?

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

#19 - Should Ty have copy semantics?

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

#18 - [WIP] replace 'ir with owning pointers

Pull Request - State: open - Opened by Trolldemorted over 4 years ago

#18 - [WIP] replace 'ir with owning pointers

Pull Request - State: open - Opened by Trolldemorted over 4 years ago

#18 - [WIP] replace 'ir with owning pointers

Pull Request - State: open - Opened by Trolldemorted over 4 years ago

#16 - isla-lib's memory.rs has equal branches in if/else

Issue - State: closed - Opened by Trolldemorted over 4 years ago - 9 comments