COMMITS
October 30, 2024
Y
Fix compiling unreachable integer patterns
Yorick Peterse committed
Y
Fix some Clippy warnings
Yorick Peterse committed
February 2, 2024
Y
Fix expanding OR patterns
Yorick Peterse committed
October 22, 2023
Y
Fix a few clippy warnings
Yorick Peterse committed
Y
Simplify move_variable_patterns
Yorick Peterse committed
Y
Remove redundant branch_variable() argument
Yorick Peterse committed
October 21, 2023
Y
Rename the Variable pattern to Binding
Yorick Peterse committed
Y
Set the resolver workspace-wide
Yorick Peterse committed
March 16, 2023
Y
Set up GitHub Actions
Yorick Peterse committed
July 1, 2022
M
Update README.md: Fix link
Mathnerd314 committed
June 18, 2022
Y
Fix compiling int and guard patterns
Yorick Peterse committed
Y
Use similar_asserts in jacobs2021
Yorick Peterse committed
June 1, 2022
Y
Optimise compiling of guards
Yorick Peterse committed
May 31, 2022
Y
Check for missing patterns in guard tests
Yorick Peterse committed
Y
Add extra test for pattern guards
Yorick Peterse committed
Y
Remove useless into() conversion
Yorick Peterse committed
Y
Implement "How to compile pattern matching"
Yorick Peterse committed
May 26, 2022
Y
Add support for field patterns
Yorick Peterse committed
Y
Add tests for constructors with span=0
Yorick Peterse committed
Y
Add wildcard support
Yorick Peterse committed
Y
Make bindings explicit in the decision tree
Yorick Peterse committed
May 25, 2022
Y
Rename a few variables and methods
Yorick Peterse committed
Y
Fix incorrect test name
Yorick Peterse committed
Y
Add another Maranget link
Yorick Peterse committed
Y
Add two more links about the Maranget paper
Yorick Peterse committed
Y
Add an idiomatic implementation of sestoft1996
Yorick Peterse committed
May 24, 2022
Y
Add MLKit link
Yorick Peterse committed
Y
Add some more tests to the raw sestoft1996 code
Yorick Peterse committed
Y
Add more links to the sestoft1996 README
Yorick Peterse committed
Y
Add more links about the space algorithm
Yorick Peterse committed