add script to get locations from imitator files
Showing
- benchmarks/benchmarks.sh 22 additions, 25 deletionsbenchmarks/benchmarks.sh
- benchmarks/models/Pipeline_KP12_2_3_loc.txt 16 additions, 0 deletionsbenchmarks/models/Pipeline_KP12_2_3_loc.txt
- benchmarks/models/RCP_loc.txt 48 additions, 0 deletionsbenchmarks/models/RCP_loc.txt
- benchmarks/models/blowup-200_loc.txt 208 additions, 0 deletionsbenchmarks/models/blowup-200_loc.txt
- benchmarks/models/coffee_loc.txt 4 additions, 0 deletionsbenchmarks/models/coffee_loc.txt
- benchmarks/models/fischer.folding.maude 75 additions, 0 deletionsbenchmarks/models/fischer.folding.maude
- benchmarks/models/fischer.no-folding.maude 75 additions, 0 deletionsbenchmarks/models/fischer.no-folding.maude
- benchmarks/models/fischer_loc.txt 14 additions, 0 deletionsbenchmarks/models/fischer_loc.txt
- benchmarks/models/gear-1000_loc.txt 1475 additions, 0 deletionsbenchmarks/models/gear-1000_loc.txt
- benchmarks/models/get_locations.py 30 additions, 0 deletionsbenchmarks/models/get_locations.py
- benchmarks/models/tgc.folding.maude 64 additions, 0 deletionsbenchmarks/models/tgc.folding.maude
- benchmarks/models/tgc.no-folding.maude 64 additions, 0 deletionsbenchmarks/models/tgc.no-folding.maude
- benchmarks/models/tgc_loc.txt 12 additions, 0 deletionsbenchmarks/models/tgc_loc.txt
Loading
Please register or sign in to comment