4 Commits

Author	SHA1	Message	Date
Dan Gohman	09b1bdc108	Make "cton-util compile" default to the isa specified in the test file.	2017-10-31 14:21:07 -07:00
Dan Gohman	1b61d5cd1e	Enable the verifier by default in "cton-util compile".	2017-10-26 20:55:45 -07:00
Dan Gohman	f064418652	Refactor set/isa parsing into a utility function.	2017-10-03 09:43:27 -07:00
Dan Gohman	12ab4cd914	Add a cton-util compile command.	2017-10-03 09:42:50 -07:00