fayalite

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

const generics on hdl_module work!

test.yml #62 -Commit 2c1afd1cd6 pushed by programmerjake

square-brackets-generics-experiment

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

4m54s

const generics on hdl_module work!

test.yml #61 -Commit 2c1afd1cd6 pushed by programmerjake

wip-support-const-generics

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

1m15s

WIP adding const generics

test.yml #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

test.yml #59 -Commit 5835b995a9 pushed by programmerjake

square-brackets-generics-experiment

2024-08-22 05:32:31 +00:00

4m57s

WIP: use HdlOption[the_type_var] or UInt[123 + n] for creating types

test.yml #58 -Commit 47c35b7d6d pushed by programmerjake

square-brackets-generics-experiment

2024-08-22 03:31:34 +00:00

4m56s

WIP: use HdlOption[the_type_var] or UInt[123 + n] for creating types

test.yml #57 -Commit 7ff1cafb74 pushed by programmerjake

square-brackets-generics-experiment

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

2m21s

WIP: use HdlOption[the_type_var] or UInt[123 + n] for creating types

test.yml #56 -Commit de4b868592 pushed by programmerjake

square-brackets-generics-experiment

2024-08-22 03:16:16 +00:00

1m38s

WIP: use HdlOption[the_type_var] or UInt[123 + n] for creating types

test.yml #55 -Commit 43df1c942e pushed by programmerjake

square-brackets-generics-experiment

2024-08-22 01:16:10 +00:00

14s

WIP: use HdlOption[the_type_var] or UInt[123 + n] for creating types

test.yml #54 -Commit 5d395a1510 pushed by programmerjake

square-brackets-generics-experiment

2024-08-21 08:56:50 +00:00

14s

WIP: use HdlOption[the_type_var] or UInt[123 + n] for creating types

test.yml #53 -Commit 1f83a9cca3 pushed by programmerjake

square-brackets-generics-experiment

2024-08-21 04:09:52 +00:00

14s

WIP: use HdlOption[the_type_var] or UInt[123 + n] for creating types

test.yml #52 -Commit 33f0bcbb20 pushed by programmerjake

square-brackets-generics-experiment

2024-08-21 02:44:01 +00:00

15s

WIP: use HdlOption[the_type_var] or UInt[123 + n] for creating types

test.yml #51 -Commit 73b3c79e27 pushed by programmerjake

square-brackets-generics-experiment

2024-08-20 08:13:52 +00:00

14s

WIP: use HdlOption[the_type_var] or UInt[123 + n] for creating types

test.yml #50 -Commit 340e788e4e pushed by programmerjake

square-brackets-generics-experiment

2024-08-20 02:31:19 +00:00

13s

WIP: use HdlOption[the_type_var] or UInt[123 + n] for creating types

test.yml #49 -Commit 73f15ae8e8 pushed by programmerjake

square-brackets-generics-experiment

2024-08-20 01:37:46 +00:00

14s

WIP: use HdlOption[the_type_var] or UInt[123 + n] for creating types

test.yml #48 -Commit 6a18f94750 pushed by programmerjake

square-brackets-generics-experiment

2024-08-20 00:16:48 +00:00

14s

WIP: use HdlOption[the_type_var] or UInt[123 + n] for creating types

test.yml #47 -Commit 1b10cc0999 pushed by programmerjake

square-brackets-generics-experiment

2024-08-19 22:53:14 +00:00

15s

WIP: use HdlOption[the_type_var] or UInt[123 + n] for creating types

test.yml #46 -Commit 32bd3b99fd pushed by programmerjake

square-brackets-generics-experiment

2024-08-18 07:22:03 +00:00

14s