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
#16 - isla-lib's memory.rs has equal branches in if/else
Issue -
State: closed - Opened by Trolldemorted over 4 years ago
- 9 comments
#15 - isla panics on an integer overflow during BL
Issue -
State: closed - Opened by Trolldemorted over 4 years ago
- 1 comment
#15 - isla panics on an integer overflow during BL
Issue -
State: closed - Opened by Trolldemorted over 4 years ago
- 1 comment
#15 - isla panics on an integer overflow during BL
Issue -
State: closed - Opened by Trolldemorted over 4 years ago
- 1 comment
#14 - Make ExecError::Type take an owned String
Pull Request -
State: closed - Opened by Trolldemorted over 4 years ago
#14 - Make ExecError::Type take an owned String
Pull Request -
State: closed - Opened by Trolldemorted over 4 years ago
#13 - ExecError::Type's lifetime makes precise error messages impossible
Issue -
State: closed - Opened by Trolldemorted over 4 years ago
#13 - ExecError::Type's lifetime makes precise error messages impossible
Issue -
State: closed - Opened by Trolldemorted over 4 years ago
#12 - Include missing field name in panic message
Pull Request -
State: closed - Opened by Trolldemorted over 4 years ago
#12 - Include missing field name in panic message
Pull Request -
State: closed - Opened by Trolldemorted over 4 years ago
#12 - Include missing field name in panic message
Pull Request -
State: closed - Opened by Trolldemorted over 4 years ago
#11 - How should isla-preprocess be used? (Read kind Read_ifetch does not exist in supplied architecture)
Issue -
State: closed - Opened by Trolldemorted over 4 years ago
- 6 comments
#11 - How should isla-preprocess be used? (Read kind Read_ifetch does not exist in supplied architecture)
Issue -
State: closed - Opened by Trolldemorted over 4 years ago
- 6 comments
#11 - How should isla-preprocess be used? (Read kind Read_ifetch does not exist in supplied architecture)
Issue -
State: closed - Opened by Trolldemorted over 4 years ago
- 6 comments
#10 - Add Dockerfile for isla-sail
Pull Request -
State: open - Opened by Trolldemorted over 4 years ago
#10 - Add Dockerfile for isla-sail
Pull Request -
State: open - Opened by Trolldemorted over 4 years ago
#10 - Add Dockerfile for isla-sail
Pull Request -
State: open - Opened by Trolldemorted over 4 years ago
#9 - Fix bug: continue on instruction-specific error
Pull Request -
State: closed - Opened by dc-mak over 4 years ago
- 1 comment
#9 - Fix bug: continue on instruction-specific error
Pull Request -
State: closed - Opened by dc-mak over 4 years ago
- 1 comment
#9 - Fix bug: continue on instruction-specific error
Pull Request -
State: closed - Opened by dc-mak over 4 years ago
- 1 comment
#8 - How to handle LSL/LSR?
Issue -
State: closed - Opened by dc-mak over 4 years ago
- 6 comments
#8 - How to handle LSL/LSR?
Issue -
State: closed - Opened by dc-mak over 4 years ago
- 6 comments
#7 - Isla server exits on error
Issue -
State: open - Opened by dc-mak over 4 years ago
- 1 comment
Labels: enhancement, invalid, question
#6 - Linking against z3 requires libz3-dev
Pull Request -
State: closed - Opened by Trolldemorted over 4 years ago
- 2 comments
#6 - Linking against z3 requires libz3-dev
Pull Request -
State: closed - Opened by Trolldemorted over 4 years ago
- 2 comments
#5 - isla(-lib) as a general-purpose symbolic execution engine library
Issue -
State: closed - Opened by Trolldemorted over 4 years ago
- 9 comments
#5 - isla(-lib) as a general-purpose symbolic execution engine library
Issue -
State: closed - Opened by Trolldemorted over 4 years ago
- 9 comments
#5 - isla(-lib) as a general-purpose symbolic execution engine library
Issue -
State: closed - Opened by Trolldemorted over 4 years ago
- 9 comments
#4 - Bump lodash from 4.17.15 to 4.17.19 in /web/client
Pull Request -
State: closed - Opened by dependabot[bot] over 4 years ago
Labels: dependencies
#4 - Bump lodash from 4.17.15 to 4.17.19 in /web/client
Pull Request -
State: closed - Opened by dependabot[bot] over 4 years ago
Labels: dependencies
#4 - Bump lodash from 4.17.15 to 4.17.19 in /web/client
Pull Request -
State: closed - Opened by dependabot[bot] over 4 years ago
Labels: dependencies
#3 - Fix formatting warnings
Pull Request -
State: closed - Opened by dc-mak over 4 years ago
- 2 comments
#3 - Fix formatting warnings
Pull Request -
State: closed - Opened by dc-mak over 4 years ago
- 2 comments
#3 - Fix formatting warnings
Pull Request -
State: closed - Opened by dc-mak over 4 years ago
- 2 comments
#2 - Bump acorn from 6.4.0 to 6.4.1 in /web/client
Pull Request -
State: closed - Opened by dependabot[bot] over 4 years ago
Labels: dependencies
#2 - Bump acorn from 6.4.0 to 6.4.1 in /web/client
Pull Request -
State: closed - Opened by dependabot[bot] over 4 years ago
Labels: dependencies
#2 - Bump acorn from 6.4.0 to 6.4.1 in /web/client
Pull Request -
State: closed - Opened by dependabot[bot] over 4 years ago
Labels: dependencies
#2 - Bump acorn from 6.4.0 to 6.4.1 in /web/client
Pull Request -
State: closed - Opened by dependabot[bot] over 4 years ago
Labels: dependencies
#1 - Bump jquery from 3.4.1 to 3.5.0 in /web/client
Pull Request -
State: closed - Opened by dependabot[bot] over 4 years ago
- 1 comment
Labels: dependencies
#1 - Bump jquery from 3.4.1 to 3.5.0 in /web/client
Pull Request -
State: closed - Opened by dependabot[bot] over 4 years ago
- 1 comment
Labels: dependencies