Commit Graph

361 Commits

Author SHA1 Message Date
Ian A. Mason
f464fcac22 Keep the formating gods at bay (or PG&E will not restore my power) 2019-10-28 20:47:17 +00:00
Ian A Mason
28f0ce31f2
Update README.md
Typo.
2019-10-28 13:29:51 -07:00
Ian A. Mason
16f126b631 The README is now self contained (maybe). 2019-10-28 20:27:48 +00:00
Ian A. Mason
432a6ca326 Warming to the task of no longer relying on wllvm documentation. 2019-10-28 16:57:12 +00:00
Ian A. Mason
5b1c1b2752 testing the cmd switches and environment settings. 2019-10-28 14:38:49 +00:00
Ian A. Mason
58744e5ae2 Purge of LogFatal complete; some (success bool) codes not checked yet, mainly in the bitcode attaching process 2019-10-26 16:47:47 +00:00
Ian A. Mason
fa20b6410c Slowly remove the ugly LogFatal in favor of exitCodes 2019-10-26 01:53:45 +00:00
Ian A. Mason
ef77e255a8 Still futzing with the Extract method... 2019-10-26 00:37:23 +00:00
Ian A. Mason
bd88b14e25 Actually use the args slice passes to shared.Extract 2019-10-25 20:22:52 +00:00
Ian A. Mason
4c6313089a Adding some text to the sanity checker, so I can cut and paste when I forget the env vars. 2019-10-25 17:42:55 +00:00
Ian A. Mason
6fe574a965 Makefile for the absent minded. 2019-10-25 17:30:58 +00:00
Ian A Mason
037a8b22d0
Merge pull request #32 from arrowd/patch-2
Also LogDebug() the command line being run in runCmd()
2019-10-25 10:25:24 -07:00
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