We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 3ff8837 commit e4a2e02Copy full SHA for e4a2e02
data/goal.txt
@@ -0,0 +1,3 @@
1
++++++
2
+val_eq (Val.add (Val.add (r3 PC) Vone) Vone) (Val.add (x2 PC) Vone)
3
+*****
scripts/gen_tactic.sh
@@ -1,2 +1,5 @@
#!/bin/bash
+# Usage:
+# wget http://pjreddie.com/media/files/peek.weights
4
+# scripts/gen_tactic.sh data/goal.txt
5
./darknet rnn generatetactic cfg/gru.cfg peek.weights < $1 2>/dev/null
0 commit comments