- 0c23247 [otbn] Refactor how constants are represented for OTBN information flow. by Jade Philipoom · 3 years, 2 months ago
- 6704ad0 [otbn] Support "nonexistent" information-flow graphs. by Jade Philipoom · 3 years, 2 months ago
- 983fa10 [otbn] Better cache support for information flow analysis. by Jade Philipoom · 3 years, 2 months ago
- a7b30e6 [bazel] update `build_otbn.py` to import otbn_ld module by Timothy Trippel · 3 years ago
- 024e393 [bazel] update `build_otbn.py` to import otbn_as module by Timothy Trippel · 3 years ago
- fc19734 [bazel] invoke otbn_as.py with hermetic Python toolchain by Timothy Trippel · 3 years ago
- 36f9f90 [bazel] add bazel rules for OTBN tools by Timothy Trippel · 3 years ago
- 248f893 [otbn] rename OTBN objdump Python script by Timothy Trippel · 3 years ago
- efe736b [otbn] rename OTBN assembler Python script by Timothy Trippel · 3 years ago
- ffc9e54 [otbn] rename OTBN linker Python script by Timothy Trippel · 3 years ago
- cdcb696 [sw,otbn] Remove outdated Makefile/rules.mk from code-snippets. by Jade Philipoom · 3 years ago
- 73b373d [sw,otbn] Add scripts for OTBN information-flow analysis. by Jade Philipoom · 3 years, 3 months ago
- 27685ef [otbn,util] Combine information- and control- flow to analyze OTBN. by Jade Philipoom · 3 years, 4 months ago
- 9b34e4a [bazel] Build mask_rom with bazel by Chris Frantz · 3 years, 4 months ago
- 8b2f5f8 [otbn,util] Add control-flow machinery to OTBN utils. by Jade Philipoom · 3 years, 4 months ago
- 8d2d1cb [otbn,util] Move CodeSection to shared/ directory. by Jade Philipoom · 3 years, 4 months ago
- af68ff5 [otbn/util] Add information-flow data structures for OTBN instructions. by Jade Philipoom · 3 years, 4 months ago
- 6235ddb [otbn, doc] Add information-flow data to OTBN ISA YAML. by Jade Philipoom · 3 years, 4 months ago
- 49923b5 [otbn] Tidy up long lines and unnecessary imports in Python code by Rupert Swarbrick · 3 years, 4 months ago
- cc4e9fa [otbn,python] Wrap code to 79 columns by Rupert Swarbrick · 3 years, 5 months ago
- a6e6c8f [sw/otbn] Create a static check for OTBN loops. by Jade Philipoom · 3 years, 4 months ago
- 9f4d182 [sw/otbn] Add check for potentially dangerous use of the x1 register. by Jade Philipoom · 3 years, 5 months ago
- 9535680 [otbn,rtl] Narrow bus-visible DMEM to 2KiB by Rupert Swarbrick · 3 years, 5 months ago
- c2775af [util] Move some generic parsing code to util by Rupert Swarbrick · 3 years, 5 months ago
- d759eb6 [otbn] Separate ELF-parsing code from simulator. by Jade Philipoom · 3 years, 5 months ago
- 8d876f1 [otbn/util] Update RISC-V toolchain search to look in default location. by Jade Philipoom · 3 years, 5 months ago
- 6f93bd0 [otbn,util] Teach otbn-objdump to handle '-d' in all its forms! by Rupert Swarbrick · 3 years, 6 months ago
- 9a842e0 [otbn,doc] Annotate instructions with the errors they can cause by Rupert Swarbrick · 3 years, 7 months ago
- a801213 [otbn,doc] Add an "errs" field to instruction YAML by Rupert Swarbrick · 3 years, 7 months ago
- b7380ac [otbn,doc] Re-organise ISA rendering by Rupert Swarbrick · 3 years, 7 months ago
- 7a4dcf6 [otbn,doc] Get rid of "trailing-doc" by Rupert Swarbrick · 3 years, 7 months ago
- 60a6a45 [otbn,dv] Add a "bad instruction" snippet generator to RIG by Rupert Swarbrick · 3 years, 8 months ago
- d374e74 [otbn,util] De-duplicate Python decoding code by Rupert Swarbrick · 3 years, 8 months ago
- 327d4ee [otbn,dv] Teach the RIG about the 'wrd' operand of bn.mulqacc.so by Rupert Swarbrick · 3 years, 9 months ago
- 0f6eeaf [reggen] Tighten up types in reggen and add a mypy lint check by Rupert Swarbrick · 3 years, 10 months ago
- 60645c1 Minor tweaks for bleeding-edge mypy by Rupert Swarbrick · 3 years, 10 months ago
- f157455 [otbn,doc] Fix generated encoding table for instructions like JAL by Rupert Swarbrick · 3 years, 10 months ago
- bb16054 [otbnsim] Make OTBNState.pc_next always available by Philipp Wagner · 3 years, 10 months ago
- c20cdca [otbn-as] Generate .line numbers to fix up DWARF information by Rupert Swarbrick · 4 years ago
- 19caff3 [otbn,util] Fix block comment parsing in otbn-as by Rupert Swarbrick · 4 years ago
- e2fe8ba [otbn] Add support for the "la" pseudo-operation to otbn-as by Rupert Swarbrick · 4 years ago
- 3564ef5 [otbn] Remove unused imports from otbn-objdump by Rupert Swarbrick · 4 years ago
- c42725c [otbn] Refactor ISS stalling behaviour by Greg Chadwick · 4 years ago
- 200d8b4 [topgen] Allow multiple device interfaces to connect to the crossbar by Rupert Swarbrick · 4 years, 1 month ago
- 269bb3d [reggen] Define a class wrapping the top-level IP block by Rupert Swarbrick · 4 years, 1 month ago
- 1db6fcd [reggen] Define a class to represent the registers in a block by Rupert Swarbrick · 4 years, 1 month ago
- 28f25c0 [otbn] Rewrite named WSR reads and writes in operation docs by Rupert Swarbrick · 4 years, 1 month ago
- 137c9d3 [otbn] Rewrite indexed WSR reads and writes in operation docs by Rupert Swarbrick · 4 years, 1 month ago
- 9f05fd3 [otbn] Rewrite flag reads and writes in operation docs by Rupert Swarbrick · 4 years, 1 month ago
- 254cf26 [otbn] Rewrite CSR reads and writes in operation docs by Rupert Swarbrick · 4 years, 1 month ago
- 9421c1e [otbn] Get rid of the RegRef class in document extraction by Rupert Swarbrick · 4 years, 1 month ago
- 8d4e412 [otbn] Represent updates to PC more nicely in operation docs by Rupert Swarbrick · 4 years, 1 month ago
- b91b4c8 [otbn] Replace state.dmem with DMEM in operation docs by Rupert Swarbrick · 4 years, 1 month ago
- 1e7a060 [otbn] Use pretty <= symbols for state assignments in operation docs by Rupert Swarbrick · 4 years, 1 month ago
- 3fcc732 [otbn] Strip "self." out of code in operation docs by Rupert Swarbrick · 4 years, 1 month ago
- bc2bc58 [reggen] Define a Window type to represent (memory) windows by Rupert Swarbrick · 4 years, 2 months ago
- f6803cb [otbn] Initial rewriting support in extracted documentation by Rupert Swarbrick · 4 years, 1 month ago
- 4077bec [otbn] Use libcst to extract implementations for docs by Rupert Swarbrick · 4 years, 6 months ago
- 01930e8 [otbn] Remove unneeded __init__.py by Rupert Swarbrick · 4 years, 2 months ago
- c5b3815 [reggen] Define a Register type for use in reggen by Rupert Swarbrick · 4 years, 2 months ago
- 0510048 [otbn] Move rig into dv/rig by Rupert Swarbrick · 4 years, 2 months ago
- 62e6c37 [otbn] Add basic support for LOOP/LOOPI to RIG by Rupert Swarbrick · 4 years, 2 months ago
- 379b791 [otbn] Fix disassembly of negative PC-relative immediates by Rupert Swarbrick · 4 years, 2 months ago
- cd2170a [otbn] Widen columns slightly when disassembling by Rupert Swarbrick · 4 years, 2 months ago
- be2cec0 [otbn] Fix disassembly for glued operands by Rupert Swarbrick · 4 years, 2 months ago
- ca3e684 [otbn] Tidy up how we deal with fuel in RIG by Rupert Swarbrick · 4 years, 2 months ago
- 98aaf5c [otbn] Add support for "const values" to RIG by Rupert Swarbrick · 4 years, 2 months ago
- cbe384f [otbn] Define helper functions for snippet merging in RIG by Rupert Swarbrick · 4 years, 2 months ago
- f74d458 [otbn] Factor KnownMem out of Model.py in RIG by Rupert Swarbrick · 4 years, 2 months ago
- 577bcb8 [otbn] Change how we describe valid ranges for PC-relative operands by Rupert Swarbrick · 4 years, 2 months ago
- dcc2589 [otbn] Allow short names for operands in encoding docs by Rupert Swarbrick · 4 years, 2 months ago
- 2c11675 [otbn] Add a note about "Operation" section for enums/options by Rupert Swarbrick · 4 years, 2 months ago
- 74d2e29 [otbn] Auto-generate decode information in ISA by Rupert Swarbrick · 4 years, 3 months ago
- 3691899 [otbn] Remove stray debug lines from RIG by Rupert Swarbrick · 4 years, 2 months ago
- e0066c5 [otbn] Teach RIG to generate BEQ and BNE instructions by Rupert Swarbrick · 4 years, 3 months ago
- 444724c [otbn] Fix RIG model's _inc_gpr logic by Rupert Swarbrick · 4 years, 2 months ago
- bec5385 [otbn] Add support for CSR/WSR instructions to RIG by Rupert Swarbrick · 4 years, 3 months ago
- e256576 [otbn] Add support for bn.movr to RIG by Rupert Swarbrick · 4 years, 3 months ago
- 6ed9584 [otbn] Add support for bn.sid to RIG by Rupert Swarbrick · 4 years, 3 months ago
- 7966408 [otbn] Fix typo when generating error messages by Rupert Swarbrick · 4 years, 3 months ago
- 26bd798 [otbn] Use .+123 syntax where possible for relative operands by Rupert Swarbrick · 4 years, 3 months ago
- be67e0a [otbn] Remove the OpenSection logic in the RIG's Program class by Rupert Swarbrick · 4 years, 3 months ago
- 7e13144 [otbn] Fix ordering problems in RIG model update logic by Rupert Swarbrick · 4 years, 3 months ago
- 33156a0 [otbn] Fix handling of negative addi operands in RIG's update by Rupert Swarbrick · 4 years, 3 months ago
- bdef852 [otbn] Fix a bug in RIG jump target selection by Rupert Swarbrick · 4 years, 3 months ago
- fa75f30 [otbn] Don't overflow the call stack in RIG programs by Rupert Swarbrick · 4 years, 3 months ago
- 0d5d90a [otbn] Fix model tracking for LUI in RIG by Rupert Swarbrick · 4 years, 3 months ago
- 99cb198 [otbn] Ensure the RIG always picks aligned jumps by Rupert Swarbrick · 4 years, 3 months ago
- e1b506b [otbn] Only pop once from the call stack for add x0, x1, x1 in rig by Rupert Swarbrick · 4 years, 3 months ago
- 21437af [otbn] Fix is_dest check in rig by Rupert Swarbrick · 4 years, 3 months ago
- 5238ecf [otbn] Don't jump to the instruction we're choosing in rig by Rupert Swarbrick · 4 years, 3 months ago
- 41a9447 [otbn] Fix logic for picking LSU target in rig by Rupert Swarbrick · 4 years, 3 months ago
- d285488 [otbn] Only generate 32-byte initialised data in rig by Rupert Swarbrick · 4 years, 3 months ago
- 30b4d1e [otbn] Add fixed_offset to immediate operands by Greg Chadwick · 4 years, 4 months ago
- a2c05e7 [otbn] Simplify bn.wsrrs/bn.wsrrw to just bn.wsrr/bn.wsrw by Rupert Swarbrick · 4 years, 4 months ago
- 9c14933 [otbn] Fix size check in operand.py by Rupert Swarbrick · 4 years, 4 months ago
- 83c6aef [otbn] Split out ISA into a separate document by Rupert Swarbrick · 4 years, 4 months ago
- d2a16f9 [otbn] Fix output writing with `otbn-rig gen` by Philipp Wagner · 4 years, 4 months ago
- 02f9c50 [otbn] Require a command in otbn-rig by Philipp Wagner · 4 years, 4 months ago
- c080719 [otbn] Teach instruction generator to generate BN.LID instructions by Rupert Swarbrick · 4 years, 4 months ago