NLnet 2024-12-324 Add to the simulator in Fayalite the ability to transfer non-HDL data (e.g. HashMap) through the digital signalling mechanism, this allows using those data types when writing procedural models.
NLnet 2024-12-324 Add support for the Arty A7 100T since that's what we're using for CI.
NLnet 2024-12-324 Add support for the Orange Crab since both Cesar and Jacob have one.
NLnet 2024-12-324 Write support for board interface descriptions and the code for running the FPGA toolchain (similar to the existing code for running SymbiYosys -- the current formal verification toolchain).
NLnet 2024-12-324 Write the code to do the translation in Fayalite.
NLnet 2024-12-324 Figure out how exactly we should represent HDL in Rocq
fill out grant tracking structure
ok, now CI runs and the only failure is that all the issue numbers aren't filled in (since I'm waiting on @cesar's response before I create all the issues)
fill out grant tracking structure
programmerjake
created branch add-structure in programmerjake/grant-tracking
2025-08-25 08:31:49 +00:00