Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / jkoppel/ecta issues and pull requests

#24 - compare: unexpected RecIntersect (UnsafeIntersectId 478 478)

Issue - State: open - Opened by Tritlo over 1 year ago - 11 comments

#23 - Use a general genVar function and isVar to allow all variables names

Pull Request - State: closed - Opened by Tritlo about 2 years ago - 2 comments

#22 - migrate to equivalence-0.4.1

Pull Request - State: closed - Opened by aaronguo1996 over 2 years ago

#21 - change cpp-options flag format

Pull Request - State: closed - Opened by aaronguo1996 over 2 years ago

#20 - fix unit tests

Pull Request - State: closed - Opened by aaronguo1996 over 2 years ago

#19 - Add author info, change executable name, prepare for package upload

Pull Request - State: closed - Opened by aaronguo1996 over 2 years ago

#17 - Zheng/performance tune

Pull Request - State: closed - Opened by aaronguo1996 over 2 years ago - 1 comment

#16 - Zheng ablation script

Pull Request - State: closed - Opened by aaronguo1996 over 2 years ago

#15 - use pipes to stream the outputs of naiveDenotation

Pull Request - State: closed - Opened by aaronguo1996 over 2 years ago - 1 comment

#14 - Generalize intersection

Pull Request - State: closed - Opened by edsko almost 3 years ago - 2 comments

#13 - Simpler SAT encoding, as suggested by Nadia

Pull Request - State: closed - Opened by jkoppel almost 3 years ago

#12 - Zheng eval

Pull Request - State: closed - Opened by aaronguo1996 almost 3 years ago - 13 comments

#11 - Generalize intersection to deal with multiple `Mu` nodes

Pull Request - State: closed - Opened by edsko almost 3 years ago - 15 comments

#10 - Smarter `Mu` constructor

Pull Request - State: closed - Opened by edsko almost 3 years ago - 5 comments

#9 - Correctly deal with interning with nested `Mu`s

Pull Request - State: closed - Opened by edsko almost 3 years ago - 2 comments

#8 - Allow for Mu in naiveDenotation

Pull Request - State: closed - Opened by edsko almost 3 years ago - 2 comments

#7 - Generalize visualization code to multiple Mu nodes

Pull Request - State: closed - Opened by edsko almost 3 years ago - 2 comments

#6 - -Wall clean, and update LTS resolver

Pull Request - State: closed - Opened by edsko almost 3 years ago - 1 comment

#5 - Minor improvement to treatment of Mu

Pull Request - State: closed - Opened by edsko almost 3 years ago - 14 comments

#4 - Minor IO fixes

Pull Request - State: closed - Opened by edsko almost 3 years ago - 6 comments

#3 - Small benchmark addition, comment on memoization opportunity, comment…

Pull Request - State: closed - Opened by jkoppel about 3 years ago

#1 - Unitary recursion, much optimization

Pull Request - State: closed - Opened by jkoppel over 3 years ago