Initial Commit

Makefile

docker/Dockerfile

docker/patmos-toolchain.tar.gz

eval/bench-timing-manual.dref

eval/copter/bench-timing-copter

eval/copter/bench-timing-copter-gcfg.pml

eval/copter/bench-timing-copter-system.pml

eval/copter/bench-timing-copter.0.dref

eval/copter/bench-timing-copter.1.dref

eval/copter/bench-timing-copter.2.dref

eval/copter/bench-timing-copter.dref

eval/microbench/bench-timing-aborted_computation

eval/microbench/bench-timing-aborted_computation-gcfg.pml

eval/microbench/bench-timing-aborted_computation-system.pml

eval/microbench/bench-timing-aborted_computation.0.dref

eval/microbench/bench-timing-aborted_computation.dref

eval/microbench/bench-timing-computation_alarm

eval/microbench/bench-timing-computation_alarm-gcfg.pml

eval/microbench/bench-timing-computation_alarm-system.pml

eval/microbench/bench-timing-computation_alarm.0.dref