This website requires JavaScript.
Explore
Help
Register
Sign in
libre-chip
/
fayalite
Watch
3
Star
0
Fork
You've already forked fayalite
2
Code
Issues
1
Pull requests
Projects
Releases
Packages
Wiki
Activity
Actions
master
fayalite
/
scripts
History
Exact
Exact
Union
RegExp
Cesar Strauss
e4210a672f
All checks were successful
/ test (pull_request)
Successful in 4m4s
Details
/ test (push)
Successful in 4m39s
Details
Check copyright header in Rocq files.
...
If we ever add Verilog files, we can "or" both results, I guess.
2025-12-09 07:45:35 -03:00
..
check-copyright.sh
Check copyright header in Rocq files.
2025-12-09 07:45:35 -03:00