Commit Graph

399 Commits

Author SHA1 Message Date
Gleb Popov
4dae7fb34a
Also LogDebug() the command line being run in runCmd() 2019-10-25 21:23:18 +04:00
Ian A Mason
802745f6a5
Update README.md 2019-10-25 10:22:53 -07:00
Ian A Mason
31809002e2
Update README.md
Futzing while waiting for a compile to finish.
2019-10-25 10:13:20 -07:00
Ian A Mason
b09494b393
Update README.md
Formatting ...
2019-10-25 09:50:28 -07:00
Ian A.Mason
48410d1c0f A picture is worth a Megaword. 2019-10-25 09:48:48 -07:00
Ian A.Mason
86d04ac4e4 Cleaning up the extraction arg parsing, with the aim to parse something other than os.Args 2019-10-25 09:27:32 -07:00
Ian A. Mason
321c44cfee Merge branch 'master' of https://github.com/SRI-CSL/gllvm 2019-10-23 19:03:24 +00:00
Ian A. Mason
21a9a3a3c7 Prepping a new release. 2019-10-23 19:03:01 +00:00
Ian A Mason
4ffd7d4646
Update README.md
Add a plug for `gsanity-check`.
2019-10-23 10:41:47 -07:00
Ian A. Mason
8abc459f9a Turn off replay mode; didn't pan out unfortunately. 2019-10-23 16:55:52 +00:00
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