All workflows deps.yml test.yml

Actor

All actors cesar programmerjake

Status

All status success failure waiting running

limit sby to one thread each since it seems not to respect job count in parallel mode

test.yml #107 -Commit cb17913004 pushed by programmerjake

master

2024-10-16 05:28:41 +00:00

46m32s

switch to using a make job server for managing test parallelism

test.yml #106 -Commit 42effd1132 pushed by programmerjake

master

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

39m16s

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