3 Commits

Author	SHA1	Message	Date
Radosław Kapka	fe9921457c	Fix failing static analyzer tests (#7363) ... * add "want" expectations * add build step with analyzer tests * add colon to yml * Merge refs/heads/master into fix-analyzer-test-expectations * Merge refs/heads/master into fix-analyzer-test-expectations * Merge refs/heads/master into fix-analyzer-test-expectations * Merge refs/heads/master into fix-analyzer-test-expectations * remove tests from CI * readme file * change header size	2020-09-29 11:29:40 +00:00
Radosław Kapka	e1cd9143e0	Package-level comments for static analyzers (#7332) ... * package-level comments * Merge refs/heads/master into analyzer-package-comments	2020-09-24 10:25:55 +00:00
Radosław Kapka	a2cf235687	No-op Instruction analyzer (#7249) ... * analyzer, tests and fixes * error check * gazelle * add more asserts * Merge branch 'master' into nop-analyzer * Merge refs/heads/master into nop-analyzer * fix no-op in blst package * Merge refs/heads/master into nop-analyzer * add assert after mutation * mark test as TODO * add issue number to TODO	2020-09-17 16:18:19 +00:00