Commits

History for

Commits on May 7, 2022

WIP SMT
dominikh
committed
WIP SMT stuff
dominikh
committed
staticcheck: recognize more options in JSON tags

dsnet
authored and
dominikh
committed

Commits on May 6, 2022

staticcheck: replace an unnecessary use of PathEnclosingInterval
dominikh
committed

Commits on May 5, 2022

staticcheck: don't chase infinite chain of instantiations
dominikh
committed

Commits on Apr 25, 2022

Commits on Apr 20, 2022

Commits on Apr 5, 2022

staticcheck/fakexml: delete dead assignment
dominikh
committed

Commits on Apr 3, 2022

SA4008: change merge behavior to MergeIfAll
dominikh
committed

Commits on Apr 2, 2022

Commits on Apr 1, 2022

SA4023, analysis/facts/typedness: with generics, MakeInterface can return untyped nil
dominikh
committed

Commits on Mar 31, 2022

SA1026, SA5008: don't loop forever when marshaling cyclic pointer type
dominikh
committed

Commits on Mar 30, 2022

staticcheck: apply QF1003 to CheckDeprecated

mdlayher
authored and
dominikh
committed