vehicle-lang/vehicle issues and pull requests

#847 - Add a loop optimisation pass

Issue - State: open - Opened by MatthewDaggitt 10 days ago
Labels: enhancement, backend:verifiers

#846 - Add hyper-rectangle test and update docs for min/max

Pull Request - State: closed - Opened by MatthewDaggitt 10 days ago
Labels: documentation, enhancement, test-suite

#845 - Minor refactorings

Pull Request - State: closed - Opened by MatthewDaggitt 10 days ago
Labels: backend:verifiers, refactoring

#844 - Added 'min' and 'max' to front-end language

Pull Request - State: closed - Opened by MatthewDaggitt 11 days ago
Labels: enhancement, language

#843 - Bump pypa/cibuildwheel from 2.19.2 to 2.21.1

Pull Request - State: open - Opened by dependabot[bot] 12 days ago
Labels: dependencies, github_actions

#842 - Bump pypa/cibuildwheel from 2.19.2 to 2.21.0

Pull Request - State: closed - Opened by dependabot[bot] 19 days ago - 1 comment
Labels: dependencies, github_actions

#841 - Refactor so that scoped and unscoped expressions are different data types

Pull Request - State: closed - Opened by MatthewDaggitt about 1 month ago
Labels: refactoring

#840 - More refactoring in preparation for working domain implementation

Pull Request - State: closed - Opened by MatthewDaggitt about 1 month ago
Labels: refactoring

#839 - Allow Identifiers to store a list of Modules rather than a single one

Pull Request - State: closed - Opened by MatthewDaggitt about 2 months ago
Labels: refactoring, error-messages

#838 - A few more refactorings in preparation for getting actual domain analysis up and running

Pull Request - State: closed - Opened by MatthewDaggitt about 2 months ago
Labels: backend:loss, refactoring

#837 - Inconsistent quantifier type-class solutions

Issue - State: open - Opened by MatthewDaggitt about 2 months ago
Labels: bug, compiler:type-checker

#836 - Enable warnings for vehicle-syntax package + resulting fixes

Pull Request - State: closed - Opened by MatthewDaggitt about 2 months ago
Labels: refactoring

#835 - Change Logic representation to use `Builtin` instead of `LossBuiltin`

Pull Request - State: closed - Opened by MatthewDaggitt about 2 months ago
Labels: backend:loss, refactoring

#834 - Refactored representation of bound envs to remove Bound constructor

Pull Request - State: closed - Opened by MatthewDaggitt about 2 months ago
Labels: refactoring

#833 - Add binary combinator as arg to minimise/maximise loss translation

Pull Request - State: closed - Opened by MatthewDaggitt about 2 months ago
Labels: bug, backend:loss

#832 - Massive rewrite how loss normalisation works

Pull Request - State: closed - Opened by MatthewDaggitt 2 months ago
Labels: backend:loss, refactoring

#831 - Bump pypa/cibuildwheel from 2.19.2 to 2.20.0

Pull Request - State: closed - Opened by dependabot[bot] 2 months ago - 1 comment
Labels: dependencies, github_actions

#830 - Give feedback when `check` finishes successfully

Issue - State: open - Opened by MatthewDaggitt 2 months ago

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

Pull Request - State: open - Opened by pre-commit-ci[bot] 2 months ago

#828 - Bump pypa/cibuildwheel from 2.19.1 to 2.19.2

Pull Request - State: closed - Opened by dependabot[bot] 3 months ago
Labels: dependencies, github_actions

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

Pull Request - State: closed - Opened by pre-commit-ci[bot] 3 months ago

#826 - Fix CFF

Pull Request - State: closed - Opened by wenkokke 3 months ago - 1 comment

#825 - Try to anchor bumpver pattern

Pull Request - State: closed - Opened by wenkokke 3 months ago

#824 - Bump CFF version

Pull Request - State: closed - Opened by wenkokke 3 months ago

#823 - Update numpy requirement from <2,>=1.21 to >=1.21,<3 in /vehicle-python

Pull Request - State: closed - Opened by dependabot[bot] 4 months ago
Labels: dependencies, python

#822 - Bump pypa/cibuildwheel from 2.18.0 to 2.19.1

Pull Request - State: closed - Opened by dependabot[bot] 4 months ago
Labels: dependencies, github_actions

#821 - Bump mrkkrp/ormolu-action from 15 to 16

Pull Request - State: open - Opened by dependabot[bot] 4 months ago
Labels: dependencies, github_actions

#820 - Update CITATION.cff for latest release

Pull Request - State: closed - Opened by MatthewDaggitt 4 months ago - 1 comment
Labels: documentation

#819 - CITATION.cff validator is failing but not producing any useful output.

Issue - State: closed - Opened by MatthewDaggitt 4 months ago - 1 comment

#818 - Fix Agda bug not reading cache properly

Pull Request - State: closed - Opened by MatthewDaggitt 4 months ago
Labels: bug, backend:verifiers

#817 - Problems running export to agda example

Issue - State: closed - Opened by GuilhermeMBP 4 months ago - 3 comments
Labels: bug, backend:itps

#816 - Bump pypa/cibuildwheel from 2.18.0 to 2.18.1

Pull Request - State: closed - Opened by dependabot[bot] 4 months ago - 1 comment
Labels: dependencies, github_actions

#815 - Bump pypa/cibuildwheel from 2.17.0 to 2.18.0

Pull Request - State: closed - Opened by dependabot[bot] 5 months ago
Labels: dependencies, github_actions

#814 - Removed `Explicit` as a command line target

Pull Request - State: closed - Opened by MatthewDaggitt 5 months ago
Labels: backend:loss, refactoring

#813 - Fix bug in compilation of WindController example to loss functions

Pull Request - State: closed - Opened by MatthewDaggitt 5 months ago
Labels: bug, backend:loss

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

Pull Request - State: closed - Opened by pre-commit-ci[bot] 5 months ago

#811 - Update myst-parser requirement from <3,>=1 to >=1,<4 in /docs

Pull Request - State: closed - Opened by dependabot[bot] 5 months ago
Labels: dependencies, python

#810 - Roadmap to training

Issue - State: open - Opened by wenkokke 6 months ago

#809 - Replace Expr builtin interface with new AST builtin interface

Pull Request - State: closed - Opened by MatthewDaggitt 6 months ago
Labels: refactoring

#808 - Replace Value builtin interface with new AST interface

Pull Request - State: closed - Opened by MatthewDaggitt 6 months ago
Labels: refactoring

#807 - Add new BuiltinInterface at AST level and use during normalisation

Pull Request - State: closed - Opened by MatthewDaggitt 6 months ago
Labels: enhancement, compiler:normalisation

#806 - More work towards loss function implementation

Pull Request - State: closed - Opened by MatthewDaggitt 6 months ago
Labels: backend:loss, refactoring

#805 - Remove `Int` type from Vehicle

Pull Request - State: closed - Opened by MatthewDaggitt 6 months ago
Labels: refactoring, language

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

Pull Request - State: closed - Opened by pre-commit-ci[bot] 6 months ago

#803 - Fix unit tests

Pull Request - State: closed - Opened by MatthewDaggitt 6 months ago
Labels: bug, test-suite

#802 - Removed provenance from App nodes

Pull Request - State: closed - Opened by MatthewDaggitt 6 months ago
Labels: refactoring

#801 - Refactored normalisation of builtins

Pull Request - State: closed - Opened by MatthewDaggitt 6 months ago
Labels: refactoring, compiler:normalisation

#800 - Write out queries when each one is generated and make some datatypes strict

Pull Request - State: closed - Opened by MatthewDaggitt 6 months ago
Labels: backend:verifiers, performance

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

Pull Request - State: closed - Opened by pre-commit-ci[bot] 6 months ago

#798 - Shouldn't use `!` in file names as it is treated as a special character by some shells

Issue - State: open - Opened by MatthewDaggitt 6 months ago - 1 comment
Labels: bug

#797 - Removed no longer needed module

Pull Request - State: closed - Opened by MatthewDaggitt 6 months ago
Labels: refactoring

#796 - Revamped conversion to tensor-based code in preparation for updated loss functions

Pull Request - State: closed - Opened by MatthewDaggitt 6 months ago
Labels: backend:loss, refactoring

#795 - Liberalise postulate syntax to accept polarity and linearity types as arguments

Pull Request - State: closed - Opened by MatthewDaggitt 6 months ago
Labels: language

#794 - Update build requirement from <1.2,>=0.10.0 to >=0.10.0,<1.3 in /vehicle-python

Pull Request - State: closed - Opened by dependabot[bot] 6 months ago
Labels: dependencies, python

#793 - Fix #751 by moving Ann from builtins to stdlib

Pull Request - State: closed - Opened by MatthewDaggitt 6 months ago
Labels: refactoring

#792 - Remove support for GHC 8.10 and 9.0

Issue - State: open - Opened by MatthewDaggitt 6 months ago - 1 comment
Labels: CI

#791 - Remove support for Python 3.8

Issue - State: open - Opened by MatthewDaggitt 6 months ago - 2 comments
Labels: build-system, python

#790 - Try to fix CI failure

Pull Request - State: closed - Opened by MatthewDaggitt 6 months ago - 2 comments
Labels: bug, python, CI

#789 - Loss function translation bug with tensor equality

Issue - State: closed - Opened by MatthewDaggitt 6 months ago - 1 comment
Labels: bug, backend:loss

#788 - Bump pypa/cibuildwheel from 2.16.5 to 2.17.0

Pull Request - State: closed - Opened by dependabot[bot] 7 months ago - 1 comment
Labels: dependencies, github_actions

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

Pull Request - State: closed - Opened by pre-commit-ci[bot] 7 months ago - 1 comment

#786 - Bump softprops/action-gh-release from 1 to 2

Pull Request - State: closed - Opened by dependabot[bot] 7 months ago - 1 comment
Labels: dependencies, github_actions

#785 - Update build requirement from <1.1,>=0.10.0 to >=0.10.0,<1.2 in /vehicle-python

Pull Request - State: closed - Opened by dependabot[bot] 7 months ago
Labels: dependencies, python

#784 - Bump mrkkrp/ormolu-action from 14 to 15

Pull Request - State: closed - Opened by dependabot[bot] 8 months ago
Labels: dependencies, github_actions

#783 - Add CITATION.cff

Pull Request - State: closed - Opened by wenkokke 8 months ago

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

Pull Request - State: closed - Opened by pre-commit-ci[bot] 8 months ago

#781 - Add `CITATION.cff`

Issue - State: closed - Opened by wenkokke 8 months ago - 2 comments
Labels: documentation

#780 - Use new runner with macOS Sonoma

Pull Request - State: open - Opened by wenkokke 8 months ago - 1 comment

#779 - Fix minor typos and spurious warnings

Pull Request - State: closed - Opened by MatthewDaggitt 8 months ago
Labels: bug, documentation, errors-and-warnings

#778 - Added a `TestVerifier` and used to detect and fix bugs in witness reconstruction

Pull Request - State: closed - Opened by MatthewDaggitt 8 months ago
Labels: bug, backend:verifiers, error-messages

#777 - Change golden tests to output diffs of stdout, stderr and files together

Pull Request - State: closed - Opened by MatthewDaggitt 8 months ago
Labels: test-suite

#776 - Add links to arxiv papers

Pull Request - State: closed - Opened by MatthewDaggitt 8 months ago
Labels: documentation, enhancement

#775 - Add the ability to parse arguments directly to the verifier

Pull Request - State: closed - Opened by MatthewDaggitt 8 months ago
Labels: enhancement, backend:verifiers

#774 - Create reproducers automatically when verifiers fail and improve error messages

Pull Request - State: closed - Opened by MatthewDaggitt 8 months ago
Labels: backend:verifiers, error-messages

#773 - Improved performance of compilation to queries

Pull Request - State: closed - Opened by MatthewDaggitt 8 months ago
Labels: enhancement, backend:verifiers, performance

#772 - Bump pypa/cibuildwheel from 2.16.4 to 2.16.5

Pull Request - State: closed - Opened by dependabot[bot] 8 months ago
Labels: dependencies, github_actions

#771 - Add simple arithmetic solving to `Index` size solver

Pull Request - State: closed - Opened by MatthewDaggitt 8 months ago
Labels: enhancement, compiler:type-checker

#770 - Add simple arithmetic solver for index sizes

Issue - State: closed - Opened by MatthewDaggitt 8 months ago
Labels: enhancement, compiler:type-checker

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

Pull Request - State: closed - Opened by pre-commit-ci[bot] 8 months ago

#768 - Update pytest requirement from <8,>=7.1 to >=7.1,<9 in /vehicle-python

Pull Request - State: closed - Opened by dependabot[bot] 8 months ago
Labels: dependencies, python

#767 - Bump pypa/cibuildwheel from 2.16.2 to 2.16.4

Pull Request - State: closed - Opened by dependabot[bot] 8 months ago
Labels: dependencies, github_actions

#766 - Allow use explicit parameters as network sizes

Pull Request - State: closed - Opened by MatthewDaggitt 8 months ago
Labels: enhancement

#765 - Can't use an explicit parameter as a network size

Issue - State: closed - Opened by MatthewDaggitt 8 months ago
Labels: bug

#765 - Can't use an explicit parameter as a network size

Issue - State: closed - Opened by MatthewDaggitt 8 months ago
Labels: bug

#764 - Massive rewrite of how query compilation works

Pull Request - State: closed - Opened by MatthewDaggitt 8 months ago
Labels: backend:verifiers, refactoring

#763 - Add option to `golden-executable` to only show size of diffs for certain extensions

Pull Request - State: closed - Opened by MatthewDaggitt 9 months ago
Labels: enhancement, test-suite

#762 - In `tasty-golden` differences to `stdout` and `stderr` prevent golden file differences from being displayed

Issue - State: open - Opened by MatthewDaggitt 9 months ago
Labels: bug, test-suite

#762 - In `tasty-golden` differences to `stdout` and `stderr` prevent golden file differences from being displayed

Issue - State: closed - Opened by MatthewDaggitt 9 months ago
Labels: bug, test-suite

#761 - Spelling mistake in `mnist-robustness` example

Issue - State: closed - Opened by MatthewDaggitt 9 months ago
Labels: bug, documentation