Commit Graph

73 Commits

Author SHA1 Message Date
Ian A. Mason
7905f2e122 I am a slave to gofmt. 2018-02-05 15:27:50 -08: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
Will Dietz
fa57387ac6 parser.go: Fix regexp used for detecting asm input 2017-08-12 12:23:57 -05:00
Ian A Mason
c4fbe60c85 Cleaned up the skipping second phase code. 2017-07-24 09:22:58 -07:00
Ian A Mason
026fc69d24 Fix the order of the arguments in the linking step. 2017-07-24 06:53:49 -07:00
Ian A Mason
8545a49940 Instrument the fork execs so we can wee what is being done (in DEBUG mode). 2017-07-21 13:38:52 -07:00
Ian A Mason
0d90b36a56 Getting the two phase logic right (perhaps), concurrency complicates 2017-07-21 11:02:42 -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
c0740ce4a7 Prevemt gsanity insanity. 2017-07-20 16:11:44 -07:00
Loïc Gelle
483f709796 change environment variable names 2017-07-14 10:47:56 -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
ff3f76acd0 neatness is next to godliness (said someone with OCD) 2017-07-11 13:01:46 -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
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
7962ec6e99 Still have to figure out how to pass -s to the emacs go-mode hook. 2017-07-05 17:48:40 -07:00
Ian A. Mason
562983793a Documenting the exported routines. 2017-07-05 17:42:55 -07:00
Loïc Gelle
0cf14152fe fix print only case 2017-07-05 12:52:06 -07:00
Ian A. Mason
09ffb6d8e4 Don't do extra work if the first phase failed. 2017-07-05 11:25:20 -07:00
Ian A. Mason
c68cb2ed5a Simplifying(?) the archiver and linker logic in 'get-bc' 2017-07-05 11:10:32 -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