github/powdr
1
1
Fork 0
mirror of https://github.com/powdr-labs/powdr.git synced 2026-01-13 08:07:54 -05:00
Code Issues Packages Projects Releases Wiki Activity
3,095 Commits 439 Branches 5 Tags
executor-trace-handler
Commit Graph

1 Commits

Author SHA1 Message Date
Lucas Clemente Vella
ddc3510fff Renaming powdr-riscv-syscalls to powdr-syscalls. (#2583) 
To reflect it is useful to other frontends, as well.
 2025-03-24 18:37:06 +00:00