Mercurial > repos > icfp2013

changeset 35:9d5c3b078c78

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
other training problem.
author William Morgan <bill@mrgn.org>
date Sat, 10 Aug 2013 22:31:18 -0700
parents 732d9739356e
children c42d3c8b1d75 c94beafc8d1e
files data/train/QwhG7ZpaVsfXiLRvbJfIfxl8.json src/requests.tp
diffstat 2 files changed, 16 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/data/train/QwhG7ZpaVsfXiLRvbJfIfxl8.json	Sat Aug 10 22:31:18 2013 -0700
@@ -0,0 +1,12 @@
+{
+    "id": "QwhG7ZpaVsfXiLRvbJfIfxl8",
+    "size": 15,
+    "operators": [
+        "and",
+        "if0",
+        "shl1",
+        "shr16",
+        "tfold"
+    ],
+    "challenge": "(lambda (x_18985) (fold x_18985 0 (lambda (x_18985 x_18986) (and (if0 (shl1 (shr16 (shl1 (shl1 x_18986)))) x_18985 x_18986) 1))))"
+}
--- a/src/requests.tp	Sat Aug 10 22:26:05 2013 -0700
+++ b/src/requests.tp	Sat Aug 10 22:31:18 2013 -0700
@@ -178,6 +178,10 @@
 		}
 	}
 
+	problem <- : str {
+		
+	}
+
 	main <- :args {
 		//print: ((evalId: "someId" #[1u64 2u64 3u64]) string) . "\n"
 		//print: ((guess: "someId" "someProg") string) . "\n"