gllvm/ians-notes.txt

To edit the code locally use the repository here:

~/go/src/github.com/SRI-CSL/gllvm

Then do:

go install github.com/SRI-CSL/gllvm/cmd/...


For keeping up with the Jones:

clang -cc1 --help

https://clang.llvm.org/docs/ClangCommandLineReference.html

For fretting about race conditions:

go build -race cmd
Issue #13 and a SIGSEGV issue. 2018-02-06 00:23:04 +01:00			`To edit the code locally use the repository here:`

			`~/go/src/github.com/SRI-CSL/gllvm`

			`Then do:`

Better error reporting if things go pear shaped. 2018-04-17 20:46:22 +02:00			`go install github.com/SRI-CSL/gllvm/cmd/...`
Makefile gets the flick. 2018-02-06 01:36:09 +01:00

References for cmd line options. 2018-05-14 15:25:08 +02:00			`For keeping up with the Jones:`

			`clang -cc1 --help`

			`https://clang.llvm.org/docs/ClangCommandLineReference.html`
Looking for data races. 2019-10-20 22:42:26 +02:00
			`For fretting about race conditions:`

			`go build -race cmd`