cesar
0 followers · 0 following
  • Joined on 2024-07-18
Repositories
2
 Projects Packages Public activity Starred repositories
cesar pushed to master at libre-chip/fayalite 2026-03-31 00:22:47 +00:00
8cff3687f7 Run Rocq tests.
cesar merged pull request libre-chip/fayalite#64 2026-03-31 00:22:46 +00:00
Run Rocq tests.
cesar pushed to run-rocq-tests at cesar/fayalite 2026-03-30 22:39:04 +00:00
8cff3687f7 Run Rocq tests.
80b92c7dd3 change vcd output to have module contents under instance's name, more closely matching how it works in verilog
2aa41137d4 add simulator tests for queue()
a0b2dc085c add test that simulator handles last-connect semantics properly
a8a541b357 sim/compiler: fix registers so they properly retain their old value when not written
Compare 11 commits »
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.