From b96af395b9af2ff9df94b3e82213171f30827c8d Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Tue, 5 May 2015 21:17:24 -0700 Subject: 1276 - make C++ version the default I've tried to update the Readme, but there are at least a couple of issues. --- arc/.traces/sleep-long | 58 ++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 58 insertions(+) create mode 100644 arc/.traces/sleep-long (limited to 'arc/.traces/sleep-long') diff --git a/arc/.traces/sleep-long b/arc/.traces/sleep-long new file mode 100644 index 00000000..5a7d10e8 --- /dev/null +++ b/arc/.traces/sleep-long @@ -0,0 +1,58 @@ +c{0: 0 (((sleep)) ((for-some-cycles literal)) ((20 literal))) -- nil +c{0: 1 (((1 integer)) <- ((copy)) ((0 literal))) -- nil +c{0: 2 (((1 integer)) <- ((copy)) ((0 literal))) -- nil +c{1: 0 ✓ (((sleep)) ((for-some-cycles literal)) ((20 literal))) +c{1: 1 ✓ (((1 integer)) <- ((copy)) ((0 literal))) +c{1: 2 ✓ (((1 integer)) <- ((copy)) ((0 literal))) +c{0: 0 (((2 integer)) <- ((copy)) ((0 literal))) -- nil +c{0: 1 (((2 integer)) <- ((copy)) ((0 literal))) -- nil +c{1: 0 ✓ (((2 integer)) <- ((copy)) ((0 literal))) +c{1: 1 ✓ (((2 integer)) <- ((copy)) ((0 literal))) +cn0: convert-names in f1 +cn0: (((sleep)) ((for-some-cycles literal)) ((20 literal))) nil nil +cn0: checking arg ((for-some-cycles literal)) +cn0: checking arg ((20 literal)) +cn0: (((1 integer)) <- ((copy)) ((0 literal))) nil nil +cn0: checking arg ((0 literal)) +cn0: checking oarg ((1 integer)) +maybe-add: ((1 integer)) +cn0: (((1 integer)) <- ((copy)) ((0 literal))) nil nil +cn0: checking arg ((0 literal)) +cn0: checking oarg ((1 integer)) +maybe-add: ((1 integer)) +cn0: convert-names in f2 +cn0: (((2 integer)) <- ((copy)) ((0 literal))) nil nil +cn0: checking arg ((0 literal)) +cn0: checking oarg ((2 integer)) +maybe-add: ((2 integer)) +cn0: (((2 integer)) <- ((copy)) ((0 literal))) nil nil +cn0: checking arg ((0 literal)) +cn0: checking oarg ((2 integer)) +maybe-add: ((2 integer)) +cn1: (((sleep)) ((for-some-cycles literal)) ((20 literal))) +cn1: (((1 integer)) <- ((copy)) ((0 literal))) +cn1: (((1 integer)) <- ((copy)) ((0 literal))) +cn1: (((2 integer)) <- ((copy)) ((0 literal))) +cn1: (((2 integer)) <- ((copy)) ((0 literal))) +schedule: f1 +run: f1 0: (((sleep)) ((for-some-cycles literal)) ((20 literal))) +run: f1 0: sleeping until 21 +schedule: pushing f1 to sleep queue +schedule: f2 +run: f2 0: (((2 integer)) <- ((copy)) ((0 literal))) +run: f2 0: 0 => ((2 integer)) +mem: ((2 integer)): 2 <= 0 +run: f2 1: (((2 integer)) <- ((copy)) ((0 literal))) +run: f2 1: 0 => ((2 integer)) +mem: ((2 integer)): 2 <= 0 +schedule: done with routine nil +schedule: skipping to cycle 22 +schedule: waking up f1 +schedule: f1 +run: f1 1: (((1 integer)) <- ((copy)) ((0 literal))) +run: f1 1: 0 => ((1 integer)) +mem: ((1 integer)): 1 <= 0 +run: f1 2: (((1 integer)) <- ((copy)) ((0 literal))) +run: f1 2: 0 => ((1 integer)) +mem: ((1 integer)): 1 <= 0 +schedule: done with routine nil -- cgit 1.4.1-2-gfad0