danog/gllvm
1
0
Fork 0
mirror of https://github.com/danog/gllvm.git synced 2024-11-30 08:39:03 +01:00
Code Issues Packages Projects Releases Wiki Activity
386 Commits 3 Branches 13 Tags 1.1 MiB
b789b6b9ce
Commit Graph

386 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
b9407e6835 addition to notes. 2018-04-18 09:13:32 -07:00
Ian A. Mason
6b8707d5de Added version reporting to gsanity-check, and added as much error checking 
as I could find, and sensibly do.  I used

https://github.com/alecthomas/gometalinter

as a tool which seemed quite useful.
 2018-04-18 06:58:47 -07:00
Ian A. Mason
fbbc8e856a Slave to my master: gofmt. 2018-04-17 11:48:35 -07:00
Ian A. Mason
3ea1db0849 Better error reporting if things go pear shaped. 2018-04-17 11:46:22 -07:00
Ian A. Mason
30cc3b22fa whitespace 2018-04-16 15:45:06 -07:00
Ian A. Mason
65122ee2eb SIGSEGV removal. 2018-04-16 15:23:59 -07:00
Ian A. Mason
763672d293 SIGSEGV removal. 2018-04-16 15:21:30 -07:00
Ian A Mason
b40985cee2
Merge pull request #14 from dtzWill/fix/ssse3-and-friends 
parser: recognize ssse3 and sse4{,.1,.2} flags
 2018-04-03 10:07:47 -07:00
Will Dietz
372d8a3357 parser: support -m{,no-}avx2 as well 2018-04-03 08:27:24 -05:00
Will Dietz
9858ec76d3 parser: recognize ssse3 and sse4{,.1,.2} flags 2018-04-02 17:27:50 -05:00
Ian A Mason
ef83222afd
Update README.md 2018-02-09 13:34:08 -08:00
Ian A Mason
f38a421bc3
Update README.md 2018-02-09 11:58:45 -08:00
Ian A. Mason
cbb5e5a820 Clean up. 2018-02-05 20:30:58 -08:00
Ian A. Mason
c077d3cfc8 Makefile gets the flick. 2018-02-05 16:36:09 -08:00
Ian A. Mason
727a32b7d0 simple imports failing in travis. 2018-02-05 16:27:58 -08:00
Ian A. Mason
68ca7fbd4d simple imports failing in travis. 2018-02-05 15:59:25 -08:00
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
d4885c620c Corrected NSF grant number. 2017-08-25 20:49:43 -07:00
Ashish Gehani
f68dadd616 Update README.md 2017-08-25 20:35:18 -07:00
Ashish Gehani
d52cba519e License is BSD. 2017-08-25 16:37:06 -07:00
Ashish Gehani
baadc4c94c Added OCCAM license. 2017-08-25 16:34:03 -07:00
Ian A Mason
bd2d3d1a27 Merge pull request #11 from dtzWill/fix/asm-regexp 
parser.go: Fix regexp used for detecting asm input
 2017-08-12 15:24:46 -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
Ian A Mason
f34b008736 Update README.md 2017-07-14 17:16:19 -07:00
Ian A Mason
a306cc8b79 Update README.md 2017-07-14 17:14:49 -07:00
Ian A Mason
99ea94b50c Update README.md 2017-07-14 17:11:44 -07:00
Ian A Mason
618979f2a5 Update README.md 2017-07-14 17:11:02 -07:00
Ian A Mason
e865d8fa05 Trim README.md. 2017-07-14 17:10:09 -07:00
Ian A. Mason
51720e1461 fix travis to use the new old environment variables. 2017-07-14 10:55:17 -07:00
Loïc Gelle
483f709796 change environment variable names 2017-07-14 10:47:56 -07: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
6c468e583f Update README.md 2017-07-12 15:49:58 -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
2d8c995609 Update README.md 2017-07-12 14:34:09 -07:00
Ian A. Mason
f2e790c277 Merge branch 'master' of https://github.com/SRI-CSL/gllvm 2017-07-11 13:01:53 -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
62cd9318cb Update README.md 2017-07-11 11:30:40 -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