Commit Graph

20 Commits

Author SHA1 Message Date
Ian A Mason
c917b673cf FreeBSD bug fix (pico extension) 2020-10-30 15:43:40 +00:00
Ian A.Mason
13eaad39ad Spring clean the makefile. 2020-07-13 11:40:59 -07: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
6fe574a965 Makefile for the absent minded. 2019-10-25 17:30:58 +00:00
Ian A. Mason
21a9a3a3c7 Prepping a new release. 2019-10-23 19:03:01 +00:00
Ian A. Mason
cba433a89f race tests can take a long time. 2019-10-22 17:56:42 +00:00
Ian A.Mason
8e330f2e72 Looking for data races. 2019-10-20 13:42:26 -07:00
Ian A. Mason
c077d3cfc8 Makefile gets the flick. 2018-02-05 16:36:09 -08:00
Ian A. Mason
d3a33c59d9 Merge branch 'master' of https://github.com/SRI-CSL/gllvm 2017-07-13 08:57:52 -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
fab3416853 Update Makefile 2017-07-13 07:54:28 -07:00
Ian A. Mason
f66fd9f0fc using ... in the build and install like a go BOSS. 2017-07-12 15:49:39 -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
7f88d84b23 sanity checker ported too. 2017-07-10 13:01:21 -07:00
Ian A. Mason
16cddf6fc9 Wonderful (not) adventures in multi-binary go projects. 2017-07-05 08:14:11 -07:00
Ian A. Mason
70a1cee8fe Makefile fix, and a logFatal to absorb all the occurrences of log.Fatal 2017-06-28 14:03:36 -07:00
Ian A. Mason
00629dadce clean not fussy. 2017-06-27 10:11:19 -07:00
Loic Gelle
722c3536ad change gow prefix to g prefix 2017-06-27 10:09:39 -07:00
Loic Gelle
841cbca3c3 replace shell scripts by symlinks to call tool 2017-06-26 13:08:15 -07:00
Loic Gelle
3c3e014a73 fix non mutable parser result + add installation scripts 2017-06-22 13:02:11 -07:00