github/powdr
1
1
Fork 0
mirror of https://github.com/powdr-labs/powdr.git synced 2026-05-13 03:00:26 -04:00
Code Issues Packages Projects Releases Wiki Activity
Files
83e2c841e6cfda2ec5dbcef98c3afb9a32cde9ec
powdr/test_data/asm/batching
History
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
..
labels.asm
Machine properties using with syntax (#1267)
2024-04-25 16:02:01 +00:00