All workflows deps.yml test.yml

Actor

All actors cesar programmerjake

Status

All status success failure waiting running

formal: add workaround for wires disappearing because yosys optimizes them out

test.yml #105 -Commit 3d0f95cfe5 pushed by programmerjake

master

2024-10-15 09:29:37 +00:00

39m14s

add Bundle and Enum to prelude

test.yml #104 -Commit 3939ce2360 pushed by programmerjake

master

2024-10-15 01:27:56 +00:00

39m33s

get #[hdl] struct S<A: KnownSize, B: KnownSize> to work

test.yml #103 -Commit d0229fbcfb pushed by programmerjake

master

2024-10-12 01:10:39 +00:00

39m3s

add more thorough checks that bounds are properly handled on #[hdl] structs

test.yml #102 -Commit 4909724995 pushed by programmerjake

master

2024-10-11 07:13:26 +00:00

37m38s

add disabled test for #[hdl] struct S4<W: KnownSize, W2: KnownSize> which type errors

test.yml #101 -Commit d0694cbd52 pushed by programmerjake

master

2024-10-11 06:35:39 +00:00

36m19s

silence warnings for field names that start with _

test.yml #100 -Commit 1a2149b040 pushed by programmerjake

master

2024-10-11 04:31:50 +00:00

37m31s

add PhantomData as a hdl bundle

test.yml #99 -Commit 59cef3f398 pushed by programmerjake

master

2024-10-11 03:54:08 +00:00

5m25s

cache results of formal proofs

test.yml #98 -Commit bf907c3872 pushed by programmerjake

master

2024-10-08 07:12:17 +00:00

39m55s

fix clippy lints in generated code

test.yml #97 -Commit 99180eb3b4 pushed by programmerjake

master

2024-10-08 05:45:21 +00:00

37m34s

clean up some clippy warnings

test.yml #96 -Commit ed1aea41f3 pushed by programmerjake

master

2024-10-08 04:53:26 +00:00

3m41s

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.yml #95 -Commit 30b9a5e48d pushed by programmerjake

master

2024-10-08 02:46:41 +00:00

39m6s

try to fix ccache

test.yml #94 -Commit aec383c0af pushed by programmerjake

master

2024-10-07 05:17:27 +00:00

1h19m12s

only run tests once, since they are quite slow

test.yml #93 -Commit f403eed7c0 pushed by programmerjake

master

2024-10-07 03:58:05 +00:00

47m37s

fix cache action name

test.yml #92 -Commit ec77559e2b pushed by programmerjake

master

2024-10-07 03:06:08 +00:00

2h46m44s

reduce parallelism to fit within the number of available cpus even when running sby in prove mode (which likes to run 2 smt solvers in parallel)

test.yml #91 -Commit b7f1101164 pushed by programmerjake

master

2024-10-05 00:09:58 +00:00

3m5s

yosys build runs out of memory

test.yml #90 -Commit 487af07154 pushed by programmerjake

master

2024-10-04 09:12:24 +00:00

1h8m27s

try to make yosys build faster

test.yml #89 -Commit c0d4de56a9 pushed by programmerjake

master

2024-10-04 08:02:24 +00:00

51m25s

try caching ccache manually

test.yml #88 -Commit 9f154e6b96 pushed by programmerjake

master

2024-10-04 06:40:56 +00:00

0s

queue formal proof passes!

test.yml #87 -Commit 0d54b9a2a9 pushed by programmerjake

master

2024-10-04 06:37:07 +00:00

28m25s

install python3-click -- needed by symbiyosys

test.yml #86 -Commit 15a28aa7a7 pushed by programmerjake

master

2024-10-03 09:18:04 +00:00

33m5s

WIP getting queue formal to pass -- passes for capacity <= 2

test.yml #85 -Commit 3e2fb9b94f pushed by programmerjake

master

2024-10-03 08:44:37 +00:00

31m57s

add ccache and clean up deps

test.yml #84 -Commit bc26fe32fd pushed by programmerjake

master

2024-10-03 08:08:33 +00:00

6m40s

add yosys deps

test.yml #83 -Commit eb65bec26e pushed by programmerjake

master

2024-10-03 08:01:40 +00:00

17m12s

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 more annotation kinds

test.yml #80 -Commit d0b406d288 pushed by programmerjake

master

2024-10-02 01:38:44 +00:00

4m45s

change default to --simplify-enums=replace-with-bundle-of-uints

test.yml #79 -Commit d089095667 pushed by programmerjake

master

2024-10-01 07:13:31 +00:00

4m42s

add firrtl comments when connecting expressions with different types

test.yml #78 -Commit edcea1adc3 pushed by programmerjake

master

2024-10-01 05:39:39 +00:00

4m45s

add test for connect_any with nested enums with different-sized variant bodies

test.yml #77 -Commit 04752c5037 pushed by programmerjake

master

2024-09-26 05:01:23 +00:00

4m43s

add WIP formal proof for queue()

test.yml #76 -Commit e661aeab11 pushed by programmerjake

master

2024-09-25 09:06:05 +00:00

5m27s