HyTech\bin\hytech
......\...\hytech.exe
......\examples\active\active-syn.hy
......\........\......\active-syn.log
......\........\......\active-trace.hy
......\........\......\active-trace.log
......\........\......\active.hy
......\........\......\active.log
......\........\......\README
......\........\......\run-active
......\........\.udio\audio-10Q-syn.hy
......\........\.....\audio-10Q-syn.log
......\........\.....\audio-e.hy
......\........\.....\audio-e.log
......\........\.....\audio-syn.hy
......\........\.....\audio-syn.log
......\........\.....\audio-timing-strict.hy
......\........\.....\audio-timing-strict.log
......\........\.....\audio-timing.hy
......\........\.....\audio-timing.log
......\........\.....\audio.hy
......\........\.....\audio.log
......\........\.....\README
......\........\.....\run-audio
......\........\billiards\billiards-simple.hy
......\........\.........\billiards-simple.log
......\........\.........\billiards-touchT.hy
......\........\.........\billiards-touchT.log
......\........\.........\README
......\........\.........\run-billiards
......\........\diff-example-logs
......\........\..st_controller\corbett.hy
......\........\...............\corbett.log
......\........\...............\README
......\........\...............\run-dist_controller
......\........\gas_burner\gas_burner.hy
......\........\..........\gas_burner.log
......\........\..........\README
......\........\..........\run-gas_burner
......\........\GRC\grc-syn.hy
......\........\...\grc-syn.log
......\........\...\grc-ver.hy
......\........\...\grc-ver.log
......\........\...\new-grc-syn.hy
......\........\...\new-grc-syn.log
......\........\...\new-grc.hy
......\........\...\new-grc.log
......\........\...\README
......\........\...\run-GRC
......\........\mutex\fischerprotocol.ps
......\........\.....\fish2-e.hy
......\........\.....\fish2-e.log
......\........\.....\fish2.hy
......\........\.....\fish2.log
......\........\.....\README
......\........\.....\run-mutex
......\........\pred-prey\pred-prey.hy
......\........\.........\pred-prey.log
......\........\.........\README
......\........\.........\run-pred-prey
......\........\railroad\railroad-syn.hy
......\........\........\railroad-syn.log
......\........\........\railroad.hy
......\........\........\railroad.log
......\........\........\railroadcrossing.ps
......\........\........\README
......\........\........\run-railroad
......\........\.eactor\reactortemperature.ps
......\........\.......\react_clock.hy
......\........\.......\react_clock.log
......\........\.......\react_linear.hy
......\........\.......\react_linear.log
......\........\.......\react_rect.hy
......\........\.......\react_rect.log
......\........\.......\README
......\........\.......\run-reactor
......\........\README
......\........\run-examples
......\........\temp_controller\README
......\........\...............\run-temp_controller
......\........\...............\temp_controller.hy
......\........\...............\temp_controller.log
......\........\water_controller\README
......\........\................\run-water_controller
......\........\................\watertank.ps
......\........\................\water_controller.hy
......\........\................\water_controller.log
......\src\automaton.C
......\...\automaton.H
......\...\basic.c
......\...\basic.h
......\...\basic_cpp.C
......\...\basic_cpp.H
......\...\cherni.C
......\...\compose.C
......\...\compose.H
......\...\convert.C
......\...\convert.H
......\...\diff.C
......\...\exec_spec.C