Ecosyste.ms: Issues

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

GitHub / wenkokke/schmitty issues and pull requests

#47 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: open - Opened by pre-commit-ci[bot] about 1 year ago

#47 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: open - Opened by pre-commit-ci[bot] about 1 year ago

#46 - Replace `Env` with `All`

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

#46 - Replace `Env` with `All`

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

#45 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] almost 2 years ago

#45 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] almost 2 years ago

#44 - Better heuristic to distinguish sorts from terms

Pull Request - State: closed - Opened by Lysxia almost 2 years ago - 4 comments

#44 - Better heuristic to distinguish sorts from terms

Pull Request - State: closed - Opened by Lysxia almost 2 years ago - 4 comments

#43 - Better heuristic to guess declare-const vs assert

Issue - State: closed - Opened by Lysxia almost 2 years ago - 7 comments

#43 - Better heuristic to guess declare-const vs assert

Issue - State: closed - Opened by Lysxia almost 2 years ago - 7 comments

#42 - Upgrade to agda-stdlib/experimental

Pull Request - State: closed - Opened by Lysxia almost 2 years ago - 2 comments

#42 - Upgrade to agda-stdlib/experimental

Pull Request - State: closed - Opened by Lysxia almost 2 years ago - 2 comments

#41 - Improve CI

Pull Request - State: closed - Opened by wenkokke about 2 years ago

#41 - Improve CI

Pull Request - State: closed - Opened by wenkokke about 2 years ago

#40 - Update CI build

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

#40 - Update CI build

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

#39 - add Solvable class and theory of natural numbers

Pull Request - State: closed - Opened by gshen42 about 3 years ago

#39 - add Solvable class and theory of natural numbers

Pull Request - State: closed - Opened by gshen42 about 3 years ago

#38 - Remove redundant δ* variable declarations

Issue - State: open - Opened by wenkokke about 3 years ago

#38 - Remove redundant δ* variable declarations

Issue - State: open - Opened by wenkokke about 3 years ago

#37 - Fix issue #35

Pull Request - State: closed - Opened by gshen42 about 3 years ago

#37 - Fix issue #35

Pull Request - State: closed - Opened by gshen42 about 3 years ago

#35 - Roll Command data structure into Script

Issue - State: closed - Opened by wenkokke about 3 years ago

#35 - Roll Command data structure into Script

Issue - State: closed - Opened by wenkokke about 3 years ago

#34 - Restrict Reflectable to BaseTheory instead of Theory

Issue - State: closed - Opened by wenkokke about 3 years ago

#33 - Factor out shared code between z3TC and cvc4TC

Issue - State: open - Opened by wenkokke about 3 years ago

#33 - Factor out shared code between z3TC and cvc4TC

Issue - State: open - Opened by wenkokke about 3 years ago

#32 - Reflect context

Pull Request - State: closed - Opened by gshen42 about 3 years ago

#32 - Reflect context

Pull Request - State: closed - Opened by gshen42 about 3 years ago

#31 - [ update ] use latest agdarsec release

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

#31 - [ update ] use latest agdarsec release

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

#30 - [ refactor ] use the new agdarsec `Text.Parser` module

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

#30 - [ refactor ] use the new agdarsec `Text.Parser` module

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

#29 - Upgrade to recent agdarsec & add CI

Pull Request - State: closed - Opened by gallais over 3 years ago - 1 comment

#29 - Upgrade to recent agdarsec & add CI

Pull Request - State: closed - Opened by gallais over 3 years ago - 1 comment

#28 - seeking a working combination of schmitty, agda, agda-stdlib and agdarsec

Issue - State: closed - Opened by jmchapman over 3 years ago - 6 comments

#28 - seeking a working combination of schmitty, agda, agda-stdlib and agdarsec

Issue - State: closed - Opened by jmchapman over 3 years ago - 6 comments

#27 - Multiple definitions of xs⊆xs++ys.

Issue - State: closed - Opened by tuncbkose over 3 years ago - 3 comments

#27 - Multiple definitions of xs⊆xs++ys.

Issue - State: closed - Opened by tuncbkose over 3 years ago - 3 comments

#26 - Make robust model tests

Issue - State: closed - Opened by wenkokke about 4 years ago

#26 - Make robust model tests

Issue - State: closed - Opened by wenkokke about 4 years ago

#25 - Add let expressions

Pull Request - State: closed - Opened by MatthewDaggitt about 4 years ago

#25 - Add let expressions

Pull Request - State: closed - Opened by MatthewDaggitt about 4 years ago

#24 - Change definition of context membership

Pull Request - State: closed - Opened by MatthewDaggitt about 4 years ago - 1 comment

#24 - Change definition of context membership

Pull Request - State: closed - Opened by MatthewDaggitt about 4 years ago - 1 comment

#23 - Merged Reflection.Annotated upstream

Pull Request - State: closed - Opened by UlfNorell about 4 years ago

#23 - Merged Reflection.Annotated upstream

Pull Request - State: closed - Opened by UlfNorell about 4 years ago

#22 - Add installation instructions for using z3

Pull Request - State: closed - Opened by priyasiddharth about 4 years ago - 1 comment

#22 - Add installation instructions for using z3

Pull Request - State: closed - Opened by priyasiddharth about 4 years ago - 1 comment

#21 - Fix de Bruijn bugs in reflectToRaw

Pull Request - State: closed - Opened by UlfNorell about 4 years ago

#21 - Fix de Bruijn bugs in reflectToRaw

Pull Request - State: closed - Opened by UlfNorell about 4 years ago

#20 - Normalise only closed terms to improve error messages when SMT says no

Pull Request - State: closed - Opened by UlfNorell about 4 years ago

#20 - Normalise only closed terms to improve error messages when SMT says no

Pull Request - State: closed - Opened by UlfNorell about 4 years ago

#19 - Remove Refection.DeBruijn and Traversal (merged upstream)

Pull Request - State: closed - Opened by UlfNorell about 4 years ago

#19 - Remove Refection.DeBruijn and Traversal (merged upstream)

Pull Request - State: closed - Opened by UlfNorell about 4 years ago

#17 - Fix bracketing of app0

Pull Request - State: closed - Opened by MatthewDaggitt about 4 years ago

#16 - Update parser for compatibility with latest version of Agdarsec

Pull Request - State: closed - Opened by MatthewDaggitt about 4 years ago

#16 - Update parser for compatibility with latest version of Agdarsec

Pull Request - State: closed - Opened by MatthewDaggitt about 4 years ago

#15 - Update `Text.Parser.String` to work with latest version of Agdarsec

Issue - State: closed - Opened by MatthewDaggitt about 4 years ago
Labels: bug

#15 - Update `Text.Parser.String` to work with latest version of Agdarsec

Issue - State: closed - Opened by MatthewDaggitt about 4 years ago
Labels: bug

#14 - Add `app0`

Pull Request - State: closed - Opened by MatthewDaggitt about 4 years ago

#14 - Add `app0`

Pull Request - State: closed - Opened by MatthewDaggitt about 4 years ago

#13 - Merge Reflection.Traversal and Reflection.DeBruijn into agda/agda-stdlib

Issue - State: closed - Opened by UlfNorell about 4 years ago - 1 comment
Labels: upstream

#13 - Merge Reflection.Traversal and Reflection.DeBruijn into agda/agda-stdlib

Issue - State: closed - Opened by UlfNorell about 4 years ago - 1 comment
Labels: upstream

#12 - Fix exist eta problem

Pull Request - State: closed - Opened by UlfNorell about 4 years ago

#12 - Fix exist eta problem

Pull Request - State: closed - Opened by UlfNorell about 4 years ago

#11 - Make proofs on integer (in)equalities compute

Pull Request - State: closed - Opened by UlfNorell about 4 years ago

#11 - Make proofs on integer (in)equalities compute

Pull Request - State: closed - Opened by UlfNorell about 4 years ago

#10 - Handle nested quantifies when reflecting Raw terms

Pull Request - State: closed - Opened by UlfNorell about 4 years ago

#9 - Normalise overloaded literals when builting Raw theory terms

Pull Request - State: closed - Opened by UlfNorell about 4 years ago

#8 - Merge Text.Parser.String into gallais/agdarsec

Issue - State: closed - Opened by wenkokke about 4 years ago - 4 comments
Labels: upstream

#7 - Merge Reflection.External into agda/agda-stdlib

Issue - State: closed - Opened by wenkokke about 4 years ago
Labels: upstream

#6 - Raw sorts

Pull Request - State: closed - Opened by UlfNorell about 4 years ago

#5 - Print goal instantiated with countermodel

Pull Request - State: closed - Opened by UlfNorell about 4 years ago

#4 - Nicer counterexamples

Pull Request - State: closed - Opened by UlfNorell about 4 years ago

#3 - Turning Agda terms into RawScript (WIP)

Pull Request - State: closed - Opened by UlfNorell about 4 years ago

#2 - First dirty version of what reflection hooks might look like

Pull Request - State: closed - Opened by UlfNorell about 4 years ago

#1 - Fix typos

Pull Request - State: closed - Opened by cyberglot over 4 years ago - 1 comment