vehicle-lang/vehicle issues and pull requests

#707 - Can we move `Ann` node into `Builtin`?

Issue - State: closed - Opened by MatthewDaggitt over 1 year ago
Labels: refactoring, compiler:type-checker

#706 - Missing backspaces in documentation

Issue - State: open - Opened by wenkokke over 1 year ago - 1 comment
Labels: bug, documentation

#706 - Missing backspaces in documentation

Issue - State: open - Opened by wenkokke over 1 year ago - 1 comment
Labels: bug, documentation

#705 - Add warning on trivial property detection

Pull Request - State: closed - Opened by MatthewDaggitt over 1 year ago
Labels: enhancement, compiler:error-messages

#705 - Add warning on trivial property detection

Pull Request - State: closed - Opened by MatthewDaggitt over 1 year ago
Labels: enhancement, compiler:error-messages

#704 - Use kebab-case in command line docs

Pull Request - State: closed - Opened by MatthewDaggitt over 1 year ago
Labels: refactoring, UX

#703 - Fix couple of bugs in docs

Pull Request - State: closed - Opened by MatthewDaggitt over 1 year ago
Labels: bug, documentation

#703 - Fix couple of bugs in docs

Pull Request - State: closed - Opened by MatthewDaggitt over 1 year ago
Labels: bug, documentation

#702 - Fix various bugs in linearity analysis

Pull Request - State: closed - Opened by MatthewDaggitt over 1 year ago
Labels: bug, backend:verifiers, compiler:error-messages

#702 - Fix various bugs in linearity analysis

Pull Request - State: closed - Opened by MatthewDaggitt over 1 year ago
Labels: bug, backend:verifiers, compiler:error-messages

#701 - Linearity type-system bug with division

Issue - State: closed - Opened by MatthewDaggitt over 1 year ago
Labels: bug, compiler:error-messages

#701 - Linearity type-system bug with division

Issue - State: closed - Opened by MatthewDaggitt over 1 year ago
Labels: bug, compiler:error-messages

#700 - Typing error on division

Issue - State: closed - Opened by MatthewDaggitt over 1 year ago - 1 comment
Labels: bug, compiler:error-messages, compiler:type-checker

#700 - Typing error on division

Issue - State: closed - Opened by MatthewDaggitt over 1 year ago - 1 comment
Labels: bug, compiler:error-messages, compiler:type-checker

#699 - Error reporting for non-linear division erroneously refers to multiplication rather than division

Issue - State: closed - Opened by MatthewDaggitt over 1 year ago
Labels: bug, compiler:error-messages

#698 - Remove higher order declarations before exporting to JSON

Pull Request - State: closed - Opened by MatthewDaggitt over 1 year ago
Labels: enhancement, backend:loss

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

Pull Request - State: closed - Opened by pre-commit-ci[bot] over 1 year ago
Labels: CI

#696 - Refactor translation to Agda to rely less on pattern synonyms

Pull Request - State: closed - Opened by MatthewDaggitt over 1 year ago
Labels: backend:itps, refactoring

#696 - Refactor translation to Agda to rely less on pattern synonyms

Pull Request - State: closed - Opened by MatthewDaggitt over 1 year ago
Labels: backend:itps, refactoring

#695 - Superclass robustness memory issue

Issue - State: open - Opened by BenCoke12 over 1 year ago
Labels: bug, performance

#695 - Superclass robustness memory issue

Issue - State: open - Opened by BenCoke12 over 1 year ago
Labels: bug, performance

#694 - Use same loss-function type system in Agda backend

Issue - State: open - Opened by MatthewDaggitt over 1 year ago
Labels: bug, backend:itps

#694 - Use same loss-function type system in Agda backend

Issue - State: open - Opened by MatthewDaggitt over 1 year ago
Labels: bug, backend:itps

#693 - Efficient compilation to loss backends

Issue - State: closed - Opened by MatthewDaggitt over 1 year ago - 2 comments
Labels: backend:loss, language, performance

#693 - Efficient compilation to loss backends

Issue - State: open - Opened by MatthewDaggitt over 1 year ago - 1 comment
Labels: backend:loss, language, performance

#692 - Remove more Expr type synonyms and get rid of glue outside type-checking

Pull Request - State: closed - Opened by MatthewDaggitt over 1 year ago
Labels: refactoring, compiler:type-checker

#692 - Remove more Expr type synonyms and get rid of glue outside type-checking

Pull Request - State: closed - Opened by MatthewDaggitt over 1 year ago
Labels: refactoring, compiler:type-checker

#691 - Update CONTRIBUTING to reflect changes to Pygments tests

Issue - State: closed - Opened by wenkokke over 1 year ago
Labels: documentation

#691 - Update CONTRIBUTING to reflect changes to Pygments tests

Issue - State: closed - Opened by wenkokke over 1 year ago
Labels: documentation

#690 - Remove NewTest

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

#690 - Remove NewTest

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

#688 - Remove `NewTest`

Issue - State: closed - Opened by MatthewDaggitt over 1 year ago - 2 comments
Labels: refactoring, test-suite

#681 - Implement PGD for tensorflow backend

Pull Request - State: open - Opened by MatthewDaggitt over 1 year ago - 1 comment
Labels: enhancement, backend:loss

#681 - Implement PGD for tensorflow backend

Pull Request - State: closed - Opened by MatthewDaggitt over 1 year ago - 2 comments
Labels: enhancement, backend:loss

#678 - Fix Marabou documentation bug about soundness

Issue - State: closed - Opened by MatthewDaggitt over 1 year ago
Labels: bug, documentation

#678 - Fix Marabou documentation bug about soundness

Issue - State: closed - Opened by MatthewDaggitt over 1 year ago
Labels: bug, documentation

#676 - Should not generalise over resource declaration types

Issue - State: open - Opened by MatthewDaggitt over 1 year ago
Labels: bug, compiler:error-messages

#676 - Should not generalise over resource declaration types

Issue - State: open - Opened by MatthewDaggitt over 1 year ago
Labels: bug, compiler:error-messages

#664 - Refactor tasty-golden-executable to remove dependency on tasty-golden

Pull Request - State: closed - Opened by wenkokke over 1 year ago
Labels: refactoring, CI

#664 - Refactor tasty-golden-executable to remove dependency on tasty-golden

Pull Request - State: closed - Opened by wenkokke over 1 year ago
Labels: refactoring, CI

#662 - Unable to infer type of bound variable error with a robust property

Issue - State: closed - Opened by kiczaaa over 1 year ago - 5 comments
Labels: bug, compiler:type-checker

#662 - Unable to infer type of bound variable error with a robust property

Issue - State: closed - Opened by kiczaaa over 1 year ago - 5 comments
Labels: bug, compiler:type-checker

#656 - Refactor CLI flags

Issue - State: closed - Opened by wenkokke over 1 year ago
Labels: UX

#655 - Python tests not running properly on CI

Issue - State: closed - Opened by MatthewDaggitt over 1 year ago - 1 comment
Labels: bug, backend:loss, CI

#655 - Python tests not running properly on CI

Issue - State: closed - Opened by MatthewDaggitt over 1 year ago - 1 comment
Labels: bug, backend:loss, CI

#654 - Failing python translation of `simple-defaultTypes` test

Issue - State: closed - Opened by MatthewDaggitt over 1 year ago - 1 comment
Labels: bug, backend:loss, python

#654 - Failing python translation of `simple-defaultTypes` test

Issue - State: closed - Opened by MatthewDaggitt over 1 year ago - 1 comment
Labels: bug, backend:loss, python

#647 - `forallIndex` seems to take a `Nat` rather than an index?

Issue - State: closed - Opened by wenkokke over 1 year ago - 1 comment
Labels: bug, backend:loss

#647 - `forallIndex` seems to take a `Nat` rather than an index?

Issue - State: closed - Opened by wenkokke over 1 year ago - 1 comment
Labels: bug, backend:loss

#639 - Use `MonadContext` more

Issue - State: closed - Opened by MatthewDaggitt over 1 year ago
Labels: refactoring, compiler:type-checker

#639 - Use `MonadContext` more

Issue - State: closed - Opened by MatthewDaggitt over 1 year ago
Labels: refactoring, compiler:type-checker

#612 - "Trivial" is not the most descriptive message

Issue - State: closed - Opened by BenCoke12 over 1 year ago - 7 comments
Labels: UX

#608 - Error: Fourier-Motzkin reconstruction failed

Issue - State: closed - Opened by kiczaaa over 1 year ago - 4 comments
Labels: bug

#591 - Sort assertions before outputting queries

Issue - State: closed - Opened by MatthewDaggitt over 1 year ago - 3 comments
Labels: enhancement, test-suite

#591 - Sort assertions before outputting queries

Issue - State: closed - Opened by MatthewDaggitt over 1 year ago - 3 comments
Labels: enhancement, test-suite

#587 - Replace temporary error with separate error type

Issue - State: open - Opened by wenkokke over 1 year ago - 1 comment
Labels: enhancement, backend:verifiers, refactoring

#587 - Replace temporary error with separate error type

Issue - State: open - Opened by wenkokke over 1 year ago - 1 comment
Labels: enhancement, backend:verifiers, refactoring

#544 - Vehicle executable installed via `pip` seems to not be outputting on `stdout`

Issue - State: closed - Opened by MatthewDaggitt over 1 year ago - 2 comments
Labels: bug, backend:itps

#436 - Combine normalisation, if-lifting and network lifting into one monad

Issue - State: closed - Opened by MatthewDaggitt over 1 year ago
Labels: backend:verifiers, refactoring

#408 - Improve error messages when user's quantifier sampling methods give something of the wrong type

Issue - State: closed - Opened by MatthewDaggitt almost 2 years ago - 1 comment
Labels: backend:loss, compiler:error-messages

#408 - Improve error messages when user's quantifier sampling methods give something of the wrong type

Issue - State: closed - Opened by MatthewDaggitt almost 2 years ago - 1 comment
Labels: backend:loss, compiler:error-messages

#340 - Fix quantifier lifting tests

Issue - State: closed - Opened by MatthewDaggitt almost 2 years ago - 1 comment
Labels: bug, test-suite, status:invalid

#340 - Fix quantifier lifting tests

Issue - State: closed - Opened by MatthewDaggitt almost 2 years ago - 1 comment
Labels: bug, test-suite, status:invalid

#269 - Adjust version bounds for `numpy` and `tensorflow`

Issue - State: closed - Opened by wenkokke about 2 years ago - 2 comments
Labels: enhancement, backend:loss, build-system

#269 - Adjust version bounds for `numpy` and `tensorflow`

Issue - State: closed - Opened by wenkokke about 2 years ago - 2 comments
Labels: enhancement, backend:loss, build-system

#249 - Optimise meta substitution by using forcing code

Issue - State: open - Opened by MatthewDaggitt about 2 years ago - 3 comments
Labels: compiler:type-checker, performance

#249 - Optimise meta substitution by using forcing code

Issue - State: open - Opened by MatthewDaggitt about 2 years ago - 3 comments
Labels: compiler:type-checker, performance

#172 - Add ability to evaluate neural networks in Vehicle

Issue - State: open - Opened by MatthewDaggitt about 2 years ago - 1 comment
Labels: enhancement, compiler:normalisation

#162 - Add the ability to pass command line options through to verifier

Issue - State: closed - Opened by MatthewDaggitt about 2 years ago - 1 comment
Labels: enhancement, backend:verifiers

#101 - Add Agda translation of `map` and `fold`

Issue - State: closed - Opened by MatthewDaggitt over 2 years ago
Labels: bug, backend:itps

#101 - Add Agda translation of `map` and `fold`

Issue - State: closed - Opened by MatthewDaggitt over 2 years ago
Labels: bug, backend:itps

#86 - Quantifying over the output of a network doesn't work

Issue - State: closed - Opened by MatthewDaggitt over 2 years ago - 2 comments
Labels: bug, backend:verifiers

#74 - Soundness problem translating strict inequalities to Marabou

Issue - State: open - Opened by MatthewDaggitt over 2 years ago - 3 comments
Labels: bug, upstream, backend:verifiers, soundness

#74 - Soundness problem translating strict inequalities to Marabou

Issue - State: open - Opened by MatthewDaggitt over 2 years ago - 3 comments
Labels: bug, upstream, backend:verifiers, soundness

#34 - Consistently use one of Q, Quant, or Quantifier

Issue - State: closed - Opened by wenkokke about 3 years ago - 1 comment
Labels: refactoring

GitHub / vehicle-lang/vehicle issues and pull requests