2 Commits

Author	SHA1	Message	Date
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