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

• macOS/Linux

  bin/build.cmd test

• Windows

  bin\build.cmd test

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