|
|
3abba7f9eb
|
simulating circuits with deduced resets works
/ deps (push) Successful in 15s
/ test (push) Successful in 4m58s
/ deps (pull_request) Successful in 14s
/ test (pull_request) Successful in 4m58s
|
2024-11-27 23:52:07 -08:00 |
|
|
|
6446b71afd
|
deduce_resets works!
/ deps (push) Successful in 18s
/ test (push) Successful in 4m56s
/ deps (pull_request) Successful in 13s
/ test (pull_request) Successful in 5m0s
|
2024-11-27 23:24:11 -08:00 |
|
|
|
11ddbc43c7
|
writing VCD for combinatorial circuits works!
/ deps (push) Successful in 15s
/ test (push) Successful in 4m46s
/ deps (pull_request) Successful in 13s
/ test (pull_request) Successful in 4m45s
|
2024-11-20 22:53:54 -08:00 |
|
|
|
c4b5d00419
|
WIP adding VCD output
|
2024-11-20 22:53:54 -08:00 |
|
|
|
09aa9fbc78
|
wire up simulator trace writing interface
|
2024-11-20 22:53:54 -08:00 |
|
|
|
288a6b71b9
|
WIP adding VCD output
|
2024-11-20 22:53:54 -08:00 |
|
|
|
0095570f19
|
simple combinatorial simulation works!
|
2024-11-20 22:53:54 -08:00 |
|
|
|
f54e55a143
|
Simulation::settle_step() works for simple modules
|
2024-11-20 22:53:54 -08:00 |
|
Cesar Strauss
|
c1f1a8b749
|
Add test module exercising formal verification.
/ deps (pull_request) Successful in 15s
/ test (pull_request) Successful in 4m47s
/ deps (push) Successful in 13s
/ test (push) Successful in 5m16s
|
2024-11-20 18:29:39 -03:00 |
|
|
|
ee15fd2b94
|
support #[hdl] type aliases
/ deps (push) Successful in 11m28s
/ test (push) Successful in 4m40s
|
2024-10-30 20:47:10 -07:00 |
|
|
|
d0229fbcfb
|
get #[hdl] struct S<A: KnownSize, B: KnownSize> to work
/ test (push) Successful in 39m2s
|
2024-10-11 17:30:49 -07:00 |
|
|
|
4909724995
|
add more thorough checks that bounds are properly handled on #[hdl] structs
/ test (push) Successful in 37m37s
|
2024-10-10 23:34:46 -07:00 |
|
|
|
d0694cbd52
|
add disabled test for #[hdl] struct S4<W: KnownSize, W2: KnownSize> which type errors
/ test (push) Has been cancelled
|
2024-10-10 22:58:15 -07:00 |
|
|
|
1a2149b040
|
silence warnings for field names that start with _
/ test (push) Successful in 37m30s
|
2024-10-10 20:53:29 -07:00 |
|
|
|
59cef3f398
|
add PhantomData as a hdl bundle
/ test (push) Has been cancelled
|
2024-10-10 20:48:09 -07:00 |
|
|
|
ed1aea41f3
|
clean up some clippy warnings
/ test (push) Failing after 3m41s
|
2024-10-07 21:49:18 -07:00 |
|
|
|
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 |
|
|
|
e05c368688
|
change register names to end in _reg by convention
|
2024-10-06 18:50:09 -07:00 |
|
|
|
0d54b9a2a9
|
queue formal proof passes!
/ test (push) Has started running
|
2024-10-03 23:07:14 -07:00 |
|
|
|
343805f80b
|
fix #[hdl] to work with unusual identifier hygiene from macros
|
2024-10-03 23:04:14 -07:00 |
|
|
|
3e2fb9b94f
|
WIP getting queue formal to pass -- passes for capacity <= 2
/ test (push) Has been cancelled
|
2024-10-03 01:08:01 -07:00 |
|
|
|
f3d6528f5b
|
make annotations easier to use
|
2024-10-01 19:54:17 -07:00 |
|
|
|
d0b406d288
|
add more annotation kinds
/ test (push) Successful in 4m45s
|
2024-10-01 18:33:32 -07:00 |
|
|
|
d089095667
|
change default to --simplify-enums=replace-with-bundle-of-uints
/ test (push) Successful in 4m42s
|
2024-10-01 00:07:48 -07:00 |
|
|
|
186488a82e
|
remove FIXME now that simplify_enums is fixed
|
2024-09-30 23:31:45 -07:00 |
|
|
|
edcea1adc3
|
add firrtl comments when connecting expressions with different types
/ test (push) Successful in 4m44s
|
2024-09-30 22:33:27 -07:00 |
|
|
|
30a38bc8da
|
fix simplify_enums to properly handle nested enums and connects with different types
|
2024-09-30 22:31:16 -07:00 |
|
|
|
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 |
|
|
|
28aad19bf5
|
add assert/assume/cover
/ test (push) Successful in 4m33s
|
2024-09-23 19:10:51 -07:00 |
|
|
|
9ad4ec0f39
|
add ty.uninit()
/ test (push) Successful in 4m30s
|
2024-09-22 17:26:23 -07:00 |
|
|
|
ff94dda922
|
support #[hdl] on functions -- enables #[hdl] usage in function body
|
2024-09-20 18:42:24 -07:00 |
|
|
|
a8c804ef4a
|
some final cleanups
/ test (push) Successful in 5m43s
|
2024-09-19 23:52:32 -07:00 |
|
|
|
2d293ae87b
|
#[hdl] match works!
|
2024-09-19 23:51:54 -07:00 |
|
|
|
9887d70f41
|
fix handling of const and size type generics when generating Index impls
/ test (push) Successful in 5m1s
|
2024-09-19 18:45:04 -07:00 |
|
|
|
2c1afd1cd6
|
const generics on hdl_module work!
/ test (push) Successful in 4m54s
|
2024-09-17 15:39:23 -07:00 |
|
|
|
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 |
|
|
|
cd99dbc849
|
properly bound with StaticValue or StaticType<MaskType: StaticType>
/ test (push) Successful in 14m38s
|
2024-07-30 20:25:37 -07:00 |
|
|
|
2dce478d48
|
rename FixedType->StaticType, fixed_type()->static_type(), hdl(fixed_type)->hdl(static), IsFixedLen->IsStaticLen
|
2024-07-30 20:16:00 -07:00 |
|
|
|
b33566841d
|
make #[hdl_module] support functions with generic parameters
/ test (push) Successful in 14m40s
|
2024-07-25 22:20:38 -07:00 |
|
|
|
86827def91
|
rename ClockDomain fields to clk and rst for consistency
|
2024-07-16 19:46:08 -07:00 |
|
|
|
63fd038729
|
correctly handle hdl byte literal suffixes
|
2024-07-16 19:45:12 -07:00 |
|
|
|
c2e5ea8e89
|
implement #[hdl] [a; N] -- an array repeat expression
|
2024-07-16 17:19:17 -07:00 |
|
|
|
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 |
|
|
|
0b958e7852
|
initial public commit
|
2024-06-10 23:09:13 -07:00 |
|
