Stars
0
Forks
0
Watchers
0
Open Issues
0
Overall repository health assessment
No package.json found
This might not be a Node.js project
configure: remove old code, make llvm-config lookup more flexible, set to Python3, remove trailing whitespace
7862d6fView on GitHubGitHub Action: update LLVM/GTEST/Z3 versions, remove redundant steps
ca2c30bView on GitHubswitch to https; fallback to curl when wget not available
9351bdcView on GitHubCorrecting use of 'lookForNew' and some rudimentary code tidying in 'configure'
2a20e06View on GitHubAdd a message when the bitcode compiler is specified via CC, to help diagnose cases in which CC does not point to a valid bitcode compiler.
95bff34View on GitHubMerge pull request #25 from MartinNowack/fix_32bit_detection
8ccd74cView on GitHub