fayalite

working on deduce_resets

#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

#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

#139 -Commit 52ab134673 pushed by programmerjake

adding-simulator

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

1m51s

working on deduce_resets pass

#138 -Commit 698b8adc23 pushed by programmerjake

#3

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

3m18s

working on deduce_resets pass

#137 -Commit 698b8adc23 pushed by programmerjake

adding-simulator

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

2m2s

WIP working on implementing deduce_resets pass

#136 -Commit 59be3bd645 pushed by programmerjake

#3

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

3m17s

WIP working on implementing deduce_resets pass

#135 -Commit 59be3bd645 pushed by programmerjake

adding-simulator

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

2m4s

WIP implementing simulator

#113 -Commit 32253bc3f4 pushed by programmerjake

adding-simulator

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

3m32s

WIP adding simulator

#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

#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

#101 -Commit d0694cbd52 pushed by programmerjake

master

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

36m19s

add PhantomData as a hdl bundle

#99 -Commit 59cef3f398 pushed by programmerjake

master

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

5m25s

clean up some clippy warnings

#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

#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)

#91 -Commit b7f1101164 pushed by programmerjake

master

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

3m5s

yosys build runs out of memory

#90 -Commit 487af07154 pushed by programmerjake

master

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

1h8m27s

try to make yosys build faster

#89 -Commit c0d4de56a9 pushed by programmerjake

master

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

51m25s

try caching ccache manually

#88 -Commit 9f154e6b96 pushed by programmerjake

master

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

0s

queue formal proof passes!

#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

#85 -Commit 3e2fb9b94f pushed by programmerjake

master

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

31m57s

add ccache and clean up deps

#84 -Commit bc26fe32fd pushed by programmerjake

master

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

6m40s

add yosys deps

#83 -Commit eb65bec26e pushed by programmerjake

master

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

17m12s

fix wrong build steps

#82 -Commit 4497f09ea0 pushed by programmerjake

master

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

1m3s

add needed tools to CI

#81 -Commit 1c63a441a9 pushed by programmerjake

master

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

1m6s

add WIP formal proof for queue()

#75 -Commit 57aa849615 pushed by programmerjake

master

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

19s

add WIP formal proof for queue()

#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

#73 -Commit 8489bd06f0 pushed by programmerjake

master

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

39s

const generics on hdl_module work!

#61 -Commit 2c1afd1cd6 pushed by programmerjake

wip-support-const-generics

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

1m15s

WIP adding const generics

#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

#57 -Commit 7ff1cafb74 pushed by programmerjake

square-brackets-generics-experiment

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

2m21s