admin/SRI-CSL-gllvm
1
0
Fork 0
mirror of https://github.com/SRI-CSL/gllvm synced 2026-06-08 12:28:35 +00:00
Code Issues Packages Projects Releases Wiki Activity
418 Commits 2 Branches 13 Tags
master
Commit Graph

5 Commits

Author SHA1 Message Date
Ian A. Mason de2ce5c5db Tweaks to the linux kernel example. 2018-05-23 16:47:37 -07:00
paul-naert d2c65b6564 Build a bootable vmlinux from llvm bitcode 2018-05-22 16:43:53 -07:00
Ian A. Mason 6ace083d21 Beter build from tarballs. 2018-05-07 09:41:38 -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 591b65316f Birthing some examples. Starting with a biggie. 2018-04-30 09:58:19 -07:00