Skip to content
This repository has been archived by the owner on Dec 13, 2022. It is now read-only.

Issues: project-oak/silveroak

34 Open 207 Closed
34 Open 207 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Export cava2 library in a few prepackaged files P2
#931 opened Sep 14, 2021 by jadephilipoom
I need to know that BitVec's are bounded by 2^n.
#927 opened Sep 7, 2021 by fshaked
@blaxill
2
Combine Uart and SHA256 proofs
#916 opened Aug 20, 2021 by samuelgruetter
2
Separate/upstream Util directory
#914 opened Aug 19, 2021 by jadephilipoom
6
Support 8- and 16-bit MMIO in RISC-V-to-Cava connection
#912 opened Aug 19, 2021 by samuelgruetter
[firmware/Uart] Need an invariant on maximum number of busy cycles
#898 opened Aug 16, 2021 by dayeol
[firmware/Uart] uart_putchar precondition needs to be more generic
#897 opened Aug 16, 2021 by dayeol
Try ignoring high bits in SHA-256 spec
#895 opened Aug 16, 2021 by jadephilipoom
@jadephilipoom
3
[bedrock2/Uart] Finish firmware semantics and proofs P1
#889 opened Aug 12, 2021 by dayeol
@dayeol
Circuit combinators requiring casts
#884 opened Aug 10, 2021 by samuelgruetter
3
Cava1 semantics was a Moore machine, but Cava2 is Mealy?
#883 opened Aug 10, 2021 by fshaked
11
Use the new SHA256 and HMAC testing routines for the circuits P1
#880 opened Aug 9, 2021 by blaxill
@jadephilipoom
Reading let/delay should not require counting positions within tuples
#874 opened Aug 6, 2021 by samuelgruetter
1
Straightline matches with different cases but it makes less sense P1
#854 opened Jul 27, 2021 by dayeol
@samuelgruetter
Omitting features safely
#840 opened Jun 23, 2021 by samuelgruetter
More explicit ro, rw, rw1c, etc in state machine semantics
#837 opened Jun 22, 2021 by samuelgruetter
Warnings about submodule downgrades friction P2
#826 opened Jun 15, 2021 by jadephilipoom Silver Oak Phase 2
Consider renaming simulate to semantics P2
#807 opened Jun 2, 2021 by satnam6502 Silver Oak Phase 2
@jadephilipoom
2
Cava2HDL does not appear to be installed anymore P1
#784 opened May 14, 2021 by satnam6502 Silver Oak Phase 2
@blaxill
3
Generate tutorial HTML automatically documentation Improvements or additions to documentation P2
#780 opened May 7, 2021 by jadephilipoom
5
Source tree clean up and building and CI modernisation
#742 opened Apr 14, 2021 by blaxill
2 of 5 tasks
@blaxill
Parameterize AES proof over s-box P3 Very low priority item
#734 opened Apr 12, 2021 by jadephilipoom
1
Vector representation comparison P3 Very low priority item
#731 opened Apr 12, 2021 by blaxill
1
Pipeline bitonic sorter P2
#700 opened Mar 25, 2021 by satnam6502 Silver Oak Phase 2
@smore-lore
Consider upgrading Haskell compiler to 9.0.1 P2
#690 opened Mar 23, 2021 by satnam6502 Silver Oak Phase 2
@blaxill
2
ProTip! Exclude everything labeled bug with -label:bug.