Commit Graph

289 Commits

Author SHA1 Message Date
Ian A Mason
40683f0ab7
Update README.md
`tha` should be `the`
2019-10-23 09:41:13 -07:00
Ian A. Mason
bce21265af Allow for customization under the hood. 2019-10-23 16:27:24 +00:00
Ian A. Mason
0be1e568c2 Elevate failure of the segment addition process to a warning, why isn't it an error... 2019-10-23 14:35:38 +00:00
Ian A. Mason
0a188e2de8 nodejs example with the extra baggage of the gist. 2019-10-23 13:29:11 +00:00
Ian A. Mason
cba433a89f race tests can take a long time. 2019-10-22 17:56:42 +00:00
Ian A. Mason
3a57e247a0 Futzing insidee the vagrant box. 2019-10-22 17:53:26 +00:00
Ian A. Mason
3c7ad06857 Futzing insidee the vagrant box. 2019-10-22 17:52:39 +00:00
Ian A. Mason
052d1d18f6 Futzing insidee the vagrant box. 2019-10-22 17:47:34 +00:00
Ian A.Mason
a8305d0094 issue #31 plus continued race detection stuff, II. 2019-10-22 06:41:44 -07:00
Ian A.Mason
fc48468746 issue #31 plus continued race detection stuff. 2019-10-22 06:38:16 -07:00
Ian A.Mason
64ececee96 Preparing to stress the race detector. 2019-10-21 09:13:24 -07:00
Ian A.Mason
8e330f2e72 Looking for data races. 2019-10-20 13:42:26 -07:00
Ian A Mason
dd941cd29b
Update README.md
Indication of where all the documentation lies.
2019-08-26 16:20:34 -07:00
Ian A. Mason
502ac0f05f Fix for #26, so I can close it. 2019-08-26 14:03:18 -07:00
Ian A. Mason
bda594ddbe httping example. 2019-07-30 15:41:17 -07:00
Ian A. Mason
fe8fbc063e openssl example. 2019-07-30 14:42:30 -07:00
Ian A. Mason
ed763b58cb httpd and family get the cobwebs dusted off. 2019-07-30 14:13:58 -07:00
Ian A. Mason
3c6c9d2cf8 binutils example 2019-07-30 08:04:36 -07:00
Ian A. Mason
3e5f463646 bzip2 joins the ranks of the examples. 2019-07-29 16:47:56 -07:00
Ian A. Mason
8fc18595bc Merge branch 'master' of https://github.com/SRI-CSL/gllvm 2019-07-29 16:39:09 -07:00
Ian A. Mason
a71109d5a9 Updating the examples to include the recent set. 2019-07-29 16:39:02 -07:00
Ian A. Mason
465f5d88be The midas touch. Not. 2019-07-29 16:30:40 -07:00
Ian A. Mason
2ac8c3faae Looks like I broke things. 2019-07-29 16:26:30 -07:00
Ian A. Mason
dd2cde4454 issue #30 (letting travis test it) 2019-07-25 13:12:23 -07:00
Ian A. Mason
911a9312a3 Ooops forgot to update the version 2019-07-03 06:39:16 -07:00
Ian A. Mason
a973a87115 Issue #84 over at travitch's place. 2019-06-18 11:13:49 -07:00
Ian A. Mason
701b08be70 Keeping ahead(?) of wllvm. 2019-06-12 06:47:57 -07:00
Ian A. Mason
6f73c2a34b whitespace. 2019-06-10 14:02:36 -07:00
Ian A Mason
dfa35831ac
Update README.md 2019-06-10 13:59:48 -07:00
Ian A Mason
f9891c0fe7
Update README.md
Corrections to the under the hood yada yada.
2019-06-10 13:54:51 -07:00
Ian A. Mason
d7da603429 Added some details about whats under the hood of both wllvm, and gllvm. 2019-06-10 13:47:18 -07:00
Ian A. Mason
fcb3406452 -fopenmp added as a link and compile flag. 2019-02-11 07:12:50 -08:00
Ian A Mason
46525c3ffa
Update README.md
A license badge.
2019-01-05 08:14:38 -08:00
Ian A. Mason
e19027f459 Cleanup. 2019-01-04 11:39:44 -08:00
Ian A. Mason
d7314dd3d4 pattern matching done in a fixed order to make sure the right one matches first. 2019-01-04 10:38:25 -08:00
Ian A. Mason
6fa871fa6c binary --sysroot variant. 2019-01-03 12:41:31 -08:00
Ian A. Mason
df3a1a7b5f Issue #25 2019-01-02 13:21:08 -08:00
Ian A. Mason
68123001a8 Issue #23 2019-01-02 11:43:48 -08:00
Ian A. Mason
d52f38ce03 Merge branch 'master' of https://github.com/SRI-CSL/gllvm 2018-08-06 15:10:40 -07:00
Ian A. Mason
ea6becdfd7 keeping gofmt happy. 2018-08-06 15:10:30 -07:00
Ian A Mason
b94c551e51
Update tutorial-ubuntu-16.04.md 2018-08-06 09:59:07 -07:00
Ian A. Mason
3de212139a Warn rather than fail if the .o comes from, say assembly. 2018-08-06 09:43:38 -07:00
Ian A Mason
61a5de2894
Update tutorial-ubuntu-16.04.md 2018-08-03 14:03:56 -07:00
Ian A Mason
e5eb1c0973
Update tutorial-ubuntu-16.04.md
The export-dynamic fix.
2018-08-03 14:03:33 -07:00
Ian A. Mason
cc516e9f23 Sytax error. 2018-06-22 07:17:17 -07:00
Ian A. Mason
9567f3a6bc The usual travis pain. 2018-06-22 07:04:04 -07:00
Ian A. Mason
7e21dd816d Forgot the verbose switch. 2018-06-22 06:42:18 -07:00
Ian A. Mason
1e74a073d9 See if there is an llvm bottle available yet. 2018-06-22 06:41:17 -07:00
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