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 about 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 about 2 years ago
#21 - change cpp-options flag format
Pull Request -
State: closed - Opened by aaronguo1996 about 2 years ago
#20 - fix unit tests
Pull Request -
State: closed - Opened by aaronguo1996 about 2 years ago
#19 - Add author info, change executable name, prepare for package upload
Pull Request -
State: closed - Opened by aaronguo1996 about 2 years ago
#18 - Everything from the run-up to the paper: Nested recursive nodes. Tests. Performance optimization. Fixing all warnings.
Pull Request -
State: closed - Opened by jkoppel about 2 years ago
#17 - Zheng/performance tune
Pull Request -
State: closed - Opened by aaronguo1996 about 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 over 2 years ago
- 2 comments
#13 - Simpler SAT encoding, as suggested by Nadia
Pull Request -
State: closed - Opened by jkoppel over 2 years ago
#12 - Zheng eval
Pull Request -
State: closed - Opened by aaronguo1996 over 2 years ago
- 13 comments
#11 - Generalize intersection to deal with multiple `Mu` nodes
Pull Request -
State: closed - Opened by edsko over 2 years ago
- 15 comments
#10 - Smarter `Mu` constructor
Pull Request -
State: closed - Opened by edsko over 2 years ago
- 5 comments
#9 - Correctly deal with interning with nested `Mu`s
Pull Request -
State: closed - Opened by edsko over 2 years ago
- 2 comments
#8 - Allow for Mu in naiveDenotation
Pull Request -
State: closed - Opened by edsko over 2 years ago
- 2 comments
#7 - Generalize visualization code to multiple Mu nodes
Pull Request -
State: closed - Opened by edsko over 2 years ago
- 2 comments
#6 - -Wall clean, and update LTS resolver
Pull Request -
State: closed - Opened by edsko over 2 years ago
- 1 comment
#5 - Minor improvement to treatment of Mu
Pull Request -
State: closed - Opened by edsko over 2 years ago
- 14 comments
#4 - Minor IO fixes
Pull Request -
State: closed - Opened by edsko over 2 years ago
- 6 comments
#3 - Small benchmark addition, comment on memoization opportunity, comment…
Pull Request -
State: closed - Opened by jkoppel about 3 years ago
#2 - Everything I've done the last 10 days: Lots of optimization, implemented enumeration, reorganized files
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