Compare commits

base: programmerjake:e7ee1e862eeb64865da3a48436dda3b2a6997699

Branches Tags

programmerjake:master

libre-chip:master

libre-chip:square-brackets-generics-experiment

libre-chip:runtime-generics

libre-chip:type-deduction

programmerjake:v0.2.0

programmerjake:v0.1.0

libre-chip:v0.2.0

libre-chip:v0.1.0

..

compare: programmerjake:de548ba7caa66db2b209f3eeab4522740f93c653

Branches Tags

programmerjake:master

libre-chip:master

libre-chip:square-brackets-generics-experiment

libre-chip:runtime-generics

libre-chip:type-deduction

programmerjake:v0.2.0

programmerjake:v0.1.0

libre-chip:v0.2.0

libre-chip:v0.1.0

2 commits

e7ee1e862e ... de548ba7ca

Author	SHA1	Message	Date
Jacob Lifshay	de548ba7ca	switch ready_valid::queue formal proofs to use formal_global_clock	2026-06-05 00:41:51 -07:00
Jacob Lifshay	b0a17bdbe2	reimplement fayalite::formal and add support to the simulator	2026-06-05 00:37:32 -07:00

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download patch file Download diff file Expand all files Collapse all files

Diff content is not available