Commit Graph

14 Commits

Author SHA1 Message Date
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