Ecosyste.ms: Issues

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

GitHub / trailofbits/sholva issues and pull requests

#242 - Build(deps): Bump itertools from 0.12.1 to 0.13.0 in /mttn

Pull Request - State: open - Opened by dependabot[bot] 6 months ago
Labels: dependencies

#241 - Build(deps): Bump nix from 0.27.1 to 0.28.0 in /mttn

Pull Request - State: open - Opened by dependabot[bot] 9 months ago
Labels: dependencies

#240 - sv_circuit: memory proof

Pull Request - State: open - Opened by jleightcap 9 months ago - 1 comment

#239 - sv-compositor: witness type zipped with timestamp

Pull Request - State: closed - Opened by jleightcap 9 months ago - 3 comments

#238 - sv-compositor: remove flattening logic, move into yosys pass

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

#237 - Build(deps): Bump clap from 4.4.18 to 4.5.1 in /mttn

Pull Request - State: closed - Opened by dependabot[bot] 9 months ago
Labels: dependencies

#236 - Build(deps): Bump env_logger from 0.10.2 to 0.11.2 in /mttn

Pull Request - State: closed - Opened by dependabot[bot] 10 months ago
Labels: dependencies

#235 - Build(deps): Bump clap from 4.4.3 to 4.5.0 in /mttn

Pull Request - State: closed - Opened by dependabot[bot] 10 months ago - 1 comment
Labels: dependencies

#234 - eip-triggered tracing of libc programs

Pull Request - State: closed - Opened by jleightcap 10 months ago

#233 - mttn: Add capability to start trace at a given value of rip.

Pull Request - State: closed - Opened by lisaoverall 10 months ago

#230 - mttn hanging fixup

Pull Request - State: closed - Opened by jleightcap 10 months ago - 4 comments

#229 - Build(deps): Bump iced-x86 from 1.20.0 to 1.21.0 in /mttn

Pull Request - State: closed - Opened by dependabot[bot] 10 months ago
Labels: dependencies

#228 - T&E testcase fixup

Pull Request - State: open - Opened by jleightcap 10 months ago

#227 - Jl/testcasefixup

Pull Request - State: closed - Opened by lisaoverall 10 months ago - 2 comments

#226 - memory proof: read/write hint construction

Pull Request - State: closed - Opened by jleightcap 11 months ago - 1 comment

#225 - `mmap`, `munmap` syscall models

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

#224 - sv_circuit: add to monorepo

Pull Request - State: closed - Opened by jleightcap 11 months ago - 2 comments

#223 - support `mmap`, `munmap`

Issue - State: closed - Opened by jleightcap 12 months ago

#222 - stdlib syscall modeling (`getrandom`, `brk`, `mmap`, `munmap`)

Pull Request - State: closed - Opened by jleightcap 12 months ago - 1 comment

#221 - mttn: Add trace artifact for exit syscall

Issue - State: open - Opened by lisaoverall almost 1 year ago - 1 comment

#220 - mttn: Allow greater syscall model flexibility in testing.

Issue - State: closed - Opened by lisaoverall about 1 year ago - 2 comments
Labels: mttn, testing

#219 - mttn: swap Linux and DECREE syscall precedence

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

#217 - tiny86 testing fixups

Pull Request - State: closed - Opened by jleightcap about 1 year ago - 2 comments

#216 - circuitous integration artifacts

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

#215 - Build(deps): Bump rustix from 0.37.7 to 0.37.25 in /mttn

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

#214 - tiny86: TCL synthesis script

Pull Request - State: closed - Opened by jleightcap about 1 year ago - 2 comments

#213 - mttn: fix construction of rustPlatform

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

#212 - Build(deps): Bump clap from 3.2.22 to 4.4.3 in /mttn

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago - 6 comments
Labels: dependencies

#211 - test: regressions of `run-tests` and `wtk-firealarm`

Issue - State: open - Opened by jleightcap about 1 year ago

#210 - Only open a pull request for major or minor version updates

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

#209 - Configure dependabot to update only on new major/minor versions

Issue - State: closed - Opened by lisaoverall about 1 year ago
Labels: dependencies

#208 - Build(deps): Bump serde_json from 1.0.103 to 1.0.106 in /mttn

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

#207 - test: validation of the DF computation

Issue - State: open - Opened by jleightcap about 1 year ago
Labels: pri:low

#206 - Build(deps): Bump nix from 0.26.2 to 0.27.1 in /mttn

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

#205 - Build(deps): Bump serde from 1.0.175 to 1.0.188 in /mttn

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

#204 - Build(deps): Bump nix from 0.26.2 to 0.27.0 in /mttn

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

#203 - Build(deps): Bump serde from 1.0.175 to 1.0.186 in /mttn

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

#202 - Build(deps): Bump serde from 1.0.175 to 1.0.185 in /mttn

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

#201 - Build(deps): Bump anyhow from 1.0.72 to 1.0.75 in /mttn

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

#200 - Build(deps): Bump serde_json from 1.0.103 to 1.0.105 in /mttn

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

#199 - Build(deps): Bump anyhow from 1.0.72 to 1.0.74 in /mttn

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

#198 - Build(deps): Bump anyhow from 1.0.72 to 1.0.73 in /mttn

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

#197 - Build(deps): Bump log from 0.4.19 to 0.4.20 in /mttn

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

#196 - Build(deps): Bump serde from 1.0.175 to 1.0.183 in /mttn

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

#195 - Build(deps): Bump rsprocmaps from 0.3.1 to 0.3.2 in /mttn

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

#194 - Build(deps): Bump serde from 1.0.175 to 1.0.181 in /mttn

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

#193 - Build(deps): Bump serde from 1.0.175 to 1.0.180 in /mttn

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

#192 - Build(deps): Bump serde from 1.0.175 to 1.0.179 in /mttn

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

#191 - Build(deps): Bump serde from 1.0.175 to 1.0.177 in /mttn

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

#190 - Build(deps): Bump serde from 1.0.175 to 1.0.176 in /mttn

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

#189 - Build(deps): Bump serde_json from 1.0.103 to 1.0.104 in /mttn

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

#188 - Build(deps): Bump serde from 1.0.164 to 1.0.175 in /mttn

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

#187 - mttn: enable logging of SEGFAULT'd tracee

Pull Request - State: open - Opened by xBalbinus over 1 year ago - 1 comment

#186 - Build(deps): Bump serde from 1.0.164 to 1.0.174 in /mttn

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

#185 - Build(deps): Bump serde from 1.0.164 to 1.0.173 in /mttn

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

#184 - Build(deps): Bump iced-x86 from 1.19.0 to 1.20.0 in /mttn

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

#183 - Build(deps): Bump serde_json from 1.0.96 to 1.0.103 in /mttn

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

#182 - Build(deps): Bump anyhow from 1.0.71 to 1.0.72 in /mttn

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

#181 - Build(deps): Bump serde_json from 1.0.96 to 1.0.102 in /mttn

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

#180 - Build(deps): Bump serde from 1.0.164 to 1.0.171 in /mttn

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

#179 - Build(deps): Bump serde from 1.0.164 to 1.0.167 in /mttn

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

#178 - Build(deps): Bump serde_json from 1.0.96 to 1.0.100 in /mttn

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

#177 - Build(deps): Bump serde from 1.0.164 to 1.0.166 in /mttn

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

#176 - mttn: bundle traced programs as derivation output

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

#175 - Build(deps): Bump serde_json from 1.0.96 to 1.0.99 in /mttn

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

#174 - Build(deps): Bump libc from 0.2.146 to 0.2.147 in /mttn

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

#173 - Build(deps): Bump serde_json from 1.0.96 to 1.0.97 in /mttn

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

#172 - build: use flakes

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

#171 - Build(deps): Bump log from 0.4.18 to 0.4.19 in /mttn

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

#170 - CI: improve synthesis statistics reporting

Pull Request - State: open - Opened by xBalbinus over 1 year ago

#169 - Build(deps): Bump serde from 1.0.163 to 1.0.164 in /mttn

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

#168 - CI: nixpkgs 23.05

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

#167 - CI: update nixpkgs to 23.05

Issue - State: closed - Opened by jleightcap over 1 year ago

#166 - runtime: add build recipe for threadless i386 gcj

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

#164 - synthesis: use yosys script

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

#163 - test: de-couple the integration testing and the mttn/tiny86 self tests.

Issue - State: closed - Opened by jleightcap over 1 year ago - 1 comment
Labels: pri:low, CI/CD, testing

#162 - exploit: log4shell model

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

#161 - runtime: openjdk LLVM-i386 under nix

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

#154 - Log4Shell exploit modeling

Issue - State: open - Opened by jleightcap over 1 year ago
Labels: pri:low, threads

#153 - mttn: support tracing of threads

Issue - State: open - Opened by jleightcap over 1 year ago - 1 comment
Labels: pri:low, threads

#152 - tiny86: integrate LLVM backend

Issue - State: closed - Opened by jleightcap over 1 year ago - 1 comment
Labels: pri:high, build, testing

#151 - Common trace format with circuitous

Issue - State: closed - Opened by jleightcap over 1 year ago - 1 comment
Labels: pri:high, mttn

#148 - mttn: Allow skipping of the dynamic linker/loader

Issue - State: closed - Opened by jleightcap over 1 year ago - 1 comment
Labels: enhancement, pri:low, mttn

#146 - mttn: Add a statistics flag

Issue - State: open - Opened by jleightcap over 1 year ago - 1 comment
Labels: enhancement, pri:low, mttn

#143 - tiny86: Deprecating use of `verilog_tools` in favor of yosys scripts

Issue - State: closed - Opened by jleightcap over 1 year ago
Labels: enhancement, dependencies, tiny86

#135 - Update `niv` dependency action, ensure any action errors produce visible failures

Issue - State: closed - Opened by jleightcap over 1 year ago - 1 comment
Labels: bug, pri:med, dependencies, CI/CD

#134 - mttn: enable logging of SEGFAULT'd tracee

Issue - State: open - Opened by jleightcap over 1 year ago
Labels: enhancement, good first issue, pri:med, mttn

#123 - Use cachix action to avoid re-building nix deps per-build

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

#120 - Write a git bisect script to check for `sv-compositor`-induced regressions

Issue - State: open - Opened by lisaoverall almost 2 years ago - 1 comment
Labels: pri:med, tiny86, testing

#114 - Build(deps): Bump clap from 3.2.22 to 4.2.0 in /mttn

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

#111 - Generate documentation/lints for a "trace format change" process.

Issue - State: open - Opened by jleightcap over 1 year ago
Labels: documentation, pri:low

#102 - Verify correct syscall register preservation semantics

Issue - State: closed - Opened by jleightcap over 1 year ago - 5 comments
Labels: bug, pri:med, testing

#100 - CI: use `cachix` to avoid re-synthesizing with `yosys` pre CI run

Issue - State: closed - Opened by jleightcap over 1 year ago
Labels: enhancement, pri:low, CI/CD

#99 - TEST(jl): `QuickCheck` propositions non-zero exit code

Pull Request - State: closed - Opened by jleightcap over 1 year ago - 3 comments

#98 - TEST(jl): log4shell test environment

Pull Request - State: open - Opened by jleightcap over 1 year ago - 2 comments

#97 - TEST(jl): `wiztoolkit` verification

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

#96 - FIX(jl): clippy fixes.

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