Moved pilot studies from resources/ to evaluation/.

mcoblenz · Aug 29, 2019 · 4933ac6 · 4933ac6
1 parent 0a86af8
commit 4933ac6
Show file tree

Hide file tree

Showing 88 changed files with 0 additions and 0 deletions.
diff --git a/...ces/sample_programs/pilot0/Auction_R0.obs → evaluation/pilot0/Auction_R0.obs b/...ces/sample_programs/pilot0/Auction_R0.obs → evaluation/pilot0/Auction_R0.obs
diff --git a/...mple_programs/pilot0/Auction_subject0.obs → evaluation/pilot0/Auction_subject0.obs b/...mple_programs/pilot0/Auction_subject0.obs → evaluation/pilot0/Auction_subject0.obs
diff --git a/...ample_programs/pilot0/Prescription_R0.obs → evaluation/pilot0/Prescription_R0.obs b/...ample_programs/pilot0/Prescription_R0.obs → evaluation/pilot0/Prescription_R0.obs
diff --git a/...programs/pilot0/Prescription_subject0.obs → evaluation/pilot0/Prescription_subject0.obs b/...programs/pilot0/Prescription_subject0.obs → evaluation/pilot0/Prescription_subject0.obs
diff --git a/.../sample_programs/pilot0/auction_pilot.obs → evaluation/pilot0/auction_pilot.obs b/.../sample_programs/pilot0/auction_pilot.obs → evaluation/pilot0/auction_pilot.obs
diff --git a/...t0/prescription-exercises/Collections.obs → ...t0/prescription-exercises/Collections.obs b/...t0/prescription-exercises/Collections.obs → ...t0/prescription-exercises/Collections.obs
diff --git a/...0/prescription-exercises/Prescription.obs → ...0/prescription-exercises/Prescription.obs b/...0/prescription-exercises/Prescription.obs → ...0/prescription-exercises/Prescription.obs
diff --git a/...ot0/prescription-exercises/exercises.html → ...ot0/prescription-exercises/exercises.html b/...ot0/prescription-exercises/exercises.html → ...ot0/prescription-exercises/exercises.html
diff --git a/...ces/sample_programs/pilot1/Auction_R1.obs → evaluation/pilot1/Auction_R1.obs b/...ces/sample_programs/pilot1/Auction_R1.obs → evaluation/pilot1/Auction_R1.obs
diff --git a/...ample_programs/pilot1/Prescription_R1.obs → evaluation/pilot1/Prescription_R1.obs b/...ample_programs/pilot1/Prescription_R1.obs → evaluation/pilot1/Prescription_R1.obs
diff --git a/.../sample_programs/pilot1/auction_pilot.obs → evaluation/pilot1/auction_pilot.obs b/.../sample_programs/pilot1/auction_pilot.obs → evaluation/pilot1/auction_pilot.obs
diff --git a/...t1/prescription-exercises/Collections.obs → ...t1/prescription-exercises/Collections.obs b/...t1/prescription-exercises/Collections.obs → ...t1/prescription-exercises/Collections.obs
diff --git a/...1/prescription-exercises/Prescription.obs → ...1/prescription-exercises/Prescription.obs b/...1/prescription-exercises/Prescription.obs → ...1/prescription-exercises/Prescription.obs
diff --git a/...ot1/prescription-exercises/exercises.html → ...ot1/prescription-exercises/exercises.html b/...ot1/prescription-exercises/exercises.html → ...ot1/prescription-exercises/exercises.html
diff --git a/...ces/sample_programs/pilot2/Auction_R2.obs → evaluation/pilot2/Auction_R2.obs b/...ces/sample_programs/pilot2/Auction_R2.obs → evaluation/pilot2/Auction_R2.obs
diff --git a/...ces/sample_programs/pilot2/Betting_R2.obs → evaluation/pilot2/Betting_R2.obs b/...ces/sample_programs/pilot2/Betting_R2.obs → evaluation/pilot2/Betting_R2.obs
diff --git a/...ample_programs/pilot2/Betting_help_R2.obs → evaluation/pilot2/Betting_help_R2.obs b/...ample_programs/pilot2/Betting_help_R2.obs → evaluation/pilot2/Betting_help_R2.obs
diff --git a/.../sample_programs/pilot2/auction_pilot.obs → evaluation/pilot2/auction_pilot.obs b/.../sample_programs/pilot2/auction_pilot.obs → evaluation/pilot2/auction_pilot.obs
diff --git a/...s/sample_programs/pilot2/betting_help.obs → evaluation/pilot2/betting_help.obs b/...s/sample_programs/pilot2/betting_help.obs → evaluation/pilot2/betting_help.obs
diff --git a/.../sample_programs/pilot2/betting_pilot.obs → evaluation/pilot2/betting_pilot.obs b/.../sample_programs/pilot2/betting_pilot.obs → evaluation/pilot2/betting_pilot.obs
diff --git a/.../sample_programs/pilot2/betting_utils.obs → evaluation/pilot2/betting_utils.obs b/.../sample_programs/pilot2/betting_utils.obs → evaluation/pilot2/betting_utils.obs
diff --git a/resources/sample_programs/pilot2/games.obs → evaluation/pilot2/games.obs b/resources/sample_programs/pilot2/games.obs → evaluation/pilot2/games.obs
diff --git a/...t2/prescription-exercises/Collections.obs → ...t2/prescription-exercises/Collections.obs b/...t2/prescription-exercises/Collections.obs → ...t2/prescription-exercises/Collections.obs
diff --git a/...2/prescription-exercises/Prescription.obs → ...2/prescription-exercises/Prescription.obs b/...2/prescription-exercises/Prescription.obs → ...2/prescription-exercises/Prescription.obs
diff --git a/...rescription-exercises/Prescription_R2.obs → ...rescription-exercises/Prescription_R2.obs b/...rescription-exercises/Prescription_R2.obs → ...rescription-exercises/Prescription_R2.obs
diff --git a/...s/pilot3/auction-exercises/Auction_R3.obs → ...n/pilot3/auction-exercises/Auction_R3.obs b/...s/pilot3/auction-exercises/Auction_R3.obs → ...n/pilot3/auction-exercises/Auction_R3.obs
diff --git a/...ilot3/auction-exercises/auction_pilot.obs → ...ilot3/auction-exercises/auction_pilot.obs b/...ilot3/auction-exercises/auction_pilot.obs → ...ilot3/auction-exercises/auction_pilot.obs
diff --git a/...s/pilot3/betting-exercises/Betting_R3.obs → ...n/pilot3/betting-exercises/Betting_R3.obs b/...s/pilot3/betting-exercises/Betting_R3.obs → ...n/pilot3/betting-exercises/Betting_R3.obs
diff --git a/...ot3/betting-exercises/Betting_help_R3.obs → ...ot3/betting-exercises/Betting_help_R3.obs b/...ot3/betting-exercises/Betting_help_R3.obs → ...ot3/betting-exercises/Betting_help_R3.obs
diff --git a/...pilot3/betting-exercises/betting_help.obs → ...pilot3/betting-exercises/betting_help.obs b/...pilot3/betting-exercises/betting_help.obs → ...pilot3/betting-exercises/betting_help.obs
diff --git a/...ilot3/betting-exercises/betting_pilot.obs → ...ilot3/betting-exercises/betting_pilot.obs b/...ilot3/betting-exercises/betting_pilot.obs → ...ilot3/betting-exercises/betting_pilot.obs
diff --git a/...ilot3/betting-exercises/betting_utils.obs → ...ilot3/betting-exercises/betting_utils.obs b/...ilot3/betting-exercises/betting_utils.obs → ...ilot3/betting-exercises/betting_utils.obs
diff --git a/...ograms/pilot3/betting-exercises/games.obs → ...uation/pilot3/betting-exercises/games.obs b/...ograms/pilot3/betting-exercises/games.obs → ...uation/pilot3/betting-exercises/games.obs
diff --git a/...t3/prescription-exercises/Collections.obs → ...t3/prescription-exercises/Collections.obs b/...t3/prescription-exercises/Collections.obs → ...t3/prescription-exercises/Collections.obs
diff --git a/...3/prescription-exercises/Prescription.obs → ...3/prescription-exercises/Prescription.obs b/...3/prescription-exercises/Prescription.obs → ...3/prescription-exercises/Prescription.obs
diff --git a/...rescription-exercises/Prescription_R3.obs → ...rescription-exercises/Prescription_R3.obs b/...rescription-exercises/Prescription_R3.obs → ...rescription-exercises/Prescription_R3.obs
diff --git a/...grams/pilot3/tutorial-exercises/code1.obs → ...ation/pilot3/tutorial-exercises/code1.obs b/...grams/pilot3/tutorial-exercises/code1.obs → ...ation/pilot3/tutorial-exercises/code1.obs
diff --git a/...ms/pilot3/tutorial-exercises/code1_R3.obs → ...on/pilot3/tutorial-exercises/code1_R3.obs b/...ms/pilot3/tutorial-exercises/code1_R3.obs → ...on/pilot3/tutorial-exercises/code1_R3.obs
diff --git a/...grams/pilot3/tutorial-exercises/code2.obs → ...ation/pilot3/tutorial-exercises/code2.obs b/...grams/pilot3/tutorial-exercises/code2.obs → ...ation/pilot3/tutorial-exercises/code2.obs
diff --git a/...ms/pilot3/tutorial-exercises/code2_R3.obs → ...on/pilot3/tutorial-exercises/code2_R3.obs b/...ms/pilot3/tutorial-exercises/code2_R3.obs → ...on/pilot3/tutorial-exercises/code2_R3.obs
diff --git a/...grams/pilot3/tutorial-exercises/code3.obs → ...ation/pilot3/tutorial-exercises/code3.obs b/...grams/pilot3/tutorial-exercises/code3.obs → ...ation/pilot3/tutorial-exercises/code3.obs
diff --git a/...ms/pilot3/tutorial-exercises/code3_R3.obs → ...on/pilot3/tutorial-exercises/code3_R3.obs b/...ms/pilot3/tutorial-exercises/code3_R3.obs → ...on/pilot3/tutorial-exercises/code3_R3.obs
diff --git a/...grams/pilot3/tutorial-exercises/code4.obs → ...ation/pilot3/tutorial-exercises/code4.obs b/...grams/pilot3/tutorial-exercises/code4.obs → ...ation/pilot3/tutorial-exercises/code4.obs
diff --git a/...ms/pilot3/tutorial-exercises/code4_R3.obs → ...on/pilot3/tutorial-exercises/code4_R3.obs b/...ms/pilot3/tutorial-exercises/code4_R3.obs → ...on/pilot3/tutorial-exercises/code4_R3.obs
diff --git a/...grams/pilot3/tutorial-exercises/code5.obs → ...ation/pilot3/tutorial-exercises/code5.obs b/...grams/pilot3/tutorial-exercises/code5.obs → ...ation/pilot3/tutorial-exercises/code5.obs
diff --git a/...ms/pilot3/tutorial-exercises/code5_R3.obs → ...on/pilot3/tutorial-exercises/code5_R3.obs b/...ms/pilot3/tutorial-exercises/code5_R3.obs → ...on/pilot3/tutorial-exercises/code5_R3.obs
diff --git a/...grams/pilot3/tutorial-exercises/code6.obs → ...ation/pilot3/tutorial-exercises/code6.obs b/...grams/pilot3/tutorial-exercises/code6.obs → ...ation/pilot3/tutorial-exercises/code6.obs
diff --git a/...ms/pilot3/tutorial-exercises/code6_R3.obs → ...on/pilot3/tutorial-exercises/code6_R3.obs b/...ms/pilot3/tutorial-exercises/code6_R3.obs → ...on/pilot3/tutorial-exercises/code6_R3.obs
diff --git a/...grams/pilot3/tutorial-exercises/code7.obs → ...ation/pilot3/tutorial-exercises/code7.obs b/...grams/pilot3/tutorial-exercises/code7.obs → ...ation/pilot3/tutorial-exercises/code7.obs
diff --git a/...ms/pilot3/tutorial-exercises/code7_R3.obs → ...on/pilot3/tutorial-exercises/code7_R3.obs b/...ms/pilot3/tutorial-exercises/code7_R3.obs → ...on/pilot3/tutorial-exercises/code7_R3.obs
diff --git a/...grams/pilot3/tutorial-exercises/code8.obs → ...ation/pilot3/tutorial-exercises/code8.obs b/...grams/pilot3/tutorial-exercises/code8.obs → ...ation/pilot3/tutorial-exercises/code8.obs
diff --git a/...ms/pilot3/tutorial-exercises/code8_R3.obs → ...on/pilot3/tutorial-exercises/code8_R3.obs b/...ms/pilot3/tutorial-exercises/code8_R3.obs → ...on/pilot3/tutorial-exercises/code8_R3.obs
diff --git a/...s/pilot4/auction-exercises/Auction_R4.obs → ...n/pilot4/auction-exercises/Auction_R4.obs b/...s/pilot4/auction-exercises/Auction_R4.obs → ...n/pilot4/auction-exercises/Auction_R4.obs
diff --git a/...ilot4/auction-exercises/auction_pilot.obs → ...ilot4/auction-exercises/auction_pilot.obs b/...ilot4/auction-exercises/auction_pilot.obs → ...ilot4/auction-exercises/auction_pilot.obs
diff --git a/...s/pilot4/betting-exercises/Betting_R4.obs → ...n/pilot4/betting-exercises/Betting_R4.obs b/...s/pilot4/betting-exercises/Betting_R4.obs → ...n/pilot4/betting-exercises/Betting_R4.obs
diff --git a/...pilot4/betting-exercises/betting_help.obs → ...pilot4/betting-exercises/betting_help.obs b/...pilot4/betting-exercises/betting_help.obs → ...pilot4/betting-exercises/betting_help.obs
diff --git a/...ot4/betting-exercises/betting_help_R4.obs → ...ot4/betting-exercises/betting_help_R4.obs b/...ot4/betting-exercises/betting_help_R4.obs → ...ot4/betting-exercises/betting_help_R4.obs
diff --git a/...ilot4/betting-exercises/betting_pilot.obs → ...ilot4/betting-exercises/betting_pilot.obs b/...ilot4/betting-exercises/betting_pilot.obs → ...ilot4/betting-exercises/betting_pilot.obs
diff --git a/...ilot4/betting-exercises/betting_utils.obs → ...ilot4/betting-exercises/betting_utils.obs b/...ilot4/betting-exercises/betting_utils.obs → ...ilot4/betting-exercises/betting_utils.obs
diff --git a/...t4/prescription-exercises/Collections.obs → ...t4/prescription-exercises/Collections.obs b/...t4/prescription-exercises/Collections.obs → ...t4/prescription-exercises/Collections.obs
diff --git a/...4/prescription-exercises/Prescription.obs → ...4/prescription-exercises/Prescription.obs b/...4/prescription-exercises/Prescription.obs → ...4/prescription-exercises/Prescription.obs
diff --git a/...rescription-exercises/Prescription_R4.obs → ...rescription-exercises/Prescription_R4.obs b/...rescription-exercises/Prescription_R4.obs → ...rescription-exercises/Prescription_R4.obs
diff --git a/...grams/pilot4/tutorial-exercises/code1.obs → ...ation/pilot4/tutorial-exercises/code1.obs b/...grams/pilot4/tutorial-exercises/code1.obs → ...ation/pilot4/tutorial-exercises/code1.obs
diff --git a/...grams/pilot4/tutorial-exercises/code2.obs → ...ation/pilot4/tutorial-exercises/code2.obs b/...grams/pilot4/tutorial-exercises/code2.obs → ...ation/pilot4/tutorial-exercises/code2.obs
diff --git a/...grams/pilot4/tutorial-exercises/code3.obs → ...ation/pilot4/tutorial-exercises/code3.obs b/...grams/pilot4/tutorial-exercises/code3.obs → ...ation/pilot4/tutorial-exercises/code3.obs
diff --git a/...grams/pilot4/tutorial-exercises/code4.obs → ...ation/pilot4/tutorial-exercises/code4.obs b/...grams/pilot4/tutorial-exercises/code4.obs → ...ation/pilot4/tutorial-exercises/code4.obs
diff --git a/...grams/pilot4/tutorial-exercises/code5.obs → ...ation/pilot4/tutorial-exercises/code5.obs b/...grams/pilot4/tutorial-exercises/code5.obs → ...ation/pilot4/tutorial-exercises/code5.obs
diff --git a/...grams/pilot4/tutorial-exercises/code6.obs → ...ation/pilot4/tutorial-exercises/code6.obs b/...grams/pilot4/tutorial-exercises/code6.obs → ...ation/pilot4/tutorial-exercises/code6.obs
diff --git a/...grams/pilot4/tutorial-exercises/code7.obs → ...ation/pilot4/tutorial-exercises/code7.obs b/...grams/pilot4/tutorial-exercises/code7.obs → ...ation/pilot4/tutorial-exercises/code7.obs
diff --git a/...grams/pilot4/tutorial-exercises/code8.obs → ...ation/pilot4/tutorial-exercises/code8.obs b/...grams/pilot4/tutorial-exercises/code8.obs → ...ation/pilot4/tutorial-exercises/code8.obs
diff --git a/...s/pilot5/auction-exercises/Auction_R5.obs → ...n/pilot5/auction-exercises/Auction_R5.obs b/...s/pilot5/auction-exercises/Auction_R5.obs → ...n/pilot5/auction-exercises/Auction_R5.obs
diff --git a/...ilot5/auction-exercises/auction_pilot.obs → ...ilot5/auction-exercises/auction_pilot.obs b/...ilot5/auction-exercises/auction_pilot.obs → ...ilot5/auction-exercises/auction_pilot.obs
diff --git a/...s/pilot5/betting-exercises/Betting_R5.obs → ...n/pilot5/betting-exercises/Betting_R5.obs b/...s/pilot5/betting-exercises/Betting_R5.obs → ...n/pilot5/betting-exercises/Betting_R5.obs
diff --git a/...pilot5/betting-exercises/betting_help.obs → ...pilot5/betting-exercises/betting_help.obs b/...pilot5/betting-exercises/betting_help.obs → ...pilot5/betting-exercises/betting_help.obs
diff --git a/...ot5/betting-exercises/betting_help_R5.obs → ...ot5/betting-exercises/betting_help_R5.obs b/...ot5/betting-exercises/betting_help_R5.obs → ...ot5/betting-exercises/betting_help_R5.obs
diff --git a/...ilot5/betting-exercises/betting_pilot.obs → ...ilot5/betting-exercises/betting_pilot.obs b/...ilot5/betting-exercises/betting_pilot.obs → ...ilot5/betting-exercises/betting_pilot.obs
diff --git a/...ilot5/betting-exercises/betting_utils.obs → ...ilot5/betting-exercises/betting_utils.obs b/...ilot5/betting-exercises/betting_utils.obs → ...ilot5/betting-exercises/betting_utils.obs
diff --git a/...t5/prescription-exercises/Collections.obs → ...t5/prescription-exercises/Collections.obs b/...t5/prescription-exercises/Collections.obs → ...t5/prescription-exercises/Collections.obs
diff --git a/...5/prescription-exercises/Prescription.obs → ...5/prescription-exercises/Prescription.obs b/...5/prescription-exercises/Prescription.obs → ...5/prescription-exercises/Prescription.obs
diff --git a/...rescription-exercises/Prescription_R5.obs → ...rescription-exercises/Prescription_R5.obs b/...rescription-exercises/Prescription_R5.obs → ...rescription-exercises/Prescription_R5.obs
diff --git a/...grams/pilot5/tutorial-exercises/code1.obs → ...ation/pilot5/tutorial-exercises/code1.obs b/...grams/pilot5/tutorial-exercises/code1.obs → ...ation/pilot5/tutorial-exercises/code1.obs
diff --git a/...grams/pilot5/tutorial-exercises/code2.obs → ...ation/pilot5/tutorial-exercises/code2.obs b/...grams/pilot5/tutorial-exercises/code2.obs → ...ation/pilot5/tutorial-exercises/code2.obs
diff --git a/...grams/pilot5/tutorial-exercises/code3.obs → ...ation/pilot5/tutorial-exercises/code3.obs b/...grams/pilot5/tutorial-exercises/code3.obs → ...ation/pilot5/tutorial-exercises/code3.obs
diff --git a/...grams/pilot5/tutorial-exercises/code4.obs → ...ation/pilot5/tutorial-exercises/code4.obs b/...grams/pilot5/tutorial-exercises/code4.obs → ...ation/pilot5/tutorial-exercises/code4.obs
diff --git a/...grams/pilot5/tutorial-exercises/code5.obs → ...ation/pilot5/tutorial-exercises/code5.obs b/...grams/pilot5/tutorial-exercises/code5.obs → ...ation/pilot5/tutorial-exercises/code5.obs
diff --git a/...grams/pilot5/tutorial-exercises/code6.obs → ...ation/pilot5/tutorial-exercises/code6.obs b/...grams/pilot5/tutorial-exercises/code6.obs → ...ation/pilot5/tutorial-exercises/code6.obs
diff --git a/...grams/pilot5/tutorial-exercises/code7.obs → ...ation/pilot5/tutorial-exercises/code7.obs b/...grams/pilot5/tutorial-exercises/code7.obs → ...ation/pilot5/tutorial-exercises/code7.obs
diff --git a/...grams/pilot5/tutorial-exercises/code8.obs → ...ation/pilot5/tutorial-exercises/code8.obs b/...grams/pilot5/tutorial-exercises/code8.obs → ...ation/pilot5/tutorial-exercises/code8.obs