Commit Graph

213 Commits

Author SHA1 Message Date
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
Ian A Mason
b018a39fa1
Merge pull request #18 from SRI-CSL/fix_command_line_overflow
Command line too large fix
2018-05-10 16:07:12 -07:00
Paul Naert
daf09cd75e added -n option for setting arg size and -t option for keeping temporary files 2018-05-10 15:55:46 -07:00
Paul Naert
3c8bf6aa47 command_line_overflow_fix cleaned 2018-05-10 14:35:24 -07:00
Paul Naert
32cb46a01d command_line_overflow_fix 2018-05-10 14:30:22 -07:00
Paul Naert
34014a65af extractor modification 2018-05-10 13:44:59 -07:00
Ian A. Mason
288f8dbfcd Fix resolveTool logic. 2018-05-09 14:57:10 -07:00
Ian A. Mason
c69bace9eb Issue #17 procedural abstraction. 2018-05-09 14:21:17 -07:00
Ian A. Mason
307ea19e10 Fix for issue #17. 2018-05-09 07:07:56 -07:00
Ian A. Mason
3664f27aff 16.04 ubuntu apache turorial gets cleaned up. 2018-05-08 15:43:34 -07:00
Ian A Mason
1b14783351
Update tutorial-ubuntu-16.04.md 2018-05-08 15:29:19 -07:00
Ian A Mason
6e88f5375a
Update tutorial-ubuntu-16.04.md 2018-05-08 15:25:37 -07:00
Ian A. Mason
49578305ef Fixed some wierdness uncovered by llvm-3.4 bad behavior. Plus puffed out the apache 14.0 tutorial a bit. 2018-05-08 15:11:42 -07:00
Ian A Mason
a2fff80cfe
Update tutorial.md 2018-05-08 10:57:37 -07:00
Ian A. Mason
a850288f64 Comparison... 2018-05-07 11:34:36 -07:00
Ian A Mason
591da78e20
Update README.md 2018-05-07 09:58:38 -07:00
Ian A. Mason
9648083167 README.md tweaks. 2018-05-07 09:56:48 -07:00
Ian A. Mason
6ace083d21 Beter build from tarballs. 2018-05-07 09:41:38 -07:00
Ian A. Mason
1184fe0a56 Building from tarballs seems more reliable and easier. 2018-05-07 09:29:31 -07:00
Ian A. Mason
6a7f027e99 Just some more flags... really need to do this more systematically. 2018-05-04 14:25:44 -07:00
Ian A. Mason
bd296e284d Get rid of the logging sensitivity of gsanity-check 2018-05-04 13:28:48 -07:00
Ian A. Mason
ba04960330 What did I do wrong? Both wllvm and gllvm version files are out of date. 2018-05-04 12:54:28 -07:00
Ian A. Mason
64c163f06f What did I do wrong? Both wllvm and gllvm version files are out of date. 2018-05-04 12:53:38 -07:00