Case expression exhaustiveness & redundancy checking#1114
Merged
cyrus- merged 170 commits intodevfrom haz3l-case-exhaustivenessMay 19, 2024
+617-54
Commits
Commits on Jul 9, 2023
Commits on Jul 16, 2023
Commits on Jul 21, 2023
Commits on Aug 1, 2023
Commits on Aug 7, 2023
Commits on Aug 16, 2023
Commits on Aug 23, 2023
- committed
Commits on Aug 27, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Sep 10, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Sep 13, 2023
Commits on Sep 14, 2023
Commits on Sep 15, 2023
Commits on Sep 24, 2023
Commits on Sep 25, 2023
Commits on Sep 27, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Sep 29, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Oct 1, 2023
authored andKaran AnandcommittedKaran Anand
Commits on Oct 8, 2023
Commits on Oct 9, 2023
Commits on Oct 14, 2023
- authored andKaran AnandcommittedKaran Anand
- authored andKaran AnandcommittedKaran Anand
- authored andKaran AnandcommittedKaran Anand
- authored andKaran AnandcommittedKaran Anand
- authored andKaran AnandcommittedKaran Anand
Commits on Oct 16, 2023
- authored andKaran AnandcommittedKaran Anand
Commits on Oct 20, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Oct 21, 2023
- committed
- committed
- committed
- committed
- authored
- committed
- authored
- authored andKaran AnandcommittedKaran Anand
Commits on Oct 22, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- authored
Commits on Oct 23, 2023
- committed
- authored
- authored
Merge branch 'haz3l-case-exhaustiveness' of https://github.com/hazelgrove/hazel into haz3l-case-exhaustiveness
committed- authored
Commits on Oct 26, 2023
- committed
- authored
- authored
- authored
- authored
- committed
- authored
Commits on Nov 10, 2023
Commits on Nov 18, 2023
- committed
- committed
- committed
- committed
- authored
- authored
Commits on Nov 19, 2023
Commits on Dec 17, 2023
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 18, 2023
- committed
Commits on Dec 24, 2023
Commits on Dec 25, 2023
Commits on Jan 6, 2024
Commits on Jan 16, 2024
Commits on Jan 18, 2024
- committed
Commits on Feb 10, 2024
Commits on Feb 13, 2024
- committed
- committed
- committed
- authored
- committed
- committed
- committed
- committed
Commits on Apr 14, 2024
- committed
- committed
- committed
- committed
- committed
- committed
Commits on May 4, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on May 5, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed