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 |
|
Ian A. Mason
|
bf660e0b3d
|
Ooops.
|
2018-05-04 06:52:40 -07:00 |
|
Ian A. Mason
|
8a6e56d02d
|
conflict fix.
|
2018-05-04 06:48:47 -07:00 |
|
Ian A. Mason
|
3c97379cd6
|
Error message tweak.
|
2018-05-04 06:47:18 -07:00 |
|
Ian A. Mason
|
03c826cd15
|
linux kernel recipe. still has problems on the first attempt.
|
2018-05-03 15:37:35 -07:00 |
|
Ian A. Mason
|
de98afc950
|
gsanity-check gets a -e swith to print what it thinks the environment looks like.
|
2018-05-02 15:59:34 -07:00 |
|
Ian A. Mason
|
a64a1b5463
|
Merge branch 'master' of https://github.com/SRI-CSL/gllvm
|
2018-05-02 14:16:09 -07:00 |
|
Ian A. Mason
|
52b45c47e6
|
Spelling bee time.
|
2018-05-02 14:16:03 -07:00 |
|
Ian A Mason
|
49e9bb1489
|
Update README.md
|
2018-05-02 13:07:16 -07:00 |
|
Ian A. Mason
|
b51e738821
|
Merge branch 'master' of https://github.com/SRI-CSL/gllvm
|
2018-05-02 13:05:31 -07:00 |
|
Ian A. Mason
|
cda95a488d
|
Handles archives better. Flag for sorting bitcode files. Linux Kernel work.
|
2018-05-02 13:05:24 -07:00 |
|
Ian A Mason
|
96329fb0bf
|
Update README.md
|
2018-05-02 06:27:08 -07:00 |
|