Ecosyste.ms: Issues

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

GitHub / alexandrepiveteau/epfl-datalog-kotlin issues and pull requests

#12 - Introduce IR operations to model the query plan

Pull Request - State: closed - Opened by alexandrepiveteau over 1 year ago

#11 - Add some test cases

Pull Request - State: closed - Opened by alexandrepiveteau over 1 year ago

#10 - Add Java points-to analysis test case

Pull Request - State: closed - Opened by alexandrepiveteau over 1 year ago

#10 - Add Java points-to analysis test case

Pull Request - State: closed - Opened by alexandrepiveteau over 1 year ago

#9 - Add some external tests in dedicated input files

Pull Request - State: closed - Opened by alexandrepiveteau over 1 year ago

#9 - Add some external tests in dedicated input files

Pull Request - State: closed - Opened by alexandrepiveteau over 1 year ago

#8 - Stratify constants for negated rules

Issue - State: open - Opened by alexandrepiveteau over 1 year ago

#8 - Stratify constants for negated rules

Issue - State: open - Opened by alexandrepiveteau over 1 year ago

#7 - Add a `Domain` for `String`

Issue - State: open - Opened by alexandrepiveteau over 1 year ago

#7 - Add a `Domain` for `String`

Issue - State: open - Opened by alexandrepiveteau over 1 year ago

#6 - Enforce grounding of variables in rules

Pull Request - State: closed - Opened by alexandrepiveteau over 1 year ago

#6 - Enforce grounding of variables in rules

Pull Request - State: closed - Opened by alexandrepiveteau over 1 year ago

#5 - Add tests for limited variables

Pull Request - State: closed - Opened by alexandrepiveteau over 1 year ago - 1 comment

#5 - Add tests for limited variables

Pull Request - State: closed - Opened by alexandrepiveteau over 1 year ago - 1 comment

#4 - Add support for sum and count aggregates

Pull Request - State: closed - Opened by alexandrepiveteau over 1 year ago

#4 - Add support for sum and count aggregates

Pull Request - State: closed - Opened by alexandrepiveteau over 1 year ago

#3 - Add support for min and max aggregates

Pull Request - State: closed - Opened by alexandrepiveteau over 1 year ago

#2 - Use a volcano-based model for `Relation`

Issue - State: open - Opened by alexandrepiveteau almost 2 years ago

#2 - Use a volcano-based model for `Relation`

Issue - State: open - Opened by alexandrepiveteau almost 2 years ago

#1 - Optimise the dependency graph when computing the EDB

Issue - State: closed - Opened by alexandrepiveteau almost 2 years ago - 1 comment

#1 - Optimise the dependency graph when computing the EDB

Issue - State: closed - Opened by alexandrepiveteau almost 2 years ago - 1 comment