fayalite

add support for #[hdl(sim)] enum_ty.Variant(value) and #[hdl(sim)] EnumTy::Variant(value) and non-sim variants too

test.yml #255 -Commit 43c29bf221 pushed by programmerjake

#27

2025-04-02 05:07:51 +00:00

33s

add ripple counter test to test simulating alternating circuits and extern modules

test.yml #250 -Commit 1b220b73e7 pushed by programmerjake

#26

2025-03-26 01:57:14 +00:00

2m40s

add Expr<ArrayType<T, Len>>: IntoIterator and Expr<Array<T>>: FromIterator<T>

test.yml #234 -Commit 25ddc837c1 pushed by programmerjake

#20

2025-03-03 00:15:36 +00:00

17s

WIP implementing handling #[cfg] and #[cfg_attr] in proc macro inputs

test.yml #214 -Commit b7ec623bfa pushed by programmerjake

#12

2024-12-28 00:08:06 +00:00

1m43s

WIP implementing handling #[cfg] and #[cfg_attr] in proc macro inputs

test.yml #213 -Commit 9dc16bc73b pushed by programmerjake

#12

2024-12-27 12:10:18 +00:00

35s

sim: fix sim.write to struct

test.yml #204 -Commit 36bad52978 pushed by programmerjake

fix-sim-write-struct

2024-12-19 04:58:37 +00:00

5m17s

add more memory tests

test.yml #196 -Commit 2af38de900 pushed by programmerjake

adding-simulator

2024-12-13 23:07:26 +00:00

2m2s

sim: implement enums (except for connecting unequal enum types)

test.yml #168 -Commit 42afd2da0e pushed by programmerjake

adding-simulator

2024-12-05 05:04:47 +00:00

5m20s

working on deduce_resets

test.yml #152 -Commit 546010739a pushed by programmerjake

adding-simulator

2024-11-27 05:28:50 +00:00

1m34s

increase rust version to support omitting match arms with uninhabited types

test.yml #140 -Commit 52ab134673 pushed by programmerjake

#3

2024-11-24 22:46:42 +00:00

2m51s

increase rust version to support omitting match arms with uninhabited types

test.yml #139 -Commit 52ab134673 pushed by programmerjake

adding-simulator

2024-11-24 22:45:24 +00:00

1m51s

working on deduce_resets pass

test.yml #138 -Commit 698b8adc23 pushed by programmerjake

#3

2024-11-24 22:43:33 +00:00

3m18s

working on deduce_resets pass

test.yml #137 -Commit 698b8adc23 pushed by programmerjake

adding-simulator

2024-11-24 22:42:00 +00:00

2m2s

WIP working on implementing deduce_resets pass

test.yml #136 -Commit 59be3bd645 pushed by programmerjake

#3

2024-11-24 11:48:31 +00:00

3m17s

WIP working on implementing deduce_resets pass

test.yml #135 -Commit 59be3bd645 pushed by programmerjake

adding-simulator

2024-11-24 11:46:59 +00:00

2m4s

WIP implementing simulator

test.yml #113 -Commit 32253bc3f4 pushed by programmerjake

adding-simulator

2024-11-08 05:50:44 +00:00

3m32s

WIP adding simulator

test.yml #112 -Commit 56ff69ba52 pushed by programmerjake

adding-simulator

2024-11-07 09:20:20 +00:00

37s

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

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

add PhantomData as a hdl bundle

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

master

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

5m25s

clean up some clippy warnings

test.yml #96 -Commit ed1aea41f3 pushed by programmerjake

master

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

3m41s

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

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

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