GitHub / input-output-hk/equivalence-reasoner issues and pull requests
Labelled with: type: bugfix
#75 - Fix copyright and licensing information
Pull Request -
State: closed - Opened by jeltsch almost 2 years ago
Labels: type: bugfix
#75 - Fix copyright and licensing information
Pull Request -
State: closed - Opened by jeltsch almost 2 years ago
Labels: type: bugfix
#74 - Fix copyright and licensing information
Issue -
State: closed - Opened by jeltsch almost 2 years ago
Labels: type: bugfix
#58 - Replace “subject line” by “title” regarding pull requests
Pull Request -
State: closed - Opened by jeltsch over 3 years ago
Labels: type: bugfix
#56 - Replace “subject line” by “title” regarding pull requests
Issue -
State: closed - Opened by jeltsch over 3 years ago
Labels: type: bugfix
#55 - Switch downloading of other repositories to using `curl`
Pull Request -
State: closed - Opened by jeltsch almost 4 years ago
Labels: type: bugfix
#54 - Switch downloading of other repositories to using `curl`
Issue -
State: closed - Opened by jeltsch almost 4 years ago
Labels: type: bugfix
#53 - Switch automated builds from using `wget` to using `curl`
Pull Request -
State: closed - Opened by jeltsch almost 4 years ago
Labels: type: bugfix
#52 - Switch automated builds from using `wget` to using `curl`
Issue -
State: closed - Opened by jeltsch almost 4 years ago
Labels: type: bugfix
#44 - Switch to Apache 2.0 license
Pull Request -
State: closed - Opened by jeltsch almost 4 years ago
Labels: type: bugfix
#41 - Switch to Apache 2.0 license
Issue -
State: closed - Opened by jeltsch almost 4 years ago
Labels: type: bugfix
#40 - Turn footnote into a proper sentence
Pull Request -
State: closed - Opened by jeltsch almost 4 years ago
Labels: type: bugfix
#38 - Turn footnote into a proper sentence
Issue -
State: closed - Opened by jeltsch almost 4 years ago
Labels: type: bugfix
#35 - Get rid of useless additional reasoning when backtracking
Pull Request -
State: closed - Opened by jeltsch almost 4 years ago
Labels: type: bugfix
#31 - Stop using spurious equivalence-to-equality rewrite rules
Pull Request -
State: closed - Opened by jeltsch almost 4 years ago
Labels: type: bugfix
#28 - Make the equivalence reasoner work with polymorphic relations
Issue -
State: open - Opened by javierdiaz72 almost 4 years ago
- 4 comments
Labels: type: bugfix
#26 - Correct section references
Pull Request -
State: closed - Opened by jeltsch almost 4 years ago
Labels: type: bugfix
#20 - Get rid of useless additional reasoning when backtracking
Issue -
State: closed - Opened by jeltsch almost 4 years ago
- 1 comment
Labels: type: bugfix
#18 - Correct section references
Issue -
State: closed - Opened by jeltsch almost 4 years ago
Labels: type: bugfix
#14 - Stop using spurious equivalence-to-equality rewrite rules
Issue -
State: closed - Opened by jeltsch about 4 years ago
Labels: type: bugfix