Ecosyste.ms: Issues

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

GitHub / jianchu/generic-type-inference-solver issues and pull requests

#10 - update opprop

Pull Request - State: closed - Opened by CharlesZ-Chen about 8 years ago

#9 - Merge upstream from pascaliUWat

Pull Request - State: closed - Opened by CharlesZ-Chen about 8 years ago

#9 - Merge upstream from pascaliUWat

Pull Request - State: closed - Opened by CharlesZ-Chen about 8 years ago

#8 - let EqualityVariCombos as inner class of MaxSatSerializer

Pull Request - State: closed - Opened by CharlesZ-Chen about 8 years ago

#7 - better method signature om VariableCombos

Pull Request - State: closed - Opened by CharlesZ-Chen about 8 years ago

#6 - Adapt to new APIs of SlotManager

Pull Request - State: closed - Opened by topnessman over 8 years ago

#5 - dataflowSetup.sh script missing in repo

Issue - State: closed - Opened by jyluo over 8 years ago - 1 comment

#4 - Change Ontology utility function. Code cleanups and adding TODO items.

Pull Request - State: closed - Opened by wmdietl over 8 years ago

#3 - From @CharlesZ-Chen.

Pull Request - State: closed - Opened by wmdietl over 8 years ago

#2 - Add Ontology type system, simplifications, todos, whitespace fixes.

Pull Request - State: closed - Opened by wmdietl over 8 years ago

#1 - Reworking README.

Pull Request - State: closed - Opened by wmdietl almost 9 years ago