Skip to content
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
Compare
Choose a tag to compare
@wonhyukchoi wonhyukchoi released this 05 Sep 15:38
04567ee

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.