Commit Graph

51 Commits

Author SHA1 Message Date
paul-naert
647321eea7
deleted backslash before @ 2018-06-15 16:25:32 -07:00
paul-naert
c9640d87cc
Update README.md 2018-06-14 17:46:35 -07:00
paul-naert
e4a965fd03
Corrected built-in-parsing.py 2018-06-14 17:45:43 -07:00
paul-naert
22ca10378c
Updated description for bi-parsing 2018-06-14 17:41:07 -07:00
paul-naert
92ebd42471
Update README.md
Issue with line finish on NB
2018-06-14 11:22:56 -07:00
paul-naert
cc5d2aaf16
Update README.md
Added info on VLAIS in modules
2018-06-14 11:22:10 -07:00
paul-naert
d71af4e683
Update README.md 2018-06-05 10:30:08 -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
de2ce5c5db Tweaks to the linux kernel example. 2018-05-23 16:47:37 -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
902330e14d Add the apache and libraries example. 2018-05-23 14:31:37 -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
da2306f5bc Added the compile and link flag '-fsanitize=' to solve issue #19 2018-05-13 07:42:20 -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
03c826cd15 linux kernel recipe. still has problems on the first attempt. 2018-05-03 15:37:35 -07:00
Ian A Mason
49e9bb1489
Update README.md 2018-05-02 13:07:16 -07:00
paul-naert
ea7f12b4bb
Update README.md 2018-04-30 16:44:58 -07:00
Ian A Mason
888bb5031d
Update README.md 2018-04-30 16:43:08 -07:00
Ian A Mason
e9ec812391
Update README.md 2018-04-30 13:47:38 -07:00
Ian A. Mason
e965ed916c A start, to be filled out, in the next day or so. 2018-04-30 13:31:21 -07:00
Ian A Mason
367a02143e
Update README.md 2018-04-30 10:42:25 -07:00
Ian A Mason
e7180a76b5
Update README.md 2018-04-30 10:39:02 -07:00