From f084b36a532ed2f3f013afb5d55c3d3f114ae603 Mon Sep 17 00:00:00 2001 From: Ian A Mason Date: Tue, 4 Aug 2020 20:07:45 -0700 Subject: [PATCH] Update ians-notes.txt --- ians-notes.txt | 15 --------------- 1 file changed, 15 deletions(-) diff --git a/ians-notes.txt b/ians-notes.txt index bc6b534..860d651 100644 --- a/ians-notes.txt +++ b/ians-notes.txt @@ -7,21 +7,6 @@ Then do: go install github.com/SRI-CSL/gllvm/cmd/... -To format for the badge: - -gofmt -s -w shared/*.go tests/*.go cmd/*/*.go - - -For linting: - -https://github.com/alecthomas/gometalinter - -brew tap alecthomas/homebrew-tap -brew install gometalinter - -gometalinter ./... - - For keeping up with the Jones: clang -cc1 --help