Skip to content

Issues: vehicle-lang/vehicle

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

111 Open 261 Closed
111 Open 261 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Extend stable Python API python Pull requests that update Python code
#877 opened Mar 19, 2025 by developing-ar
4
cli output for --help cannot be piped to file bug Something isn't working
#876 opened Mar 17, 2025 by developing-ar
6
--json option is not displayed in --help documentation Improvements or additions to documentation
#875 opened Mar 5, 2025 by Allenator1
4
Marabou does not seem to respect timeout sometimes bug Something isn't working upstream
#874 opened Jan 23, 2025 by tflinkow
1
Improve error message for incorrectTensorLength test bug Something isn't working error-messages
#863 opened Nov 26, 2024 by MatthewDaggitt
Switch to tensor based front-end language refactoring
#860 opened Nov 7, 2024 by MatthewDaggitt
2
Division by zero error in issue714 test bug Something isn't working test-suite
#853 opened Oct 15, 2024 by MatthewDaggitt
Add a loop optimisation pass backend:verifiers enhancement New feature or request
#847 opened Sep 25, 2024 by MatthewDaggitt
Inconsistent quantifier type-class solutions bug Something isn't working compiler:type-checker
#837 opened Aug 19, 2024 by MatthewDaggitt
Give feedback when check finishes successfully
#830 opened Jul 30, 2024 by MatthewDaggitt
Roadmap to training
#810 opened Apr 20, 2024 by wenkokke
4 tasks
Shouldn't use ! in file names as it is treated as a special character by some shells bug Something isn't working
#798 opened Apr 4, 2024 by MatthewDaggitt
1
Remove support for GHC 8.10 and 9.0 CI Continuous integration
#792 opened Mar 28, 2024 by MatthewDaggitt
1
Remove support for Python 3.8 build-system python Pull requests that update Python code
#791 opened Mar 28, 2024 by MatthewDaggitt
2
Add instructions how to use Pygments to display Vehicle code in latex documentation Improvements or additions to documentation enhancement New feature or request
#754 opened Jan 4, 2024 by MatthewDaggitt
Can we make Ann builtin a definition in the stdlib instead? refactoring
#751 opened Dec 21, 2023 by MatthewDaggitt
Can't reliably detect equality between applications of the same network backend:verifiers bug Something isn't working
#750 opened Dec 20, 2023 by MatthewDaggitt
Strict inequality warning shows on specification that does not contain strict inequalities error-messages
#738 opened Nov 2, 2023 by BenCoke12
1
Can't run ACAS Xu example bug Something isn't working upstream
#735 opened Oct 16, 2023 by ckessler2
15
Specifications with constant inputs falsely return unsat backend:verifiers bug Something isn't working soundness affects the soundness of the system upstream
#714 opened Aug 30, 2023 by MatthewDaggitt
Missing backspaces in documentation bug Something isn't working documentation Improvements or additions to documentation
#706 opened Aug 23, 2023 by wenkokke
1
Superclass robustness memory issue bug Something isn't working performance
#695 opened Aug 21, 2023 by BenCoke12
Use same loss-function type system in Agda backend backend:itps bug Something isn't working
#694 opened Aug 21, 2023 by MatthewDaggitt
Should not generalise over resource declaration types bug Something isn't working error-messages
#676 opened Aug 11, 2023 by MatthewDaggitt
Enforce restrictions on annotated declarations via instance resolution compiler:type-checker refactoring
#674 opened Aug 9, 2023 by MatthewDaggitt
ProTip! Type g i on any issue or pull request to go back to the issue listing page.