Commit Graph

385 Commits

Author SHA1 Message Date
Ian A. Mason
fddb064c5e Merge branch 'master' of https://github.com/SRI-CSL/gllvm 2018-06-11 15:06:54 -07:00
Ian A. Mason
f2637f6887 archaic flag added. 2018-06-11 15:05:58 -07:00
paul-naert
d71af4e683
Update README.md 2018-06-05 10:30:08 -07:00
Ian A. Mason
fa41b231ea Wrong switches to get-bc in the musllvm.sh script. 2018-06-05 09:45:12 -07:00
Ian A. Mason
8dd733fe62 See if we can build musl in the linux side of things too. 2018-06-05 09:38:59 -07:00
Ian A. Mason
1b784a4351 multi-os travis CI (and the Makefile's contents, aye curumba) 2018-06-04 14:19:09 -07:00
Ian A. Mason
acf06bc71b multi-os travis CI (and add the Makefile :-) ) 2018-06-04 13:56:04 -07:00
Ian A. Mason
6478d659aa multi-os travis CI (need to make forgotten script executable) 2018-06-04 13:45:06 -07:00
Ian A. Mason
44abca0719 multi-os travis CI (oopsy forgot a script) 2018-06-04 13:41:21 -07:00
Ian A. Mason
4a25691b8d multi-os travis CI 2018-06-04 13:37:03 -07:00
Ian A. Mason
778414f628 linting ... 2018-06-01 06:26:59 -07:00
Ian A. Mason
9cb7a2f944 Merge branch 'master' of https://github.com/SRI-CSL/gllvm 2018-05-25 16:49:58 -07:00
Ian A. Mason
3f70cff193 Another recipe for mayhem, III. 2018-05-25 16:49:52 -07:00
paul-naert
44c95b05dc
added mention to built-in-parsing.py 2018-05-25 16:36:16 -07:00
Ian A. Mason
4d6bf2f52b Merge branch 'master' of https://github.com/SRI-CSL/gllvm 2018-05-25 16:05:13 -07:00
paul-naert
78c71852be fixed built-in-parsing 2018-05-25 16:03:58 -07:00
Ian A. Mason
cd8022e385 Another recipe for mayhem, II. 2018-05-25 15:34:33 -07:00
paul-naert
4b7c2e9ec9 added comments for built-in-parsing 2018-05-25 15:33:26 -07:00
paul-naert
72a23e90a6 Merge branch 'master' of https://github.com/SRI-CSL/gllvm
Added the script-writing script
2018-05-25 15:30:31 -07:00
paul-naert
607e015579 added script-writing script 2018-05-25 15:30:22 -07:00
Ian A. Mason
87b55c28f9 Another recipe for mayhem. 2018-05-25 14:59:56 -07:00
Ian A. Mason
08903954e1 Various fixes, including one for the dead_strip issue. Issue #22. 2018-05-24 17:41:49 -07:00
Ian A. Mason
339814df28 Tweaks to the linux kernel example. 2018-05-23 16:48:09 -07:00
Ian A. Mason
de2ce5c5db Tweaks to the linux kernel example. 2018-05-23 16:47:37 -07:00
paul-naert
39dae1cc3f
Update bootstrap.sh 2018-05-23 16:07:48 -07:00
Ian A Mason
19202b7ef6
Update README.md 2018-05-23 16:05:09 -07:00
Ian A Mason
e65f41c4e7
Update README.md 2018-05-23 15:23:24 -07:00
Ian A Mason
27e7b5c32c
Merge pull request #21 from SRI-CSL/linux-kernel-bootable
Linux kernel bootable
2018-05-23 15:09:05 -07:00
Ian A. Mason
5f307cc3da Merge branch 'master' of https://github.com/SRI-CSL/gllvm 2018-05-23 14:31:45 -07:00
Ian A. Mason
902330e14d Add the apache and libraries example. 2018-05-23 14:31:37 -07:00
Ian A. Mason
c409287076 libcurl.a on Darwin reveals a couple of ugly bugs. 2018-05-23 10:18:48 -07:00
Ian A. Mason
34e9e55f21 cmd parser additions from curl. 2018-05-23 07:28:43 -07:00
Ian A. Mason
ee940a6a22 cmd parser additions from curl. 2018-05-23 07:14:20 -07:00
paul-naert
8b97bdc043
No kernel boot 2018-05-22 17:55:28 -07:00
paul-naert
8597b8247a
No support for kernel booting 2018-05-22 17:53:14 -07:00
paul-naert
095b950cfd
Corrected wrong folder name 2018-05-22 17:20:00 -07:00
paul-naert
83648fcbba
Updated README
Deleted an unnecessary sentence
2018-05-22 17:18:37 -07:00
paul-naert
9a9d32a620
Added install-kernel script 2018-05-22 17:16:53 -07:00
paul-naert
991edff16f
corrected the name of build_linux_gllvm_tarball
corrected the name of build_linux_gllvm_tarball to avoid confusion
2018-05-22 17:15:53 -07:00
paul-naert
95e123dc93
Updated Readme to include the bitcode build 2018-05-22 17:07:41 -07:00
paul-naert
d2c65b6564
Build a bootable vmlinux from llvm bitcode 2018-05-22 16:43:53 -07:00
Ian A. Mason
c6e185927d Version bump. Keeping in synch with wllvm. 2018-05-14 11:51:41 -07:00
Ian A. Mason
71774bdad5 References for cmd line options. 2018-05-14 06:25:08 -07:00
Ian A. Mason
da2306f5bc Added the compile and link flag '-fsanitize=' to solve issue #19 2018-05-13 07:42:20 -07:00
Ian A. Mason
a91293a16f Some sort of editing fiasco. 2018-05-11 07:30:19 -07:00
Ian A. Mason
aef2810c0c Some procedural abstraction and clean up. 2018-05-11 07:15:42 -07:00
Ian A. Mason
d2b8ffddee Some procedural abstraction and clean up. 2018-05-11 07:14:37 -07:00
Ian A. Mason
4eadb3c7d1 Some procedural abstraction and clean up. 2018-05-11 07:13:13 -07:00
Ian A. Mason
00420e9a95 Gatta keep the grades up. 2018-05-10 18:26:53 -07:00
Ian A. Mason
f497d4dee4 Linting with gometalinter.v2 ./... 2018-05-10 16:25:44 -07:00