Ecosyste.ms: Issues

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

GitHub / mit-plv/fiat2 issues and pull requests

#9 - add relational algebra filter/join conversion proofs

Pull Request - State: closed - Opened by teshome-p 6 months ago

#9 - add relational algebra filter/join conversion proofs

Pull Request - State: closed - Opened by teshome-p 6 months ago

#8 - Add relational algebra constructors to expr

Pull Request - State: closed - Opened by amanda4zx 7 months ago

#7 - Add flatmap folding optimization to constant folding

Pull Request - State: closed - Opened by leognon 7 months ago

#6 - Constant fold assoc

Pull Request - State: closed - Opened by leognon 8 months ago

#5 - Add printing notations for elaborated commands

Pull Request - State: closed - Opened by leognon 8 months ago

#4 - Fold expr correct

Pull Request - State: closed - Opened by leognon 10 months ago

#3 - Finish expression compiler

Pull Request - State: closed - Opened by psvenk 10 months ago

#2 - Add move filter optimization

Pull Request - State: closed - Opened by leognon 10 months ago

#1 - Phoas constant folding

Pull Request - State: closed - Opened by leognon 11 months ago - 2 comments