Andrew Baumann 5ac1338efb z3remote: quick kludge for unexpected noise in input		2017-10-05 20:39:01 -07:00
..
dafny	update boogie binaries	2017-06-15 11:03:09 -07:00
vale@08debedced	bump vale to pick up anycpu build fix	2017-06-16 14:27:55 -07:00
z3ssh	improved remote verification tools (z3ssh + z3remote)	2017-06-22 14:39:30 -07:00
DistDafny.ps1	added script to ship Z3 queries to an Azure "function"	2017-06-15 11:02:34 -07:00
z3azfunc.py	improved remote verification tools (z3ssh + z3remote)	2017-06-22 14:39:30 -07:00
z3remote.py	z3remote: quick kludge for unexpected noise in input	2017-10-05 20:39:01 -07:00
z3ssh.sh	added z3ssh, a clunky but functional z3 wrapper for remote verification	2017-06-16 11:04:09 -07:00