Commit Graph

8 Commits

Author SHA1 Message Date
Quinn Dougherty
8b83c9ec84 CR pass thru; cleanup; no more scientific notation 2022-04-20 14:55:14 -04:00
Quinn Dougherty
9f35039b60 second pass; one CR comment 2022-04-20 13:41:22 -04:00
Quinn Dougherty
9cdffc309b functions reference is almost done 2022-04-20 12:09:57 -04:00
Quinn Dougherty
76a0f254ea removed pull request trigger from codeql analysis 2022-04-20 11:55:56 -04:00
8cb689e661 fix: style 2022-04-14 16:38:12 -04:00
bd3f2c99d1 tweak: add explanation for magic number 2022-04-14 16:25:15 -04:00
Quinn Dougherty
6ffe2d4f34 cleaned up README and ran yarn format 2022-04-13 14:57:01 -04:00
Quinn Dougherty
b0cf8adb9f migrated invariants.md to docusaurus 2022-04-13 14:46:01 -04:00