fayalite

Run Rocq tests.

#362 -Commit 226bfe98d0 pushed by cesar

#64

2026-02-17 18:32:56 +00:00

8m55s

Run Rocq tests.

#361 -Commit 845813d4bb pushed by cesar

#64

2026-02-14 22:06:30 +00:00

35s

speed up simulation by optimizing SimulationImpl::read_traces

#360 -Commit c632e5d570 pushed by programmerjake

master

2026-02-04 23:52:35 +00:00

5m24s

speed up simulation by optimizing SimulationImpl::read_traces

#359 -Commit c632e5d570 pushed by programmerjake

#63

2026-02-04 23:46:27 +00:00

4m23s

speed up LazyInterned by redoing caching using RwLock and add a thread-local cache

#358 -Commit 1bc835803b pushed by programmerjake

master

2026-02-04 02:17:31 +00:00

5m33s

speed up LazyInterned by redoing caching using RwLock and add a thread-local cache

#357 -Commit 1bc835803b pushed by programmerjake

#62

2026-02-04 02:11:42 +00:00

4m28s

speed up LazyInterned by redoing caching using RwLock and add a thread-local cache

#356 -Commit f236c9f404 pushed by programmerjake

#62

2026-02-04 01:44:35 +00:00

1m55s

speed up LazyInterned by redoing caching using RwLock and add a thread-local cache

#355 -Commit 8da430f4c9 pushed by programmerjake

#62

2026-02-04 01:35:33 +00:00

1m57s

cache interned UInt/SInt types

#354 -Commit a96efa9696 pushed by programmerjake

master

2026-02-03 02:03:39 +00:00

4m44s

cache interned UInt/SInt types

#353 -Commit a96efa9696 pushed by programmerjake

#61

2026-02-03 01:58:50 +00:00

4m9s

don't compare function pointers -- they're non-deterministic

#352 -Commit e366793204 pushed by programmerjake

master

2026-01-12 11:24:36 +00:00

4m37s

don't compare function pointers -- they're non-deterministic

#351 -Commit e366793204 pushed by programmerjake

#60

2026-01-12 11:19:56 +00:00

4m6s

Define design safety, and prove it for 1-step and 2-step induction.

#350 -Commit a398f8f185 pushed by cesar

master

2025-12-24 20:13:49 +00:00

4m36s

Define design safety, and prove it for 1-step and 2-step induction.

#349 -Commit a398f8f185 pushed by cesar

#59

2025-12-23 01:57:56 +00:00

4m8s

simplify SimValue Debug format, making complex structures much easier to read

#348 -Commit c97b44d9d6 pushed by programmerjake

master

2025-12-15 05:08:31 +00:00

4m31s

simplify SimValue Debug format, making complex structures much easier to read

#347 -Commit c97b44d9d6 pushed by programmerjake

#58

2025-12-15 05:03:57 +00:00

3m56s

simplify SimValue Debug format, making complex structures much easier to read

#346 -Commit 0f94dc6dcd pushed by programmerjake

#58

2025-12-15 04:44:15 +00:00

1m22s

add FillInDefaultedGenerics<Type = Self> bound for SizeType

#345 -Commit fbe4585578 pushed by programmerjake

master

2025-12-11 04:32:24 +00:00

4m26s

add FillInDefaultedGenerics<Type = Self> bound for SizeType

#344 -Commit fbe4585578 pushed by programmerjake

#57

2025-12-11 04:15:48 +00:00

3m56s

add FillInDefaultedGenerics<Type = Self> bound for SizeType

#343 -Commit 0548c47496 pushed by programmerjake

#57

2025-12-11 04:11:47 +00:00

2m2s

Check copyright header in Rocq files.

#342 -Commit e4210a672f pushed by programmerjake

master

2025-12-09 16:39:20 +00:00

4m41s

Check copyright header in Rocq files.

#341 -Commit e4210a672f pushed by cesar

#56

2025-12-09 10:52:10 +00:00

4m4s

Demonstrates state with multiple variables and hidden state.

#340 -Commit e54558d848 pushed by cesar

#56

2025-12-09 01:12:08 +00:00

24s

support operations directly on SimValue, UIntValue, and SIntValue, and shared references to those

#339 -Commit 9e803223d0 pushed by programmerjake

master

2025-11-24 08:27:31 +00:00

4m39s

support operations directly on SimValue, UIntValue, and SIntValue, and shared references to those

#338 -Commit 9e803223d0 pushed by programmerjake

#55

2025-11-24 08:22:20 +00:00

3m59s

support Rust's default binding modes when destructuring with #[hdl(sim)] let/match

#337 -Commit 2817cd3d58 pushed by programmerjake

master

2025-11-14 08:32:45 +00:00

5m26s

support Rust's default binding modes when destructuring with #[hdl(sim)] let/match

#336 -Commit 2817cd3d58 pushed by programmerjake

#54

2025-11-14 08:27:14 +00:00

4m48s

add utility impls for SimValue<ArrayType<_, _>>

#335 -Commit 17b58e8edb pushed by programmerjake

master

2025-11-14 04:32:59 +00:00

5m29s

add utility impls for SimValue<ArrayType<_, _>>

#334 -Commit 17b58e8edb pushed by programmerjake

#53

2025-11-14 04:27:23 +00:00

4m53s

add ExternModuleSimulatorState::read_past() and more output when simulator trace is enabled

#333 -Commit df020e9c9b pushed by programmerjake

master

2025-11-13 07:14:57 +00:00

5m28s