issues
search
vehicle-lang
/
vehicle
A toolkit for enforcing logical specifications on neural networks
https://vehicle-lang.readthedocs.io/
Other
81
stars
7
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Use MonadFreeContext and MonadBoundContext more extensively
#717
MatthewDaggitt
closed
1 year ago
0
Split MonadContext into MonadFreeContext and MonadBoundContext
#716
MatthewDaggitt
closed
1 year ago
0
Outdated documentation of external tests
#715
MatthewDaggitt
closed
1 year ago
3
Specifications with constant inputs falsely return `unsat`
#714
MatthewDaggitt
opened
1 year ago
0
Fix compilation of abstract index equalities
#713
MatthewDaggitt
closed
1 year ago
0
Query compilation bug involving `if`s
#712
MatthewDaggitt
closed
1 year ago
0
Add warnings for conversion from strict to non-strict inequalities
#711
MatthewDaggitt
closed
1 year ago
0
Remove `ConsVector` builtin
#710
MatthewDaggitt
closed
1 year ago
0
Remove meta-substitution from `MonadNorm`
#709
MatthewDaggitt
closed
1 year ago
0
Move `Ann` from expressions to builtins
#708
MatthewDaggitt
closed
1 year ago
0
Can we move `Ann` node into `Builtin`?
#707
MatthewDaggitt
closed
1 year ago
0
Missing backspaces in documentation
#706
wenkokke
opened
1 year ago
1
Add warning on trivial property detection
#705
MatthewDaggitt
closed
1 year ago
0
Use kebab-case in command line docs
#704
MatthewDaggitt
closed
1 year ago
0
Fix couple of bugs in docs
#703
MatthewDaggitt
closed
1 year ago
0
Fix various bugs in linearity analysis
#702
MatthewDaggitt
closed
1 year ago
0
Linearity type-system bug with division
#701
MatthewDaggitt
closed
1 year ago
0
Typing error on division
#700
MatthewDaggitt
closed
1 year ago
1
Error reporting for non-linear division erroneously refers to multiplication rather than division
#699
MatthewDaggitt
closed
1 year ago
0
Remove higher order declarations before exporting to JSON
#698
MatthewDaggitt
closed
1 year ago
0
[pre-commit.ci] pre-commit autoupdate
#697
pre-commit-ci[bot]
closed
1 year ago
0
Refactor translation to Agda to rely less on pattern synonyms
#696
MatthewDaggitt
closed
1 year ago
0
Superclass robustness memory issue
#695
BenCoke12
opened
1 year ago
0
Use same loss-function type system in Agda backend
#694
MatthewDaggitt
opened
1 year ago
0
Efficient compilation to loss backends
#693
MatthewDaggitt
closed
3 months ago
2
Remove more Expr type synonyms and get rid of glue outside type-checking
#692
MatthewDaggitt
closed
1 year ago
0
Update CONTRIBUTING to reflect changes to Pygments tests
#691
wenkokke
closed
1 year ago
0
Remove NewTest
#690
wenkokke
closed
1 year ago
0
Fix packaging for pygments
#689
wenkokke
closed
1 year ago
0
Remove `NewTest`
#688
MatthewDaggitt
closed
1 year ago
2
Refactor some Haskell module locations
#687
MatthewDaggitt
closed
1 year ago
0
Implement unification of lambdas
#686
MatthewDaggitt
closed
1 year ago
0
Can't unify lambdas
#685
MatthewDaggitt
closed
1 year ago
0
Switch from floats to rationals during elimination of user variables
#684
MatthewDaggitt
closed
1 year ago
0
Inline `abcnumeric`/`abcboolasbool` and abstract over vector functions
#683
wenkokke
closed
1 year ago
0
Remove TypeClassSolver class entirely
#682
MatthewDaggitt
closed
1 year ago
0
Implement PGD for tensorflow backend
#681
MatthewDaggitt
closed
1 month ago
2
[pre-commit.ci] pre-commit autoupdate
#680
pre-commit-ci[bot]
closed
1 year ago
0
Bump pypa/cibuildwheel from 2.14.1 to 2.15.0
#679
dependabot[bot]
closed
1 year ago
0
Fix Marabou documentation bug about soundness
#678
MatthewDaggitt
closed
1 year ago
0
Fix bug where map wasn't evaluating properly
#677
MatthewDaggitt
closed
1 year ago
0
Should not generalise over resource declaration types
#676
MatthewDaggitt
opened
1 year ago
0
Improved typing error message infrastructure and constraint origin information
#675
MatthewDaggitt
closed
1 year ago
0
Enforce restrictions on annotated declarations via instance resolution
#674
MatthewDaggitt
opened
1 year ago
0
Similarity counterexamples sometimes misidentified
#673
BenCoke12
opened
1 year ago
5
Prevent tests from being run with +release-build
#672
wenkokke
closed
1 year ago
0
Refactor loss compilation to preserve boolean operations where possible
#671
MatthewDaggitt
closed
1 year ago
0
Change Sample to Optimise
#670
MatthewDaggitt
closed
1 year ago
0
Something went wrong in query compilation: CannotEliminateNot
#669
BenCoke12
closed
1 year ago
1
Move the last vestiges of `TypeClassSolver` into `InstanceBuiltins`
#668
MatthewDaggitt
closed
1 year ago
0
Previous
Next