Commit 2024-01-15 00:29 e3495242

View on Github →

feat: add lake exe shake tree shaking tool (#9346) This adds the lake exe shake command, which will check that every import is used in some constant. This has some known false positives because dependencies on notations and tactics are not tracked, so the noshake.json file is used to indicate that a file should always be treated as used, or that specific imports in specific files are treated as used.

Estimated changes

added structure Args
added def Edits.add
added def Edits.remove
added def Edits
added structure ShakeCfg
added structure State
added def calcNeeds
added def help
added def main
added def toBitset
added def visitModule