Sireum Utility Tools


_{^{amd64: mac, linux, windows}}	_{^{maven package repository}}

This repository holds various Sireum utility tools:

Sergen: JSON and MessagePack de/serializer generator from Slang datatype definitions

As an example, for Slang AST and symbol information:
- Generated JSON
- Generated MessagePack
  - ... and a custom (hand-written) extension that adds compression/pooling for commonly occurring objects
Trafo: Transformer (visitor and rewriter) generator from Slang datatype definitions

As an example, for Slang AST:
- Generated Tranformer (immutable)
- Generated MTransformer (mutable)
Cligen: Command-line option parser generator from Slang datatype objects

As an example, Sireum CLI config datatype structure:
- Generated CLI

Note that the generators and the generated code are Slang programs.

Testing

The test run checks generated code such as the ones mentioned above do not change when re-generated.