 Jacob Lifshay
|
ed1aea41f3
|
clean up some clippy warnings
/ test (push) Failing after 3m41s
|
2024-10-07 21:49:18 -07:00 |
|
|
Jacob Lifshay
|
30b9a5e48d
|
change NameId to have an opaque Id so output firrtl doesn't depend on how many modules of the same name were ever created
/ test (push) Successful in 39m6s
|
2024-10-07 19:06:01 -07:00 |
|
|
Jacob Lifshay
|
e05c368688
|
change register names to end in _reg by convention
|
2024-10-06 18:50:09 -07:00 |
|
|
Jacob Lifshay
|
0d54b9a2a9
|
queue formal proof passes!
/ test (push) Has started running
|
2024-10-03 23:07:14 -07:00 |
|
|
Jacob Lifshay
|
3e2fb9b94f
|
WIP getting queue formal to pass -- passes for capacity <= 2
/ test (push) Has been cancelled
|
2024-10-03 01:08:01 -07:00 |
|
|
Jacob Lifshay
|
f3d6528f5b
|
make annotations easier to use
|
2024-10-01 19:54:17 -07:00 |
|
|
Jacob Lifshay
|
d0b406d288
|
add more annotation kinds
/ test (push) Successful in 4m45s
|
2024-10-01 18:33:32 -07:00 |
|
|
Jacob Lifshay
|
d089095667
|
change default to --simplify-enums=replace-with-bundle-of-uints
/ test (push) Successful in 4m42s
|
2024-10-01 00:07:48 -07:00 |
|
|
Jacob Lifshay
|
186488a82e
|
remove FIXME now that simplify_enums is fixed
|
2024-09-30 23:31:45 -07:00 |
|
|
Jacob Lifshay
|
edcea1adc3
|
add firrtl comments when connecting expressions with different types
/ test (push) Successful in 4m44s
|
2024-09-30 22:33:27 -07:00 |
|
|
Jacob Lifshay
|
30a38bc8da
|
fix simplify_enums to properly handle nested enums and connects with different types
|
2024-09-30 22:31:16 -07:00 |
|
|
Jacob Lifshay
|
04752c5037
|
add test for connect_any with nested enums with different-sized variant bodies
/ test (push) Successful in 4m42s
simplify_enums is currently broken in that case
|
2024-09-25 21:55:52 -07:00 |
|
|
Jacob Lifshay
|
28aad19bf5
|
add assert/assume/cover
/ test (push) Successful in 4m33s
|
2024-09-23 19:10:51 -07:00 |
|
|
Jacob Lifshay
|
9ad4ec0f39
|
add ty.uninit()
/ test (push) Successful in 4m30s
|
2024-09-22 17:26:23 -07:00 |
|
|
Jacob Lifshay
|
2d293ae87b
|
#[hdl] match works!
|
2024-09-19 23:51:54 -07:00 |
|
|
Jacob Lifshay
|
2c1afd1cd6
|
const generics on hdl_module work!
/ test (push) Successful in 4m54s
|
2024-09-17 15:39:23 -07:00 |
|
|
Jacob Lifshay
|
5835b995a9
|
WIP: use HdlOption[the_type_var] or UInt[123 + n] for creating types
/ test (push) Successful in 4m56s
|
2024-08-21 22:27:21 -07:00 |
|
|
Jacob Lifshay
|
cd99dbc849
|
properly bound with StaticValue or StaticType<MaskType: StaticType>
/ test (push) Successful in 14m38s
|
2024-07-30 20:25:37 -07:00 |
|
|
Jacob Lifshay
|
2dce478d48
|
rename FixedType->StaticType, fixed_type()->static_type(), hdl(fixed_type)->hdl(static), IsFixedLen->IsStaticLen
|
2024-07-30 20:16:00 -07:00 |
|
|
Jacob Lifshay
|
b33566841d
|
make #[hdl_module] support functions with generic parameters
/ test (push) Successful in 14m40s
|
2024-07-25 22:20:38 -07:00 |
|
|
Jacob Lifshay
|
86827def91
|
rename ClockDomain fields to clk and rst for consistency
|
2024-07-16 19:46:08 -07:00 |
|
|
Jacob Lifshay
|
63fd038729
|
correctly handle hdl byte literal suffixes
|
2024-07-16 19:45:12 -07:00 |
|
|
Jacob Lifshay
|
c2e5ea8e89
|
implement #[hdl] [a; N] -- an array repeat expression
|
2024-07-16 17:19:17 -07:00 |
|
|
Jacob Lifshay
|
d610858144
|
move Value derive macro re-export to same place as Value trait
/ test (push) Successful in 8m55s
|
2024-07-16 16:51:54 -07:00 |
|
|
Jacob Lifshay
|
0b958e7852
|
initial public commit
|
2024-06-10 23:09:13 -07:00 |
|