fayalite

fix wrong build steps

test.yml #82 -Commit 4497f09ea0 pushed by programmerjake

master

2024-10-03 07:40:42 +00:00

1m3s

add needed tools to CI

test.yml #81 -Commit 1c63a441a9 pushed by programmerjake

master

2024-10-03 07:37:01 +00:00

1m6s

add WIP formal proof for queue()

test.yml #75 -Commit 57aa849615 pushed by programmerjake

master

2024-09-25 08:58:52 +00:00

19s

add WIP formal proof for queue()

test.yml #74 -Commit 6b0eea8295 pushed by programmerjake

master

2024-09-25 08:56:33 +00:00

19s

add assert_formal helper for running formal proofs in rust tests

test.yml #73 -Commit 8489bd06f0 pushed by programmerjake

master

2024-09-25 08:56:51 +00:00

39s

const generics on hdl_module work!

test.yml #61 -Commit 2c1afd1cd6 pushed by programmerjake

wip-support-const-generics

2024-09-17 22:47:05 +00:00

1m15s

WIP adding const generics

test.yml #60 -Commit 76ea7f82c3 pushed by programmerjake

wip-support-const-generics

2024-09-16 23:48:47 +00:00

1m4s

WIP: use HdlOption[the_type_var] or UInt[123 + n] for creating types

test.yml #57 -Commit 7ff1cafb74 pushed by programmerjake

square-brackets-generics-experiment

2024-08-22 03:26:30 +00:00

2m21s

WIP: use HdlOption[the_type_var] or UInt[123 + n] for creating types

test.yml #56 -Commit de4b868592 pushed by programmerjake

square-brackets-generics-experiment

2024-08-22 03:16:16 +00:00

1m38s

make #[hdl_module] support functions with generic parameters

test.yml #18 -Commit c5901cd217 pushed by programmerjake

master

2024-07-26 05:15:56 +00:00

4m39s

refactor fayalite::cli to expose subcommands

test.yml #13 -Commit 0edf380c79 pushed by programmerjake

master

2024-07-22 08:58:05 +00:00

13m29s

add blinky example

test.yml #11 -Commit a191ece9a5 pushed by programmerjake

master

2024-07-22 03:57:04 +00:00

8m0s