trailofbits/sholva issues and pull requests

#95 - TEST(jl): everything built with `nix`

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

#94 - Propagate debugging information from Verilog through circuit export

Issue - State: closed - Opened by lisaoverall almost 2 years ago - 2 comments
Labels: enhancement, pri:med, pri:low, tiny86

#93 - Add PR / issue template incorporating third-party tools

Issue - State: closed - Opened by lisaoverall almost 2 years ago - 1 comment
Labels: enhancement, pri:low, CI/CD

#92 - Add funding acknowledgement, Distribution A statement

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

#91 - ``default_nettype none` on Verilog sources

Issue - State: closed - Opened by jleightcap almost 2 years ago
Labels: enhancement, good first issue, pri:low

#90 - DOC: remove intermediate build artifacts (codegen, clash, &c)

Issue - State: closed - Opened by jleightcap almost 2 years ago
Labels: good first issue, pri:low

#89 - Update README to reflect current DISTAR requirements

Issue - State: closed - Opened by lisaoverall almost 2 years ago

#88 - MTTN: trace step return vector of `Step`

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

#87 - mttn: trace all programs inside a Docker container

Issue - State: open - Opened by jleightcap almost 2 years ago
Labels: pri:med, testing, filesystem

#86 - TASK(jl): tracer instruction decomposition

Pull Request - State: closed - Opened by jleightcap almost 2 years ago - 1 comment

#85 - TEST(jl): benchmarking and artifacts scripts.

Pull Request - State: closed - Opened by jleightcap almost 2 years ago - 1 comment

#84 - merge mttn

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

#83 - CI: improve synthesis statistics reporting

Issue - State: open - Opened by jleightcap about 2 years ago
Labels: enhancement, good first issue, pri:low

#82 - TASK(jl): syscall

Pull Request - State: closed - Opened by jleightcap about 2 years ago - 5 comments

#81 - update README

Pull Request - State: closed - Opened by jleightcap about 2 years ago

#80 - Update README with `nix` installation

Issue - State: closed - Opened by jleightcap about 2 years ago

#79 - tiny86 bristol target

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

#78 - Switch to nixos/nixpkgs

Pull Request - State: closed - Opened by arcz over 2 years ago

#77 - haskell testing infrastructure for ALU verification

Pull Request - State: closed - Opened by jleightcap over 2 years ago

#76 - PoC Nix-based build

Pull Request - State: closed - Opened by arcz over 2 years ago

#75 - clash ALU implementation

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

#74 - Syscall support

Issue - State: closed - Opened by woodruffw over 2 years ago
Labels: pri:high, mttn, tiny86, filesystem, random

#73 - Refactor logical/physical operand handling

Issue - State: open - Opened by woodruffw almost 3 years ago
Labels: enhancement, pri:low, tiny86, instruction support

#72 - Support IDIV

Issue - State: open - Opened by woodruffw almost 3 years ago - 2 comments
Labels: pri:med, tiny86, instruction support

#71 - Support architectural exceptions

Issue - State: open - Opened by woodruffw almost 3 years ago
Labels: pri:med, tiny86, instruction support

#70 - Support CDQ

Issue - State: closed - Opened by woodruffw almost 3 years ago - 2 comments

#69 - Support LEAVE

Issue - State: closed - Opened by woodruffw almost 3 years ago - 2 comments

#68 - circuit: add jumptable

Pull Request - State: closed - Opened by woodruffw almost 3 years ago - 6 comments

#67 - circuit: lots of small fixes, add memops check

Pull Request - State: closed - Opened by woodruffw almost 3 years ago
Labels: bug

#66 - test: more e2e trace tests

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

#65 - Cross-check all of `mttn`'s test programs

Issue - State: closed - Opened by woodruffw almost 3 years ago
Labels: good first issue, pri:med

#64 - reorg, add top-level check

Pull Request - State: closed - Opened by woodruffw almost 3 years ago - 2 comments

#63 - Add a top-level "step" or "verify" module

Issue - State: closed - Opened by woodruffw almost 3 years ago

#62 - Support LOOPcc

Pull Request - State: closed - Opened by woodruffw almost 3 years ago - 1 comment

#61 - Support LOOP/cc

Issue - State: closed - Opened by woodruffw almost 3 years ago

#60 - RET support

Pull Request - State: closed - Opened by woodruffw almost 3 years ago - 1 comment

#59 - Refactor abstract operand handling

Issue - State: open - Opened by woodruffw almost 3 years ago - 1 comment
Labels: pri:med, tiny86, instruction support

#58 - Run `sv-blif-lint` in CI

Issue - State: closed - Opened by woodruffw almost 3 years ago - 1 comment
Labels: pri:low

#57 - Fix BLIF synthesis errors

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

#56 - circuit/test: initial vectors for PUSH

Pull Request - State: closed - Opened by woodruffw almost 3 years ago - 2 comments

#55 - Tweak Verilog to avoid structural BLIF errors

Issue - State: closed - Opened by ehennenfent almost 3 years ago - 3 comments
Labels: bug

#54 - Verify PUSH and POP

Issue - State: closed - Opened by woodruffw almost 3 years ago - 1 comment

#53 - Refactor the ALU

Issue - State: closed - Opened by woodruffw almost 3 years ago - 1 comment
Labels: enhancement, pri:low

#52 - Support `Jcc`

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

#51 - Support RET

Issue - State: closed - Opened by woodruffw almost 3 years ago

#50 - Support Jcc

Issue - State: closed - Opened by woodruffw almost 3 years ago

#49 - CALL, JMP, etc. support

Pull Request - State: closed - Opened by woodruffw almost 3 years ago - 8 comments

#48 - tiny86, circuit: work on shift and rotate ops

Pull Request - State: closed - Opened by woodruffw about 3 years ago - 3 comments

#47 - circuit, tiny86: more EIP, relative disp work

Pull Request - State: closed - Opened by woodruffw about 3 years ago - 1 comment

#46 - Mark relative displacements in the encoding spec

Issue - State: closed - Opened by woodruffw about 3 years ago

#45 - Instruction lengths

Pull Request - State: closed - Opened by woodruffw about 3 years ago - 2 comments

#44 - Compute the instruction length

Issue - State: closed - Opened by woodruffw about 3 years ago

#43 - Fix "embedded register operand" decoding

Issue - State: closed - Opened by woodruffw about 3 years ago - 1 comment
Labels: bug

#42 - circuit/execute: move unit

Pull Request - State: closed - Opened by woodruffw about 3 years ago - 1 comment

#41 - Sign/zero-extension support

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

#40 - Immediate handling

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

#39 - Immediate handling

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

#38 - Support LAHF

Issue - State: open - Opened by woodruffw over 3 years ago
Labels: pri:med, tiny86, instruction support

#37 - Support PUSHF/POPF

Issue - State: open - Opened by woodruffw over 3 years ago - 1 comment
Labels: good first issue, pri:med, tiny86, instruction support

#36 - execute: add an initial meta unit

Pull Request - State: closed - Opened by woodruffw over 3 years ago - 2 comments

#35 - "Meta" ops: flag manipulation

Issue - State: closed - Opened by woodruffw over 3 years ago - 1 comment

#34 - circuit: signal groundwork for disp routing

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

#33 - circuit: disp8/32 disambiguation

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

#32 - Add read/write information to the encoding spec

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

#31 - Address generation unit

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

#30 - Address generation unit

Issue - State: closed - Opened by woodruffw over 3 years ago

#29 - Memory operands

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

#28 - circuit: refactor regfile, begin writeback work

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

#27 - Writeback

Issue - State: closed - Opened by woodruffw over 3 years ago

#26 - Initial execution work

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

#25 - circuit/codegen: emit one-hot forms

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

#24 - Decoder cleanup

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

#23 - Disambiguate disp8/16/32

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

#22 - XCHG: implicit EAX operand form

Issue - State: closed - Opened by woodruffw over 3 years ago

#21 - circuit, tiny86: earnest operand decoding

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

#20 - ModR/M and SIB decoding

Issue - State: closed - Opened by woodruffw over 3 years ago

#19 - tvgen: support "matrix-style" test vector generation

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

#18 - Register file work

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

#17 - Register components

Issue - State: closed - Opened by woodruffw over 3 years ago

#16 - 8-way 32-bit mux

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

#15 - Implicit EAX/CL, more instruction support, codegen fixes

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

#14 - Primitive: 8-way 32-bit mux

Issue - State: closed - Opened by woodruffw over 3 years ago

#13 - Add implicit operands to the encoding spec

Issue - State: closed - Opened by woodruffw over 3 years ago - 1 comment

#12 - Add sign/zero-extending to the encoding spec

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

#11 - Execution units

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

#10 - tiny86, circuit: memory hint decoding

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

#9 - Decode the step's regfile

Issue - State: closed - Opened by woodruffw over 3 years ago - 1 comment

#8 - Decode memory hints

Issue - State: closed - Opened by woodruffw over 3 years ago

#7 - tbgen, circuit: initial testbench generation progress

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

#6 - Figure out a testing approach

Issue - State: closed - Opened by woodruffw over 3 years ago

#5 - Support SHLD/SHRD

Issue - State: closed - Opened by woodruffw over 3 years ago

#4 - Support the various shift and roll instructions

Issue - State: open - Opened by woodruffw over 3 years ago - 5 comments
Labels: pri:med, tiny86, instruction support

#3 - Potential support for MOV variants

Issue - State: open - Opened by woodruffw over 3 years ago
Labels: pri:med, tiny86, instruction support

#2 - Support IMUL

Issue - State: closed - Opened by woodruffw over 3 years ago

#1 - Support CALL

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

GitHub / trailofbits/sholva issues and pull requests