This repository has been archived by the owner on Jan 28, 2023. It is now read-only.
Alpha release v0.1.0a
Pre-release
Pre-release
Alpha release of TeMoS.
The tool is able to synthesize all of the benchmarks provided, but may be unable to handle more general TSL-MT formulae.