Files
powdr/analysis/src
Leandro Pacheco cea207ff3f Machine properties using with syntax (#1267)
This implements issue #1251.
Basically `machine Foo(a,b) { ... }` is now `machine Foo with latch: a,
operation_id: b { ... }`
2024-04-25 16:02:01 +00:00
..
2024-03-18 22:09:44 +01:00
2024-03-08 15:48:49 +01:00