7 Commits

Author	SHA1	Message	Date
Ian A.Mason	b4cc306380	Delete unhappy module attempt.	2021-03-05 16:17:02 -08:00
Ian A.Mason	edc710c436	Does this fix the module problem?	2021-03-05 16:05:43 -08:00
Ashish Gehani	baadc4c94c	Added OCCAM license.	2017-08-25 16:34:03 -07:00
Ian A Mason	c4fbe60c85	Cleaned up the skipping second phase code.	2017-07-24 09:22:58 -07:00
Ian A Mason	7d6907d408	LogFatal is a bad idea... Still have yices configure issues. But ...	2017-07-21 10:23:23 -07:00
Ian A. Mason	f75508a3a2	Now we use go's flags to parse the 'get-bc' command line. Not really impressed with flags. No long forms.	2017-07-05 11:00:07 -07:00
Ian A. Mason	16cddf6fc9	Wonderful (not) adventures in multi-binary go projects.	2017-07-05 08:14:11 -07:00