23 Commits

Author	SHA1	Message	Date
Ian A. Mason	e0f801f9a5	white space	2023-06-22 08:33:22 -07:00
William Woodruff	07a672bd30	get-bc: tweak LogInfo message	2021-07-26 11:18:17 -04:00
Alex Bernat	7948bd71f5	fixed module file, imports	2021-06-09 13:35:55 -05:00
Alex Bernat	50750e2aa8	updated README for gflang	2021-06-08 17:46:51 -05:00
Alex Bernat	7d0f495883	gflang: renamed gfortran to gflang as not to conflict with GNU gfortran	2021-05-26 03:38:17 +00:00
Alex Bernat	50c32bbd09	added rudimentary flang support as gfortran	2021-05-25 00:23:48 +00:00
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
Ian A. Mason	d853576c95	Tweaks for v1.2.8	2020-10-13 08:46:41 -07:00
Ian A. Mason	dfb22031a1	Attempt at making the lto tweaks work properly, and adding the LTO_LINKING_FLAGS environment example.	2020-10-11 17:22:33 -07:00
William Woodruff	d235e663df	get-bc: exit with Extract()'s exit code	2020-08-04 10:22:40 -04:00
Ian A. Mason	18b65a053a	Trying to unify the behavior of wllvm and gllvm when compiling the linux kernel.	2018-04-24 12:13:12 -07:00
Ian A. Mason	3fc0008125	Issue #13 and a SIGSEGV issue.	2018-02-05 15:23:04 -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	2c8b14eb49	Keeping track of the GPA	2017-07-11 10:54:20 -07:00
Ian A. Mason	7629fa220a	Finished the sanity checker. Getting ready to revert to a uniform API with wllvm. Maybe via the issue mechanism.	2017-07-11 10:52:05 -07:00
Ian A. Mason	73c77a5a92	stylistic changes, plus still need to track down the SIGSEGV in the llvm-link.	2017-07-10 13:14:34 -07:00
Ian A. Mason	4ff5865d27	stylistic changes, plus still need to track down the SIGSEGV in the llvm-link.	2017-07-10 13:11:46 -07:00
Ian A. Mason	7f88d84b23	sanity checker ported too.	2017-07-10 13:01:21 -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