cesar

cesar commented on pull request libre-chip/fayalite#64

2026-02-15 11:56:04 +00:00

Run Rocq tests.

I really don't understand why the CI runner doesn't find rocq.

make: Entering directory '/workspace/libre-chip/fayalite/rocq-demo'
rocq makefile -f _CoqProject -o CoqMakefile
make: rocq:…

cesar pushed to run-rocq-tests at cesar/fayalite

2026-02-14 22:16:14 +00:00

226bfe98d0 Run Rocq tests.

c632e5d570 speed up simulation by optimizing SimulationImpl::read_traces

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

9db3240644 fix UI test's expected output

caa097db0b change rust version to 1.93.0

Compare 11 commits »

cesar created pull request libre-chip/fayalite#64

2026-02-14 22:05:53 +00:00

Run Rocq tests.

cesar pushed to run-rocq-tests at cesar/fayalite

2026-02-14 22:02:38 +00:00

845813d4bb Run Rocq tests.

cesar created branch run-rocq-tests in cesar/fayalite

2026-02-14 21:59:19 +00:00

cesar pushed to run-rocq-tests at cesar/fayalite

2026-02-14 21:59:19 +00:00

12643bb815 Run Rocq tests.

cesar pushed to master at libre-chip/fayalite-deps

2026-01-01 14:56:27 +00:00

49076888de Split the Rocq installation.

cesar merged pull request libre-chip/fayalite-deps#3

2026-01-01 14:56:26 +00:00

Split the Rocq installation.

cesar created pull request libre-chip/fayalite-deps#3

2026-01-01 14:56:02 +00:00

Split the Rocq installation.

cesar pushed to add-rocq-dep at cesar/fayalite-deps

2026-01-01 14:55:03 +00:00

49076888de Split the Rocq installation.

cesar commented on pull request libre-chip/fayalite-deps#2

2026-01-01 14:41:24 +00:00

Reduce image size by cleaning opam cache.

Right. I'll try now splitting it into two steps.

cesar created pull request libre-chip/fayalite-deps#2

2026-01-01 14:05:44 +00:00

Reduce image size by cleaning opam cache.

cesar pushed to add-rocq-dep at cesar/fayalite-deps

2026-01-01 14:04:20 +00:00

17bd387064 Reduce image size by cleaning opam cache.

cesar commented on pull request libre-chip/fayalite-deps#1

2026-01-01 12:42:45 +00:00

Add Rocq to the installed dependencies.

@programmerjake wrote in libre-chip/fayalite-deps#1 (comment):

looks good to me, feel free to merge after CI passes.

It did pass CI before I merged,…

cesar pushed to master at libre-chip/fayalite-deps

2025-12-28 23:54:36 +00:00

117d2cfcdf Add Rocq to the installed dependencies.

cesar merged pull request libre-chip/fayalite-deps#1

2025-12-28 23:54:35 +00:00

Add Rocq to the installed dependencies.

cesar created pull request libre-chip/fayalite-deps#1

2025-12-28 22:25:52 +00:00

Add Rocq to the installed dependencies.

cesar created branch add-rocq-dep in cesar/fayalite-deps

2025-12-28 22:17:40 +00:00

cesar pushed to add-rocq-dep at cesar/fayalite-deps

2025-12-28 22:17:40 +00:00

117d2cfcdf Add Rocq to the installed dependencies.

cesar created repository cesar/fayalite-deps

2025-12-28 15:46:06 +00:00