rossi-build v0.1.9 — Static checker / builder for Event-B models in Rossi. Reads .buc/.bum and emits Rodin-compatible .bcc/.bcm.

Sign in to join the discussion — your thebay.events account works here.