fayalite

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

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

add assert/assume/cover

test.yml #72 -Commit 28aad19bf5 pushed by programmerjake

master

2024-09-24 02:15:48 +00:00

4m33s

add WIP version of queue()

test.yml #71 -Commit 716c65edcd pushed by programmerjake

master

2024-09-23 02:04:11 +00:00

4m37s

split int::IntCmp into expr::HdlPartialEq and expr::HdlPartialOrd

test.yml #70 -Commit 78edfc97b2 pushed by programmerjake

master

2024-09-23 00:35:32 +00:00

4m32s

add ty.uninit()

test.yml #69 -Commit 9ad4ec0f39 pushed by programmerjake

master

2024-09-23 00:40:04 +00:00

7m51s

add ToExpr for usize/isize/NonZero<T>

test.yml #68 -Commit 8449854cac pushed by programmerjake

master

2024-09-23 00:26:58 +00:00

4m32s

add check-copyright to CI

test.yml #67 -Commit bdbc6d89bd pushed by programmerjake

master

2024-09-22 22:35:50 +00:00

4m34s

add ReadyValid<T>

test.yml #66 -Commit 51ce7b079e pushed by programmerjake

master

2024-09-21 02:16:56 +00:00

4m26s

some final cleanups

test.yml #65 -Commit a8c804ef4a pushed by programmerjake

master

2024-09-20 07:04:44 +00:00

5m44s

some final cleanups

test.yml #64 -Commit a8c804ef4a pushed by programmerjake

square-brackets-generics-experiment

2024-09-20 06:58:02 +00:00

5m1s

fix handling of const and size type generics when generating Index impls

test.yml #63 -Commit 9887d70f41 pushed by programmerjake

square-brackets-generics-experiment

2024-09-20 01:51:01 +00:00

5m2s