programmerjake
0 followers · 1 following
  • Joined on 2024-07-08
Repositories
3
 Projects Packages Public activity Starred repositories
programmerjake pushed to master at libre-chip/fayalite 2024-10-03 07:39:39 +00:00
4497f09ea0 fix wrong build steps
programmerjake pushed to master at libre-chip/fayalite 2024-10-03 07:35:54 +00:00
1c63a441a9 add needed tools to CI
0cf01600b3 add mod formal and move assert/assume/cover stuff to it
f3d6528f5b make annotations easier to use
f35d88d2bb remove unused valueless.rs
e8c393f3bb sort pub mod items
Compare 5 commits »
programmerjake pushed to master at libre-chip/fayalite 2024-10-02 01:33:58 +00:00
d0b406d288 add more annotation kinds
2a25dd9d7b fix annotations getting lost
6e0b6c000d remove stray debugging prints
Compare 3 commits »
programmerjake pushed to master at libre-chip/fayalite 2024-10-01 07:08:48 +00:00
d089095667 change default to --simplify-enums=replace-with-bundle-of-uints
9d66fcc548 improve ExportOptions support in assert_export_firrtl!
186488a82e remove FIXME now that simplify_enums is fixed
Compare 3 commits »
programmerjake pushed to master at libre-chip/fayalite 2024-10-01 05:34:53 +00:00
edcea1adc3 add firrtl comments when connecting expressions with different types
30a38bc8da fix simplify_enums to properly handle nested enums and connects with different types
1e2831da47 add validation of connects and matches when validating module
d2ba313f0f fix simplify_memories trying to connect Bool with UInt
Compare 4 commits »
programmerjake pushed to master at libre-chip/fayalite 2024-09-26 04:56:38 +00:00
04752c5037 add test for connect_any with nested enums with different-sized variant bodies
programmerjake pushed to master at libre-chip/fayalite 2024-09-25 09:00:37 +00:00
e661aeab11 add WIP formal proof for queue()
5fc7dbd6e9 add assert_formal helper for running formal proofs in rust tests
45dbb554d0 add formal subcommand
bb860d54cc add command line options for selecting which transforms to apply when generating firrtl
efc3a539ed support redirecting subprocesses' stdout/stderr to print!() so it gets captured for rust tests
Compare 5 commits »
programmerjake pushed to master at libre-chip/fayalite 2024-09-25 08:58:32 +00:00
57aa849615 add WIP formal proof for queue()
d477252bde add assert_formal helper for running formal proofs in rust tests
Compare 2 commits »
programmerjake pushed to master at libre-chip/fayalite 2024-09-25 08:56:13 +00:00
6b0eea8295 add WIP formal proof for queue()
programmerjake pushed to master at libre-chip/fayalite 2024-09-25 08:54:56 +00:00
8489bd06f0 add assert_formal helper for running formal proofs in rust tests
37bc6eb639 add formal subcommand
e2de8c3d99 add command line options for selecting which transforms to apply when generating firrtl
42945b1f9c support redirecting subprocesses' stdout/stderr to print!() so it gets captured for rust tests
f32c0a7863 switch to #[derive(Parser)] instead of #[derive(Args)]
Compare 6 commits »
programmerjake pushed to master at libre-chip/fayalite 2024-09-24 02:11:14 +00:00
28aad19bf5 add assert/assume/cover
programmerjake pushed to master at libre-chip/fayalite 2024-09-23 01:59:34 +00:00
716c65edcd add WIP version of queue()
f6146048d1 add memory::splat_mask to generate mask types from a Bool
a701f99fd6 add repeat()
Compare 3 commits »
programmerjake pushed to master at libre-chip/fayalite 2024-09-23 00:30:52 +00:00
78edfc97b2 split int::IntCmp into expr::HdlPartialEq and expr::HdlPartialOrd
programmerjake pushed to master at libre-chip/fayalite 2024-09-23 00:27:31 +00:00
9ad4ec0f39 add ty.uninit()
programmerjake pushed to master at libre-chip/fayalite 2024-09-23 00:22:26 +00:00
8449854cac add ToExpr for usize/isize/NonZero<T>
790bb15408 remove reset_default from proc-macro, forgot to remove when removing from RegBuilder
Compare 2 commits »
programmerjake pushed to master at libre-chip/fayalite 2024-09-22 22:31:15 +00:00
bdbc6d89bd add check-copyright to CI
10ae95fac1 add missing copyright headers
053391b010 add script for checking copyright headers
Compare 3 commits »
programmerjake pushed to master at libre-chip/fayalite 2024-09-21 02:12:29 +00:00
51ce7b079e add ReadyValid<T>
ff269e5def add utility functions on HdlOption, inspired by Option's API
df55a514e4 add support for incomplete_wire -- a wire that you can supply the type of later
ff94dda922 support #[hdl] on functions -- enables #[hdl] usage in function body
Compare 4 commits »
programmerjake pushed to master at libre-chip/fayalite 2024-09-20 06:58:59 +00:00
a8c804ef4a some final cleanups
2d293ae87b #[hdl] match works!
9887d70f41 fix handling of const and size type generics when generating Index impls
2c1afd1cd6 const generics on hdl_module work!
76ea7f82c3 WIP adding const generics
Compare 6 commits »
a8c804ef4a some final cleanups
2d293ae87b #[hdl] match works!
Compare 2 commits »
9887d70f41 fix handling of const and size type generics when generating Index impls