Spade Trawler statistics
Spade is an open source hardware description language developed at Linköping University. Even though we have several hundred test cases in the compiler repository, they are usually limited to testing if something compiles or not. We also want to check that behaviour doesn't change between versions, which is much more difficult to do in tests meant for quick iteration.
Trawler is a project that builds, simulates and runs place-and-route on several real Spade projects. A trawl is run for every merge request in the spade-lang/spade-repository, as well as every commit to the main branch. Unfortunately, the GitLab test case UI leaves a lot to be desired. This page collects statistics on trawls for an easier overview.
Open merge requests
| MR | Title | build | test | pnr | Pipeline |
|---|---|---|---|---|---|
| !692 | Lir | - | - | - | - |
| !680 | Draft: Add `forward_size` and `backward_size` type-level functions | - | - | - | - |
| !678 | Fix `Data` witness code for copy views | - | - | - | - |
| !677 | Associated Functions 🎉 | - | - | - | - |
| !666 | Handle more operations during const evaluation | - | - | - | - |
| !665 | Rational literals | - | - | - | - |
| !664 | Add support for custom literals | - | - | - | - |
| !659 | Fix panic when concretizing HIR const generics | - | - | - | 2516039188 |
| !640 | Remove redundant special_functions | - | - | - | - |
| !625 | Draft: Allow type expressions in type aliases | - | - | - | - |
| !614 | Try building for macos | - | - | - | 2387453915 |
| !591 | Ops as traits (part II) | - | - | - | - |
| !579 | Add spadedoc test to CI | - | - | - | - |
| !572 | Add version string | - | - | - | - |
| !552 | Draft: Push based codegen | - | - | - | - |
| !514 | Implement named arguments without $ | - | - | - | - |
| !481 | Add support for Wildcard Imports | - | - | - | - |
| !447 | No split x | - | - | - | - |
| !434 | Draft: Rework modules in itemlist | - | - | - | - |
| !208 | WIP: Wordlength inference/push the changes further | - | - | - | - |
| !180 | Make spade-python a bit more pythonic | - | - | - | 840000357 |
Latest commits on main
| Title | build | test | pnr | Pipeline |
|---|---|---|---|---|
| Improve error message when capturing linear types, work around intermittent stdlib test failure | 28/32 | 2/5 | 12/14 | 2664296667 (2026-07-09) |
| Add more tracing stuff | 28/32 | 2/5 | 12/14 | 2654566580 (2026-07-06) |
| Retain Locs down to MIR | 28/32 | 2/5 | 12/14 | 2646059772 (2026-07-02) |
| Fix lambda parameter inference | 28/32 | 2/5 | 12/14 | 2640997290 (2026-06-30) |
| Fix some path completion issues | 28/32 | 2/5 | 12/14 | 2609510491 (2026-06-17) |
| Fix macro parsing | 28/32 | 2/5 | 12/14 | 2608559965 (2026-06-17) |
| Run format because gitlab has a race condition | 28/32 | 2/5 | 13/14 | 2608304126 (2026-06-17) |
| Fix completion inserting the wrong snippet for unimported things | - | - | - | - |
| Move naked completion into its own dir, add local completion | 28/32 | 2/5 | 13/14 | 2593975066 (2026-06-11) |
| Improve handling of `inst` in completion | 28/32 | 2/5 | 13/14 | 2593697461 (2026-06-11) |
Links and references:
This page was generated at 2026-07-09T10:31:09Z.