Ecosyste.ms: Issues

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

GitHub / michalkonecny/aern2 issues and pull requests

#13 - Affarith-spike

Pull Request - State: open - Opened by michalkonecny 8 months ago

#12 - Multivariate 2 minimal

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

#12 - Multivariate 2 minimal

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

#11 - aern2-mp-0.2.8.0 testsuite failing Stackage Nightly build

Issue - State: open - Opened by juhp almost 3 years ago
Labels: bug

#11 - aern2-mp-0.2.8.0 testsuite failing Stackage Nightly build

Issue - State: open - Opened by juhp almost 3 years ago - 1 comment
Labels: bug

#10 - Fix bug in ite parser with Eq and remove smt2-parser

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

#10 - Fix bug in ite parser with Eq and remove smt2-parser

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

#9 - progress on prover

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

#8 - Update aern2-mfun to new collect-errors etc

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

#8 - Update aern2-mfun to new collect-errors etc

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

#7 - latest from Junaid on aern2-mfun (prep for merge from master)

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

#7 - latest from Junaid on aern2-mfun (prep for merge from master)

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

#6 - Update aern2-fun to collect-errors etc

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

#6 - Update aern2-fun to collect-errors etc

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

#5 - proving disjunctions of inequalities (merge pre-update to 0.2.5)

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

#5 - proving disjunctions of inequalities (merge pre-update to 0.2.5)

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

#4 - [aern2-mp] WithCurrentPrec mixed-types operations

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

#4 - [aern2-mp] WithCurrentPrec mixed-types operations

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

#3 - Using collect errors

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

#3 - Using collect errors

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

#2 - ERC language and examples

Pull Request - State: closed - Opened by michalkonecny over 4 years ago

#2 - ERC language and examples

Pull Request - State: closed - Opened by michalkonecny over 4 years ago

#1 - Build failure: quot not in scope

Issue - State: closed - Opened by snoyberg about 6 years ago - 1 comment