Add flint linter - #10

Draft

pbartholomew08 wants to merge 6 commits into

mainfrom

Commits on Mar 16, 2023

Add basic flint config
pbartholomew08
committed
db5cef4
Some cleanup of basic flint config
pbartholomew08
committed
a719577
Comment out space around parentheses flint rules
pbartholomew08
committed
adee199
Fix flint false positive for comments
pbartholomew08
committed
34f0072
Don't check for AVBP precision in flint
pbartholomew08
committed
9a0b40f
Make a lint script to run flint
pbartholomew08
committed
9b5f825