Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / vehicle-lang/vehicle issues and pull requests
#760 - Change haskell/actions/setup to haskell-actions/setup
Pull Request -
State: closed - Opened by wenkokke 11 months ago
#760 - Change haskell/actions/setup to haskell-actions/setup
Pull Request -
State: closed - Opened by wenkokke 11 months ago
#759 - Support GHC 9.8.1
Pull Request -
State: open - Opened by wenkokke 11 months ago
#759 - Support GHC 9.8.1
Pull Request -
State: closed - Opened by wenkokke 11 months ago
- 1 comment
Labels: CI
#758 - Use `Py_FormatStdout` & `Py_FormatStderr` when compiling to dynamic library
Pull Request -
State: closed - Opened by wenkokke 11 months ago
#758 - Use `Py_FormatStdout` & `Py_FormatStderr` when compiling to dynamic library
Pull Request -
State: closed - Opened by wenkokke 11 months ago
#757 - Bump GHC & Cabal minor versions
Pull Request -
State: closed - Opened by wenkokke 11 months ago
#757 - Bump GHC & Cabal minor versions
Pull Request -
State: closed - Opened by wenkokke 11 months ago
#756 - Support Python 3.12
Pull Request -
State: closed - Opened by wenkokke 11 months ago
#756 - Support Python 3.12
Pull Request -
State: closed - Opened by wenkokke 11 months ago
#755 - Update WindController example and upgrade to Agda stdlib 2.0
Pull Request -
State: closed - Opened by MatthewDaggitt 11 months ago
Labels: enhancement, backend:itps, refactoring
#755 - Update WindController example and upgrade to Agda stdlib 2.0
Pull Request -
State: closed - Opened by MatthewDaggitt 11 months ago
Labels: enhancement, backend:itps, refactoring
#754 - Add instructions how to use Pygments to display Vehicle code in latex
Issue -
State: open - Opened by MatthewDaggitt 11 months ago
Labels: documentation, enhancement
#754 - Add instructions how to use Pygments to display Vehicle code in latex
Issue -
State: open - Opened by MatthewDaggitt 11 months ago
Labels: documentation, enhancement
#753 - [pre-commit.ci] pre-commit autoupdate
Pull Request -
State: closed - Opened by pre-commit-ci[bot] 11 months ago
#753 - [pre-commit.ci] pre-commit autoupdate
Pull Request -
State: closed - Opened by pre-commit-ci[bot] 11 months ago
#752 - Add some code to find which arguments are blocking builtin evaluation
Pull Request -
State: closed - Opened by MatthewDaggitt 11 months ago
Labels: enhancement, compiler:normalisation
#751 - Can we make `Ann` builtin a definition in the stdlib instead?
Issue -
State: open - Opened by MatthewDaggitt 12 months ago
Labels: refactoring
#751 - Can we make `Ann` builtin a definition in the stdlib instead?
Issue -
State: open - Opened by MatthewDaggitt 12 months ago
Labels: refactoring
#750 - Can't reliably detect equality between applications of the same network
Issue -
State: open - Opened by MatthewDaggitt 12 months ago
Labels: bug, backend:verifiers
#750 - Can't reliably detect equality between applications of the same network
Issue -
State: open - Opened by MatthewDaggitt 12 months ago
Labels: bug, backend:verifiers
#749 - [pre-commit.ci] pre-commit autoupdate
Pull Request -
State: closed - Opened by pre-commit-ci[bot] 12 months ago
Labels: CI
#749 - [pre-commit.ci] pre-commit autoupdate
Pull Request -
State: closed - Opened by pre-commit-ci[bot] 12 months ago
Labels: CI
#748 - Bump actions/upload-artifact from 3 to 4
Pull Request -
State: closed - Opened by dependabot[bot] 12 months ago
Labels: dependencies, github_actions
#747 - Bump actions/download-artifact from 3 to 4
Pull Request -
State: closed - Opened by dependabot[bot] 12 months ago
- 1 comment
Labels: dependencies, github_actions
#747 - Bump actions/download-artifact from 3 to 4
Pull Request -
State: closed - Opened by dependabot[bot] 12 months ago
- 1 comment
Labels: dependencies, github_actions
#746 - Implement blocking of vector operations using postulates
Pull Request -
State: closed - Opened by MatthewDaggitt 12 months ago
Labels: backend:verifiers, refactoring
#746 - Implement blocking of vector operations using postulates
Pull Request -
State: closed - Opened by MatthewDaggitt 12 months ago
Labels: backend:verifiers, refactoring
#745 - Fix #591 by sorting query assertions before writing to disk
Pull Request -
State: closed - Opened by MatthewDaggitt 12 months ago
Labels: enhancement, backend:verifiers
#744 - Various refactorings of compilation to queries
Pull Request -
State: closed - Opened by MatthewDaggitt 12 months ago
Labels: backend:verifiers, refactoring
#744 - Various refactorings of compilation to queries
Pull Request -
State: closed - Opened by MatthewDaggitt 12 months ago
Labels: backend:verifiers, refactoring
#743 - [pre-commit.ci] pre-commit autoupdate
Pull Request -
State: closed - Opened by pre-commit-ci[bot] 12 months ago
#742 - Bump actions/setup-python from 4 to 5
Pull Request -
State: closed - Opened by dependabot[bot] 12 months ago
Labels: dependencies, github_actions
#741 - Update sphinx-rtd-theme requirement from <2,>=1 to >=1,<3 in /docs
Pull Request -
State: closed - Opened by dependabot[bot] 12 months ago
Labels: dependencies, python
#740 - [pre-commit.ci] pre-commit autoupdate
Pull Request -
State: closed - Opened by pre-commit-ci[bot] about 1 year ago
#739 - [pre-commit.ci] pre-commit autoupdate
Pull Request -
State: closed - Opened by pre-commit-ci[bot] about 1 year ago
#739 - [pre-commit.ci] pre-commit autoupdate
Pull Request -
State: closed - Opened by pre-commit-ci[bot] about 1 year ago
#738 - Strict inequality warning shows on specification that does not contain strict inequalities
Issue -
State: open - Opened by BenCoke12 about 1 year ago
- 1 comment
Labels: error-messages
#738 - Strict inequality warning shows on specification that does not contain strict inequalities
Issue -
State: open - Opened by BenCoke12 about 1 year ago
- 1 comment
#737 - [pre-commit.ci] pre-commit autoupdate
Pull Request -
State: closed - Opened by pre-commit-ci[bot] about 1 year ago
#737 - [pre-commit.ci] pre-commit autoupdate
Pull Request -
State: closed - Opened by pre-commit-ci[bot] about 1 year ago
#736 - [pre-commit.ci] pre-commit autoupdate
Pull Request -
State: closed - Opened by pre-commit-ci[bot] about 1 year ago
#736 - [pre-commit.ci] pre-commit autoupdate
Pull Request -
State: closed - Opened by pre-commit-ci[bot] about 1 year ago
#735 - Can't run ACAS Xu example
Issue -
State: open - Opened by ckessler2 about 1 year ago
- 15 comments
Labels: bug, upstream
#735 - Can't run ACAS Xu example
Issue -
State: open - Opened by ckessler2 about 1 year ago
- 15 comments
Labels: bug, upstream
#734 - [pre-commit.ci] pre-commit autoupdate
Pull Request -
State: closed - Opened by pre-commit-ci[bot] about 1 year ago
#734 - [pre-commit.ci] pre-commit autoupdate
Pull Request -
State: closed - Opened by pre-commit-ci[bot] about 1 year ago
#733 - Support Python 3.12
Issue -
State: closed - Opened by MatthewDaggitt about 1 year ago
- 1 comment
Labels: build-system, python, CI
#733 - Support Python 3.12
Issue -
State: closed - Opened by MatthewDaggitt about 1 year ago
- 1 comment
Labels: build-system, python, CI
#732 - [pre-commit.ci] pre-commit autoupdate
Pull Request -
State: closed - Opened by pre-commit-ci[bot] about 1 year ago
#732 - [pre-commit.ci] pre-commit autoupdate
Pull Request -
State: closed - Opened by pre-commit-ci[bot] about 1 year ago
#731 - Bump pypa/cibuildwheel from 2.16.1 to 2.16.2
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies, github_actions
#731 - Bump pypa/cibuildwheel from 2.16.1 to 2.16.2
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies, github_actions
#730 - During NBE of DB indices calculate the level in the final context
Pull Request -
State: closed - Opened by MatthewDaggitt about 1 year ago
Labels: refactoring, compiler:normalisation
#730 - During NBE of DB indices calculate the level in the final context
Pull Request -
State: closed - Opened by MatthewDaggitt about 1 year ago
Labels: refactoring, compiler:normalisation
#729 - Bump pillow from 9.3.0 to 10.0.1 in /scripts/benchmark-histogram
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies, python
#729 - Bump pillow from 9.3.0 to 10.0.1 in /scripts/benchmark-histogram
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies, python
#728 - No longer store glued expressions in FreeContext
Pull Request -
State: closed - Opened by MatthewDaggitt about 1 year ago
Labels: refactoring, compiler:normalisation
#728 - No longer store glued expressions in FreeContext
Pull Request -
State: closed - Opened by MatthewDaggitt about 1 year ago
Labels: refactoring, compiler:normalisation
#727 - Bump pypa/cibuildwheel from 2.16.0 to 2.16.1
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies, github_actions
#727 - Bump pypa/cibuildwheel from 2.16.0 to 2.16.1
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies, github_actions
#726 - Bump pypa/cibuildwheel from 2.15.0 to 2.16.0
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies, github_actions
#726 - Bump pypa/cibuildwheel from 2.15.0 to 2.16.0
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies, github_actions
#725 - [pre-commit.ci] pre-commit autoupdate
Pull Request -
State: closed - Opened by pre-commit-ci[bot] about 1 year ago
#725 - [pre-commit.ci] pre-commit autoupdate
Pull Request -
State: closed - Opened by pre-commit-ci[bot] about 1 year ago
#724 - Bump actions/checkout from 3 to 4
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies, github_actions
#724 - Bump actions/checkout from 3 to 4
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies, github_actions
#723 - Internalise the @noinline annotation into the compiler
Pull Request -
State: closed - Opened by MatthewDaggitt about 1 year ago
Labels: refactoring, language, compiler:normalisation
#723 - Internalise the @noinline annotation into the compiler
Pull Request -
State: closed - Opened by MatthewDaggitt about 1 year ago
Labels: refactoring, language, compiler:normalisation
#722 - Add normal form representation
Pull Request -
State: closed - Opened by MatthewDaggitt about 1 year ago
Labels: enhancement, compiler:normalisation
#722 - Add normal form representation
Pull Request -
State: closed - Opened by MatthewDaggitt about 1 year ago
Labels: enhancement, compiler:normalisation
#721 - Update build requirement from <0.11,>=0.10.0 to >=0.10.0,<1.1 in /vehicle-python
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies, python
#721 - Update build requirement from <0.11,>=0.10.0 to >=0.10.0,<1.1 in /vehicle-python
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies, python
#720 - Remove Hole case in bidirectional check pass and fix bug in infer pass
Pull Request -
State: closed - Opened by MatthewDaggitt about 1 year ago
Labels: refactoring, compiler:type-checker
#720 - Remove Hole case in bidirectional check pass and fix bug in infer pass
Pull Request -
State: closed - Opened by MatthewDaggitt about 1 year ago
Labels: refactoring, compiler:type-checker
#719 - Refactor warning handling and add warnings for #714 and #718
Pull Request -
State: closed - Opened by MatthewDaggitt about 1 year ago
Labels: errors-and-warnings, UX
#719 - Refactor warning handling and add warnings for #714 and #718
Pull Request -
State: closed - Opened by MatthewDaggitt about 1 year ago
Labels: errors-and-warnings, UX
#718 - Warn when inputs are not fully bounded
Issue -
State: closed - Opened by MatthewDaggitt about 1 year ago
Labels: backend:verifiers, UX
#718 - Warn when inputs are not fully bounded
Issue -
State: closed - Opened by MatthewDaggitt about 1 year ago
Labels: backend:verifiers, UX
#717 - Use MonadFreeContext and MonadBoundContext more extensively
Pull Request -
State: closed - Opened by MatthewDaggitt about 1 year ago
Labels: refactoring, compiler:type-checker, compiler:normalisation
#717 - Use MonadFreeContext and MonadBoundContext more extensively
Pull Request -
State: closed - Opened by MatthewDaggitt about 1 year ago
Labels: refactoring, compiler:type-checker, compiler:normalisation
#716 - Split MonadContext into MonadFreeContext and MonadBoundContext
Pull Request -
State: closed - Opened by MatthewDaggitt over 1 year ago
Labels: refactoring, compiler:other
#716 - Split MonadContext into MonadFreeContext and MonadBoundContext
Pull Request -
State: closed - Opened by MatthewDaggitt over 1 year ago
Labels: refactoring, compiler:other
#715 - Outdated documentation of external tests
Issue -
State: closed - Opened by MatthewDaggitt over 1 year ago
- 3 comments
Labels: bug, documentation
#715 - Outdated documentation of external tests
Issue -
State: closed - Opened by MatthewDaggitt over 1 year ago
- 3 comments
Labels: bug, documentation
#714 - Specifications with constant inputs falsely return `unsat`
Issue -
State: open - Opened by MatthewDaggitt over 1 year ago
Labels: bug, upstream, backend:verifiers, soundness
#714 - Specifications with constant inputs falsely return `unsat`
Issue -
State: open - Opened by MatthewDaggitt over 1 year ago
Labels: bug, upstream, backend:verifiers, soundness
#713 - Fix compilation of abstract index equalities
Pull Request -
State: closed - Opened by MatthewDaggitt over 1 year ago
Labels: bug, backend:verifiers
#713 - Fix compilation of abstract index equalities
Pull Request -
State: closed - Opened by MatthewDaggitt over 1 year ago
Labels: bug, backend:verifiers
#712 - Query compilation bug involving `if`s
Issue -
State: closed - Opened by MatthewDaggitt over 1 year ago
Labels: bug, backend:verifiers
#712 - Query compilation bug involving `if`s
Issue -
State: closed - Opened by MatthewDaggitt over 1 year ago
Labels: bug, backend:verifiers
#711 - Add warnings for conversion from strict to non-strict inequalities
Pull Request -
State: closed - Opened by MatthewDaggitt over 1 year ago
Labels: compiler:error-messages, UX
#711 - Add warnings for conversion from strict to non-strict inequalities
Pull Request -
State: closed - Opened by MatthewDaggitt over 1 year ago
Labels: compiler:error-messages, UX
#710 - Remove `ConsVector` builtin
Pull Request -
State: closed - Opened by MatthewDaggitt over 1 year ago
Labels: refactoring
#710 - Remove `ConsVector` builtin
Pull Request -
State: closed - Opened by MatthewDaggitt over 1 year ago
Labels: refactoring
#709 - Remove meta-substitution from `MonadNorm`
Pull Request -
State: closed - Opened by MatthewDaggitt over 1 year ago
Labels: refactoring, compiler:normalisation
#709 - Remove meta-substitution from `MonadNorm`
Pull Request -
State: closed - Opened by MatthewDaggitt over 1 year ago
Labels: refactoring, compiler:normalisation
#708 - Move `Ann` from expressions to builtins
Pull Request -
State: closed - Opened by MatthewDaggitt over 1 year ago
Labels: refactoring, compiler:type-checker
#708 - Move `Ann` from expressions to builtins
Pull Request -
State: closed - Opened by MatthewDaggitt over 1 year ago
Labels: refactoring, compiler:type-checker
#707 - Can we move `Ann` node into `Builtin`?
Issue -
State: closed - Opened by MatthewDaggitt over 1 year ago
Labels: refactoring, compiler:type-checker