filament

---CODE---
1
---STDERR---
error: event provided to invocation triggers more often that invocation's event's delay allows
   ┌─ examples/tut-pipe-wrong-2.fil:16:28
   │
 4 │ comp main<'G: 1>(
   │               - this event triggers every 1 cycles
   ·
16 │     r0 := new Register[32]<'G, 'G+3>(a0.out);
   │                            ^^ event provided to invoke triggers too often
   │
   ┌─ ./primitives/./state.fil:6:29
   │
 6 │    comp Register[WIDTH]<'G: 'L-('G+1), 'L: 1>(
   │                             --------- invocation's event is allowed to trigger every 2 cycles

error: source port does not provide value for as long as destination requires
   ┌─ examples/tut-pipe-wrong-2.fil:18:41
   │
18 │     mx := new Mux[32]<'G+2>(op, r0.out, m0.out);
   │                                         ^^^^^^
   │                                         │
   │                                         source is available for ['G+3, 'G+4]
   │                                         required for ['G+2, 'G+3]

Compilation failed with 2 errors.
Run with --show-models to generate assignments for failing constraints.