Commit Graph

187 Commits

Author SHA1 Message Date
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
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
Ian A. Mason
591b65316f Birthing some examples. Starting with a biggie. 2018-04-30 09:58:19 -07:00
Ian A. Mason
7755cdabb9 Version bump 2018-04-28 09:32:06 -07:00
Ian A. Mason
b4345b3c03 Added a -s switch to sort the manifest. Default is unsorted. 2018-04-28 09:23:55 -07:00
Ian A. Mason
2b5e00b549 whitespace, for my sake. 2018-04-27 19:32:33 -07:00
Ian A. Mason
e565e33714 whitespace, again for my GPA. 2018-04-27 19:30:55 -07:00
Ian A. Mason
114f1e8ed4 reduce cyclomatic complexity for my GPA. Sucks. 2018-04-27 19:29:45 -07:00
Ian A. Mason
0c39531dd6 Handle thin archives directly without using a buggy(?) conversion script. 2018-04-27 18:31:38 -07:00
Ian A. Mason
142f82df38 gllvm and wllvm agree when compiling the linux kernel. 2018-04-25 14:05:52 -07:00
Ian A. Mason
81a664f9f0 gllvm and wllvm agree when compiling the linux kernel. 2018-04-25 14:05:45 -07:00