Author: niels
Date: Fri Aug 28 12:00:25 2009
New Revision: 4669
URL: http://svn.gna.org/viewcvs/service-tech?rev=4669&view=rev
Log:
* added nets from the GALS project (thank you Christian!)
Added:
trunk/meta/nets/casestudy/GALS/
trunk/meta/nets/casestudy/GALS/benchmark/
trunk/meta/nets/casestudy/GALS/benchmark/ClockControl-Modell/
trunk/meta/nets/casestudy/GALS/benchmark/ClockControl-Modell/clock_control_01.txt
trunk/meta/nets/casestudy/GALS/benchmark/ClockControl-Modell/clock_control_02.txt
trunk/meta/nets/casestudy/GALS/benchmark/ClockControl-Modell/clock_control_03.txt
trunk/meta/nets/casestudy/GALS/benchmark/ClockControl-Modell/clock_control_04.txt
trunk/meta/nets/casestudy/GALS/benchmark/ClockControl-Modell/clock_control_messungen.txt
trunk/meta/nets/casestudy/GALS/benchmark/Inputport-Modell/
trunk/meta/nets/casestudy/GALS/benchmark/Inputport-Modell/input_port_01.txt
trunk/meta/nets/casestudy/GALS/benchmark/Inputport-Modell/input_port_02.txt
trunk/meta/nets/casestudy/GALS/benchmark/Inputport-Modell/input_port_03.txt
trunk/meta/nets/casestudy/GALS/benchmark/Inputport-Modell/input_port_04.txt
trunk/meta/nets/casestudy/GALS/benchmark/Inputport-Modell/input_port_messungen.txt
trunk/meta/nets/casestudy/GALS/benchmark/Outputport-Modell/
trunk/meta/nets/casestudy/GALS/benchmark/Outputport-Modell/output_port_01.txt
trunk/meta/nets/casestudy/GALS/benchmark/Outputport-Modell/output_port_02.txt
trunk/meta/nets/casestudy/GALS/benchmark/Outputport-Modell/output_port_03.txt
trunk/meta/nets/casestudy/GALS/benchmark/Outputport-Modell/output_port_04.txt
trunk/meta/nets/casestudy/GALS/benchmark/Outputport-Modell/output_port_05.txt
trunk/meta/nets/casestudy/GALS/benchmark/Outputport-Modell/output_port_messungen.txt
trunk/meta/nets/casestudy/GALS/benchmark/PCG-Modell/
trunk/meta/nets/casestudy/GALS/benchmark/PCG-Modell/pausable_clock_generator_01.txt
trunk/meta/nets/casestudy/GALS/benchmark/PCG-Modell/pausable_clock_generator_02.txt
trunk/meta/nets/casestudy/GALS/benchmark/PCG-Modell/pausable_clock_generator_03.txt
trunk/meta/nets/casestudy/GALS/benchmark/PCG-Modell/pausable_clock_generator_messungen.txt
trunk/meta/nets/casestudy/GALS/benchmark/TOG-Modell/
trunk/meta/nets/casestudy/GALS/benchmark/TOG-Modell/timeout_generator_01.txt
trunk/meta/nets/casestudy/GALS/benchmark/TOG-Modell/timeout_generator_02.txt
trunk/meta/nets/casestudy/GALS/benchmark/TOG-Modell/timeout_generator_03.txt
trunk/meta/nets/casestudy/GALS/benchmark/TOG-Modell/timeout_generator_messungen.txt
trunk/meta/nets/casestudy/GALS/benchmark/Wrappermodell/
trunk/meta/nets/casestudy/GALS/benchmark/Wrappermodell/wrapper_01.txt
trunk/meta/nets/casestudy/GALS/benchmark/Wrappermodell/wrapper_01b.txt
trunk/meta/nets/casestudy/GALS/benchmark/Wrappermodell/wrapper_02.txt
trunk/meta/nets/casestudy/GALS/benchmark/Wrappermodell/wrapper_02b.txt
trunk/meta/nets/casestudy/GALS/benchmark/Wrappermodell/wrapper_03.txt
trunk/meta/nets/casestudy/GALS/benchmark/Wrappermodell/wrapper_04.txt
trunk/meta/nets/casestudy/GALS/benchmark/Wrappermodell/wrapper_05.txt
trunk/meta/nets/casestudy/GALS/benchmark/Wrappermodell/wrapper_06.txt
trunk/meta/nets/casestudy/GALS/benchmark/Wrappermodell/wrapper_07.net
trunk/meta/nets/casestudy/GALS/benchmark/Wrappermodell/wrapper_08.txt
trunk/meta/nets/casestudy/GALS/benchmark/Wrappermodell/wrapper_09.txt
trunk/meta/nets/casestudy/GALS/benchmark/Wrappermodell/wrapper_10.txt
trunk/meta/nets/casestudy/GALS/benchmark/Wrappermodell/wrapper_11.txt
trunk/meta/nets/casestudy/GALS/benchmark/Wrappermodell/wrapper_messungen.txt
trunk/meta/nets/casestudy/GALS/pcg/
trunk/meta/nets/casestudy/GALS/pcg/Beispiel.net
trunk/meta/nets/casestudy/GALS/pcg/pcg.net
trunk/meta/nets/casestudy/GALS/pcg/pcg1.net
trunk/meta/nets/casestudy/GALS/pcg/pcg2.net
trunk/meta/nets/casestudy/GALS/pcg/pcg3.net
trunk/meta/nets/casestudy/GALS/pcg/pcg4.net
trunk/meta/nets/casestudy/GALS/pcg/wrapper18.net
trunk/meta/nets/casestudy/GALS/pcg/wrapper19.net
trunk/meta/nets/casestudy/GALS/wrappers/
trunk/meta/nets/casestudy/GALS/wrappers/alt.net
trunk/meta/nets/casestudy/GALS/wrappers/formel.task
trunk/meta/nets/casestudy/GALS/wrappers/formel1.task
trunk/meta/nets/casestudy/GALS/wrappers/formel2.task
trunk/meta/nets/casestudy/GALS/wrappers/formel3.task
trunk/meta/nets/casestudy/GALS/wrappers/formel4.task
trunk/meta/nets/casestudy/GALS/wrappers/test.net
trunk/meta/nets/casestudy/GALS/wrappers/test1.net
trunk/meta/nets/casestudy/GALS/wrappers/test2.graph
trunk/meta/nets/casestudy/GALS/wrappers/test2.net
trunk/meta/nets/casestudy/GALS/wrappers/test3.graph
trunk/meta/nets/casestudy/GALS/wrappers/test3.net
trunk/meta/nets/casestudy/GALS/wrappers/test4.net
trunk/meta/nets/casestudy/GALS/wrappers/wrapper1.net
trunk/meta/nets/casestudy/GALS/wrappers/wrapper11.net
trunk/meta/nets/casestudy/GALS/wrappers/wrapper12.net
trunk/meta/nets/casestudy/GALS/wrappers/wrapper13.net
trunk/meta/nets/casestudy/GALS/wrappers/wrapper2.net
trunk/meta/nets/casestudy/GALS/wrappers/wrapper3.net
trunk/meta/nets/casestudy/GALS/wrappers/wrapper4.net
trunk/meta/nets/casestudy/GALS/wrappers/wrapper5.net
trunk/meta/nets/casestudy/GALS/wrappers/wrapper6.net
trunk/meta/nets/casestudy/GALS/wrappers/wrapper7.net
trunk/meta/nets/casestudy/GALS/wrappers/wrapper8.net
trunk/meta/nets/casestudy/GALS/wrappers/wrapper9.net
--
You received this e-mail, because you subscribed the mailing list
"service-tech-commits" which will forward you any e-mail addressed to
[email protected]. If you want to unsubscribe or make any changes to
your subscription, please go to
https://mail.gna.org/listinfo/service-tech-commits.
