15 Commits

Author	SHA1	Message	Date
Ian A. Mason	cba433a89f	race tests can take a long time.	2019-10-22 17:56:42 +00:00
Ian A.Mason	8e330f2e72	Looking for data races.	2019-10-20 13:42:26 -07:00
Ian A. Mason	c077d3cfc8	Makefile gets the flick.	2018-02-05 16:36:09 -08:00
Ian A. Mason	d3a33c59d9	Merge branch 'master' of https://github.com/SRI-CSL/gllvm	2017-07-13 08:57:52 -07:00
Ian A. Mason	37af8fee67	make sure gsanity-check returns an informative exit code, so we can rely on it in tests.	2017-07-13 08:57:15 -07:00
Ian A Mason	fab3416853	Update Makefile	2017-07-13 07:54:28 -07:00
Ian A. Mason	f66fd9f0fc	using ... in the build and install like a go BOSS.	2017-07-12 15:49:39 -07:00
Ian A. Mason	ff3f76acd0	neatness is next to godliness (said someone with OCD)	2017-07-11 13:01:46 -07:00
Ian A. Mason	7f88d84b23	sanity checker ported too.	2017-07-10 13:01:21 -07:00
Ian A. Mason	16cddf6fc9	Wonderful (not) adventures in multi-binary go projects.	2017-07-05 08:14:11 -07:00
Ian A. Mason	70a1cee8fe	Makefile fix, and a logFatal to absorb all the occurrences of log.Fatal	2017-06-28 14:03:36 -07:00
Ian A. Mason	00629dadce	clean not fussy.	2017-06-27 10:11:19 -07:00
Loic Gelle	722c3536ad	change gow prefix to g prefix	2017-06-27 10:09:39 -07:00
Loic Gelle	841cbca3c3	replace shell scripts by symlinks to call tool	2017-06-26 13:08:15 -07:00
Loic Gelle	3c3e014a73	fix non mutable parser result + add installation scripts	2017-06-22 13:02:11 -07:00