2 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Alex English	72c5a7d56f	Added ability to invoke src/fiat/verus from any cwd. Added executable permission.	2018-05-14 06:58:14 -07:00
Alex English	498542f60a	Recommitting fb9ad7b0daa32072a9ef555b8dabf71e501388f2 from Sun May 13 23:34:34 2018 -0700 by MikeTout because I accidentally blew it away fixing a bad merge.	2018-05-14 06:52:57 -07:00