Commit Graph

7 Commits

Author SHA1 Message Date
Ozzie Gooen
bb85869303 Lots of documentation tweaks 2022-06-12 21:19:28 -07:00
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
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