Commit Graph

324 Commits

Author SHA1 Message Date
William Woodruff
3a0cea8f37
extractor: Fix success shadowing 2020-08-04 09:43:46 -04:00
William Woodruff
eb5c783f2c
extractor: Fix other assigns 2020-08-03 16:55:38 -04:00
William Woodruff
6ca36df5db
extractor: Fix Extractor signature 2020-08-03 16:46:52 -04:00
William Woodruff
3d3264fd14
extractor: Make extraction errors fatal 2020-08-03 16:41:28 -04:00
Ian A.Mason
8110c3fb00 CI wild goose chase, III 2020-07-13 13:33:45 -07:00
Ian A.Mason
36f9b67dbf CI wild goose chase, II 2020-07-13 13:28:22 -07:00
Ian A.Mason
fc0eb55439 CI wild goose chase, I 2020-07-13 12:37:05 -07:00
Ian A.Mason
4958703d80 Omit the CI on OSX until I can work up the energy to see why brew install llvm fails. 2020-07-13 12:29:29 -07:00
Ian A.Mason
13eaad39ad Spring clean the makefile. 2020-07-13 11:40:59 -07:00
Ian A. Mason
02ea4c5218 Complaints from the peanut gallery. 2020-03-24 12:55:59 -07:00
Ian A. Mason
27ff069bcb gofmt tweaks. 2020-03-24 12:38:09 -07:00
Ian A. Mason
e5869c7444 LLVM_BITCODE_GENERATION_FLAGS feature. 2020-03-24 12:36:16 -07:00
Ian A. Mason
a25ce9cfb9 touch could be a useful test. 2019-10-31 19:36:49 +00:00
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