salat

Salat is a collection of tools supporting testing of interpretation of sala plograms and analyses, like input flow.

Dependencies

libsala libutility

Name		Name	Last commit message	Last commit date
Latest commit History 27 Commits
test_builder_for_input_flow		test_builder_for_input_flow
test_builder_for_interpretation		test_builder_for_interpretation
test_input_flow		test_input_flow
test_interpretation		test_interpretation
test_sala_optimizer		test_sala_optimizer
CMakeLists.txt		CMakeLists.txt
LICENSE.txt		LICENSE.txt
README.md		README.md