+VRSC +RFOX

2018-06-21 07:27:09 -11:00
parent 8154603bf3
commit 4c36b53066
6 changed files with 11 additions and 2 deletions
--- a/src/fiat-cli
+++ b/src/fiat-cli
@@ -31,3 +31,5 @@ echo dsec; fiat/dsec $1 $2 $3 $4
 echo glxt; fiat/glxt $1 $2 $3 $4
 echo eql; fiat/eql $1 $2 $3 $4
 echo zilla; fiat/zilla $1 $2 $3 $4
+echo vrsc; fiat/zilla $1 $2 $3 $4
+echo rfox; fiat/zilla $1 $2 $3 $4