Ian A. Mason
|
da2306f5bc
|
Added the compile and link flag '-fsanitize=' to solve issue #19
|
2018-05-13 07:42:20 -07:00 |
|
Ian A. Mason
|
a91293a16f
|
Some sort of editing fiasco.
|
2018-05-11 07:30:19 -07:00 |
|
Ian A. Mason
|
aef2810c0c
|
Some procedural abstraction and clean up.
|
2018-05-11 07:15:42 -07:00 |
|
Ian A. Mason
|
d2b8ffddee
|
Some procedural abstraction and clean up.
|
2018-05-11 07:14:37 -07:00 |
|
Ian A. Mason
|
4eadb3c7d1
|
Some procedural abstraction and clean up.
|
2018-05-11 07:13:13 -07:00 |
|
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
|
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
|
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
|
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
|
52b45c47e6
|
Spelling bee time.
|
2018-05-02 14:16:03 -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
|
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 |
|
Ian A. Mason
|
72ed099005
|
Trying to unify the behavior of wllvm and gllvm when compiling the linux kernel.
|
2018-04-24 14:50:58 -07:00 |
|
Ian A. Mason
|
18b65a053a
|
Trying to unify the behavior of wllvm and gllvm when compiling the linux kernel.
|
2018-04-24 12:13:12 -07:00 |
|
Ian A. Mason
|
6b8707d5de
|
Added version reporting to gsanity-check, and added as much error checking
as I could find, and sensibly do. I used
https://github.com/alecthomas/gometalinter
as a tool which seemed quite useful.
|
2018-04-18 06:58:47 -07:00 |
|
Ian A. Mason
|
fbbc8e856a
|
Slave to my master: gofmt.
|
2018-04-17 11:48:35 -07:00 |
|
Ian A. Mason
|
3ea1db0849
|
Better error reporting if things go pear shaped.
|
2018-04-17 11:46:22 -07:00 |
|
Ian A. Mason
|
30cc3b22fa
|
whitespace
|
2018-04-16 15:45:06 -07:00 |
|
Ian A. Mason
|
65122ee2eb
|
SIGSEGV removal.
|
2018-04-16 15:23:59 -07:00 |
|
Ian A. Mason
|
763672d293
|
SIGSEGV removal.
|
2018-04-16 15:21:30 -07:00 |
|
Will Dietz
|
372d8a3357
|
parser: support -m{,no-}avx2 as well
|
2018-04-03 08:27:24 -05:00 |
|
Will Dietz
|
9858ec76d3
|
parser: recognize ssse3 and sse4{,.1,.2} flags
|
2018-04-02 17:27:50 -05:00 |
|
Ian A. Mason
|
cbb5e5a820
|
Clean up.
|
2018-02-05 20:30:58 -08:00 |
|
Ian A. Mason
|
7905f2e122
|
I am a slave to gofmt.
|
2018-02-05 15:27:50 -08:00 |
|
Ian A. Mason
|
3fc0008125
|
Issue #13 and a SIGSEGV issue.
|
2018-02-05 15:23:04 -08:00 |
|
Ashish Gehani
|
baadc4c94c
|
Added OCCAM license.
|
2017-08-25 16:34:03 -07:00 |
|
Will Dietz
|
fa57387ac6
|
parser.go: Fix regexp used for detecting asm input
|
2017-08-12 12:23:57 -05:00 |
|
Ian A Mason
|
c4fbe60c85
|
Cleaned up the skipping second phase code.
|
2017-07-24 09:22:58 -07:00 |
|
Ian A Mason
|
026fc69d24
|
Fix the order of the arguments in the linking step.
|
2017-07-24 06:53:49 -07:00 |
|
Ian A Mason
|
8545a49940
|
Instrument the fork execs so we can wee what is being done (in DEBUG mode).
|
2017-07-21 13:38:52 -07:00 |
|
Ian A Mason
|
0d90b36a56
|
Getting the two phase logic right (perhaps), concurrency complicates
|
2017-07-21 11:02:42 -07:00 |
|
Ian A Mason
|
7d6907d408
|
LogFatal is a bad idea... Still have yices configure issues. But ...
|
2017-07-21 10:23:23 -07:00 |
|
Ian A. Mason
|
c0740ce4a7
|
Prevemt gsanity insanity.
|
2017-07-20 16:11:44 -07:00 |
|
Loïc Gelle
|
483f709796
|
change environment variable names
|
2017-07-14 10:47:56 -07:00 |
|
Ian A. Mason
|
37af8fee67
|
make sure gsanity-check returns an informative exit code, so we can rely on it in tests.
|
2017-07-13 08:57:15 -07:00 |
|
Ian A. Mason
|
ff3f76acd0
|
neatness is next to godliness (said someone with OCD)
|
2017-07-11 13:01:46 -07:00 |
|
Ian A. Mason
|
7629fa220a
|
Finished the sanity checker. Getting ready to revert to a uniform API with wllvm. Maybe via the issue mechanism.
|
2017-07-11 10:52:05 -07:00 |
|
Ian A. Mason
|
4ff5865d27
|
stylistic changes, plus still need to track down the SIGSEGV in the llvm-link.
|
2017-07-10 13:11:46 -07:00 |
|
Ian A. Mason
|
7f88d84b23
|
sanity checker ported too.
|
2017-07-10 13:01:21 -07:00 |
|
Ian A. Mason
|
7962ec6e99
|
Still have to figure out how to pass -s to the emacs go-mode hook.
|
2017-07-05 17:48:40 -07:00 |
|
Ian A. Mason
|
562983793a
|
Documenting the exported routines.
|
2017-07-05 17:42:55 -07:00 |
|
Loïc Gelle
|
0cf14152fe
|
fix print only case
|
2017-07-05 12:52:06 -07:00 |
|
Ian A. Mason
|
09ffb6d8e4
|
Don't do extra work if the first phase failed.
|
2017-07-05 11:25:20 -07:00 |
|
Ian A. Mason
|
c68cb2ed5a
|
Simplifying(?) the archiver and linker logic in 'get-bc'
|
2017-07-05 11:10:32 -07:00 |
|
Ian A. Mason
|
f75508a3a2
|
Now we use go's flags to parse the 'get-bc' command line. Not really impressed with flags. No long forms.
|
2017-07-05 11:00:07 -07:00 |
|
Ian A. Mason
|
16cddf6fc9
|
Wonderful (not) adventures in multi-binary go projects.
|
2017-07-05 08:14:11 -07:00 |
|