Data

Tools

Indexes

Applications

Experiments

Open Source Science

Recent Releases of vehicle-lang

vehicle-lang - v0.19.0

- Haskell
Published by github-actions[bot] 6 months ago

vehicle-lang - v0.18.0

- Haskell
Published by github-actions[bot] 7 months ago

vehicle-lang - v0.17.0

- Haskell
Published by github-actions[bot] 7 months ago

vehicle-lang - v0.16.1

- Haskell
Published by github-actions[bot] about 1 year ago

vehicle-lang - v0.16.0

- Haskell
Published by github-actions[bot] about 1 year ago

vehicle-lang - v0.15.0

- Haskell
Published by github-actions[bot] over 1 year ago

vehicle-lang - v0.14.1

- Haskell
Published by github-actions[bot] over 1 year ago

vehicle-lang - v0.14

- Haskell
Published by github-actions[bot] almost 2 years ago

vehicle-lang - v0.13.0

- Haskell
Published by github-actions[bot] about 2 years ago

vehicle-lang - v0.11.1

- Haskell
Published by wenkokke about 2 years ago

vehicle-lang - v0.11.0

- Haskell
Published by github-actions[bot] over 2 years ago

vehicle-lang - v0.10.0

- Haskell
Published by github-actions[bot] over 2 years ago

vehicle-lang - v0.9.0

- Haskell
Published by github-actions[bot] over 2 years ago

vehicle-lang - v0.8.0

- Haskell
Published by github-actions[bot] over 2 years ago

vehicle-lang - v0.7.0

- Haskell
Published by github-actions[bot] over 2 years ago

vehicle-lang - v0.6.0

- Haskell
Published by github-actions[bot] over 2 years ago

vehicle-lang - v0.5.1

- Haskell
Published by github-actions[bot] over 2 years ago

vehicle-lang - v0.5.0

- Haskell
Published by github-actions[bot] over 2 years ago

vehicle-lang - v0.4.1

- Haskell
Published by github-actions[bot] over 2 years ago

vehicle-lang - v0.4.0

- Haskell
Published by github-actions[bot] over 2 years ago

vehicle-lang - v0.3.3

- Haskell
Published by github-actions[bot] almost 3 years ago

vehicle-lang - Version 0.3.0

General enhancements

  • The verification plan files generated by vehicle compile -t MarabouQueries command have been changed from verificationPlan.vcle to the more readable .vcl-plan.

  • The proof cache files generated by vehicle verify command have been changed from X.vclp to the more readable .vcl-cache.

Command-line interface changes

  • The command vehicle verify now requires you to point at the folder generated by the previous vehicle compile command, rather than the verification plan file within it, and therefore the parameter --verificationPlan has been changed to --queryFolder.

i.e. an old command vehicle verify --verificationPlan=my/project/queries/verificationPlan.vcle now becomes vehicle verify --queryFolder=my/project/queries.

Language changes

  • Added additional overload for division operator /. Dividing two Nats together now results in a Rat.

Bug fixes

  • Fixed erroneous error message generated when giving inferable parameters an unsupported type.

  • Fixed erroneous evaluation of when dividing two rationals together.

  • Fixed bug where the compiler would sometimes hang when reading .vclo files created with an older version of Vehicle.

What's Changed

  • [pre-commit.ci] pre-commit autoupdate by @pre-commit-ci in https://github.com/vehicle-lang/vehicle/pull/469
  • Fix erroneous inferable parameter error message by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/476
  • Rename verification plan and proof cache files by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/477
  • Add dogsHierarchy test by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/478
  • Loss experiments by @ndslusarz in https://github.com/vehicle-lang/vehicle/pull/463
  • Bump black from 23.1.0 to 23.3.0 in /vehicle-python by @dependabot in https://github.com/vehicle-lang/vehicle/pull/481
  • Build wheels for Vehicle by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/482
  • [pre-commit.ci] pre-commit autoupdate by @pre-commit-ci in https://github.com/vehicle-lang/vehicle/pull/483
  • Fix #486 and #485 by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/487
  • Adds the BNFC-generated Pygments lexer to py-vehicle-lang by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/489
  • Cache the results of Gaussian elimination to avoid re-solving the same equations repeatedly by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/490
  • Bump tox from 4.4.8 to 4.4.11 in /py-vehicle-lang-tensorflow by @dependabot in https://github.com/vehicle-lang/vehicle/pull/492
  • Bump mypy from 1.1.1 to 1.2.0 in /py-vehicle-lang-tensorflow by @dependabot in https://github.com/vehicle-lang/vehicle/pull/491
  • [pre-commit.ci] pre-commit autoupdate by @pre-commit-ci in https://github.com/vehicle-lang/vehicle/pull/493
  • Overload division so that dividing two Nats make a Rat by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/494
  • Add image of specification to README.md by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/496
  • Build Marabou on CI by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/475
  • Add support for './scripts/cabal-freeze all' by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/498
  • Fix py-vehicle-lang's Setup.hs: Remove _external if it exists by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/499
  • Fix broken link in README by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/500
  • Add list of verifier backends to the docs by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/504
  • Add Dockerfiles by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/501
  • Bump tox from 4.4.11 to 4.4.12 in /py-vehicle-lang-tensorflow by @dependabot in https://github.com/vehicle-lang/vehicle/pull/505
  • Added three ACASXu networks to example folder by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/508
  • Bump numpy from 1.24.2 to 1.24.3 in /py-vehicle-lang-tensorflow by @dependabot in https://github.com/vehicle-lang/vehicle/pull/510
  • Build all wheels using cibuildwheel by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/506
  • Bump pypa/cibuildwheel from 2.12.1 to 2.12.3 by @dependabot in https://github.com/vehicle-lang/vehicle/pull/509
  • Decouple CI for py-vehicle-lang-tensorflow by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/516
  • Use file-embed to embed standard library by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/518
  • Implemented object file versioning and general versioning improvements by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/519
  • Refactor Decl into DefAbstract and DefFunction by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/520
  • Preparations for implementing @noinline in NBE by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/521
  • Rename primitives in Python binding by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/524
  • Remove dependency on recursion-schemes by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/525
  • Update sphinx requirement from <7,>=6.1.3 to >=6.1.3,<8 in /docs-source by @dependabot in https://github.com/vehicle-lang/vehicle/pull/522
  • Replace normApp with smart App synonym by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/526
  • Add beginning of integration test suite for Marabou by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/497
  • [pre-commit.ci] pre-commit autoupdate by @pre-commit-ci in https://github.com/vehicle-lang/vehicle/pull/529
  • Fix bug in pygments distribution & include LaTeX minted sample by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/530

Full Changelog: https://github.com/vehicle-lang/vehicle/compare/v0.2.0...v0.3.0

- Haskell
Published by wenkokke almost 3 years ago

vehicle-lang - Version 0.2.0

General enhancements

  • Added support for building Vehicle with GHC 8.10, 9.2 and 9.4.

  • Vehicle now generates interface files with the .vclo extension that cache the results of type-checking. If the interface file exists and the hash matches then it won't re-type check the original file.

  • Drastically improved the performance of type-checking (e.g. AcasXu down from 20 seconds to 0.5 seconds).

  • Drastically improved the performance of compilation to Marabou (e.g. mnist-robustness now takes 1.5 seconds per image as opposed to ~50 years!).

  • Logs now print out in real-time instead of at the end of compilation.

  • Improved error messages which involve type declarations. The messages now display both the original and the expanded form of the type.

  • After verification, witnesses returned by the verifier are now translated and printed out.

Command-line interface changes

  • Decoupled the compilation and verification of verifier queries in the command-line interface. The compile command will now generate a verificationPlan file that stores all the state needed to reconstruct the truth value of the original property from the query results. The verify command now has been altered to now take in the verificationPlan file and run it. The old behaviour of the verify command which performed both compilation and verification has been retained in the new compileAndVerify command.

  • The existing check command has been renamed validate.

  • The new check command now type-checks the specification.

  • The verify command now prints out progress to the command line.

  • Removed the --redirect-output and --redirect-error command line options from all modes. This functionality can be replicated via pipes.

Language changes

  • Added Type to the frontend language for the type of types.

Bug fixes

  • Fixed parsing error where unbound type arguments were being generalised over in the opposite order that they occur.

  • Fixed parsing error when partially applying map or fold.

  • Fixed typing error for map.

  • Fixed typing error for higher-order function arguments without explicit annotations.

  • Fixed typing error for let-bound expressions at the top-level scope of a declaration.

  • Fixed problem with properties with no infinite quantifiers getting incorrectly negated when compiling to Marabou queries.

  • Fixed problem where properties with forall .. in and `exists .. in were causing compilation to Marabou to get stuck.

What's Changed

  • Some odds and ends to do with profiling and performance by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/241
  • Fix #240 by switching let-expressions to use argument inference by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/242
  • Reorganise meta-variable code in type-checker to make it more modular by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/243
  • Speedup type-checking slightly by removing unneccessary meta substitution through meta-types by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/244
  • Fix #246 by improving the error message for invalid property types by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/248
  • Stop substituting metas through all constraints every pass by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/250
  • Improve type-checking performance by removing substitutions through meta solutions by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/251
  • Improve performance of type-checking by better guards for logging by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/252
  • Python commandline3 by @Tgl70 in https://github.com/vehicle-lang/vehicle/pull/254
  • Fix dependabot for readthedocs by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/256
  • Removed another unused normalisation option by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/258
  • Fixes #253 #230 by improving setup documentation by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/259
  • Fix #220 by documenting what happens when no proof cache is provided when exporting to Agda by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/261
  • Check #102 is fixed by enabling disabled tests by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/263
  • Fix bug where incorrectly negating quantifier-less expressions for Marabou by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/262
  • Remove duplicate default extensions by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/267
  • Steps towards packaging vehicle-python by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/255
  • Support for GHC 9.2 by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/266
  • Improve documentation - fixing bugs and adding detail by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/264
  • Support Python 3.9 by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/271
  • Set fail-fast: true by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/279
  • Use full GHC versions by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/277
  • Fix name for build-vehicle-python by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/280
  • Fix DEFAULTGHCVERSION to use full version number by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/282
  • Support GHC 9.4 by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/273
  • Support Python 3.8 by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/275
  • Multiple differentiable logics by @ndslusarz in https://github.com/vehicle-lang/vehicle/pull/247
  • Support Python 3.7 by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/276
  • Fix #278 by moving BNFC specific code to vehicle-syntax package by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/284
  • Removing Python 3.7 support: numpy dropped support by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/287
  • Run cabal-fmt & stylish-haskell by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/286
  • Update pyproject.toml by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/288
  • [pre-commit.ci] pre-commit autoupdate by @pre-commit-ci in https://github.com/vehicle-lang/vehicle/pull/283
  • Remove old cabal.project files by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/289
  • Network variable names refactor by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/290
  • Added (very basic) module information to identifiers by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/292
  • Remove ability to redirect stdout and stderr by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/296
  • Fix #294 by introducing the concept of different logging backends by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/298
  • [pre-commit.ci] pre-commit autoupdate by @pre-commit-ci in https://github.com/vehicle-lang/vehicle/pull/297
  • Add interface files to Vehicle by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/299
  • Simplify provenance implementation and remove dependency on range package by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/304
  • Remove the concept of property context by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/306
  • Run stylish-haskell by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/309
  • Change logging to reset terminal colors to defaults instead of to white by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/313
  • Add ghc-debug instrumentation by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/310
  • Add nothunks instrumentation by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/314
  • Load empty standard library by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/308
  • Fix #156 where higher-order functions wouldn't type-check by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/317
  • Add library versioning and include imports at normalisation time by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/319
  • Fix generalisation bug in scope checker and use stdlib function in normalisation by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/320
  • Fix various problems with folds in type-checking and normalisation by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/323
  • Fix CI: remove Tox, run Python 3.8.0 on Ubuntu 20.04 by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/327
  • Refactor binders in grammar and delaboration in preparation for type-classes in user-code by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/325
  • [pre-commit.ci] pre-commit autoupdate by @pre-commit-ci in https://github.com/vehicle-lang/vehicle/pull/326
  • Turn DB indices into a newtype by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/328
  • Better handling of negation lowering, including error messages by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/329
  • Convert AST to be strict and derive instances of NoThunks by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/315
  • Switch to ormolu by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/330
  • Add HasMap type class by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/332
  • Fix tests by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/334
  • Migrate strictness annotations to use of StrictData and add benchmarks by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/335
  • Refactoring printing to use Contextualised to eliminate duplicate strategies by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/337
  • Fix performance regression by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/341
  • [pre-commit.ci] pre-commit autoupdate by @pre-commit-ci in https://github.com/vehicle-lang/vehicle/pull/339
  • Bump numpy from 1.23.5 to 1.24.0 in /vehicle-python by @dependabot in https://github.com/vehicle-lang/vehicle/pull/338
  • [pre-commit.ci] pre-commit autoupdate by @pre-commit-ci in https://github.com/vehicle-lang/vehicle/pull/345
  • Fix performance problems by temporarily changing cabal library used for executable component by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/346
  • Remove SupplyNames compiler pass by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/347
  • Add script to plot benchmarks by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/349
  • Switch from DBIndex to DBLevel for NormExprs by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/350
  • Bump numpy from 1.24.0 to 1.24.1 in /vehicle-python by @dependabot in https://github.com/vehicle-lang/vehicle/pull/352
  • Bump sphinx from 5.3.0 to 6.0.0 in /docs-source by @dependabot in https://github.com/vehicle-lang/vehicle/pull/351
  • Add Tensor as a derived function in the standard library by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/353
  • Refactoring of unification while trying to get map to work by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/354
  • Fix: only pass -threaded and -N if --ghc-debug is set by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/348
  • Separate storage of TypeClass and Unification constraints by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/355
  • Added existing drafts in Documentation section by @KatyaKom in https://github.com/vehicle-lang/vehicle/pull/357
  • Separate out unification and type-class solving into separate passes by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/356
  • Implemented basic instance search and got it working for HasMap List by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/358
  • Add HasMap instance for Vector by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/359
  • Minor refactor to unification and meta variable contexts to aid debugging by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/360
  • Bump sphinx from 6.0.0 to 6.1.2 in /docs-source by @dependabot in https://github.com/vehicle-lang/vehicle/pull/362
  • Bump mrkkrp/ormolu-action from 8 to 9 by @dependabot in https://github.com/vehicle-lang/vehicle/pull/361
  • Store insertion status on Visibility instead of on Provenance by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/364
  • Consistently call things of type provenance p by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/365
  • Refactor delaboration to print implicit and instance arguments when not simplifying by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/367
  • Add recursive instance search and use to implement HasAdd by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/368
  • Shift hasNot and hasEq Eq to instance search by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/369
  • First use of type-classes in native Vehicle code by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/370
  • Switched to binary serialisation of object files by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/371
  • Move more type classes to instance search by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/372
  • Fixes #366 by catching error when referenced declaration doesn't exist by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/373
  • Move index quantifiers to the standard library by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/374
  • Bump sphinx from 6.1.2 to 6.1.3 in /docs-source by @dependabot in https://github.com/vehicle-lang/vehicle/pull/375
  • Add HasEq to user syntax and equalsVector to stdlib by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/376
  • Add postulates to user syntax by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/377
  • now all the tests work after merging with Natalia by @Tgl70 in https://github.com/vehicle-lang/vehicle/pull/291
  • Move removal of quantifiers to before network application lifting by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/381
  • Use a continuation passing to cut out the use of CSE by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/382
  • Fixes #307 by writing out verification plan alongside queries by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/380
  • Remove all common subexpression elimination code now that its redundant by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/383
  • [pre-commit.ci] pre-commit autoupdate by @pre-commit-ci in https://github.com/vehicle-lang/vehicle/pull/397
  • Change verifier query compilation complexity to linear by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/398
  • Bump isort from 5.11.4 to 5.12.0 in /vehicle-python by @dependabot in https://github.com/vehicle-lang/vehicle/pull/393
  • Bump tox from 4.3.5 to 4.4.3 in /vehicle-python by @dependabot in https://github.com/vehicle-lang/vehicle/pull/400
  • Fix problems with compilation of declarations to loss functions by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/401
  • Remove provenance from NormExpr data type by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/404
  • Make Expr and NormExpr generic in the type of builtins stored by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/405
  • Loss translation errors fix by @ndslusarz in https://github.com/vehicle-lang/vehicle/pull/395
  • Change Python loss function translation to use exec by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/406
  • Fix type error introduced by #406 by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/409
  • Bump tox from 4.4.3 to 4.4.4 in /vehicle-python by @dependabot in https://github.com/vehicle-lang/vehicle/pull/410
  • Bump numpy from 1.24.1 to 1.24.2 in /vehicle-python by @dependabot in https://github.com/vehicle-lang/vehicle/pull/411
  • [pre-commit.ci] pre-commit autoupdate by @pre-commit-ci in https://github.com/vehicle-lang/vehicle/pull/412
  • Bump tox from 4.4.4 to 4.4.5 in /vehicle-python by @dependabot in https://github.com/vehicle-lang/vehicle/pull/415
  • Make the type-checker generic with respect to a typing subsystem by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/413
  • [pre-commit.ci] pre-commit autoupdate by @pre-commit-ci in https://github.com/vehicle-lang/vehicle/pull/416
  • [pre-commit.ci] pre-commit autoupdate by @pre-commit-ci in https://github.com/vehicle-lang/vehicle/pull/417
  • Bump actions/checkout from 2 to 3 by @dependabot in https://github.com/vehicle-lang/vehicle/pull/422
  • Bump tox from 4.4.5 to 4.4.6 in /vehicle-python by @dependabot in https://github.com/vehicle-lang/vehicle/pull/423
  • Separate type-system into three different parts: standard, linearity, polarity by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/421
  • Rename profile to mem-profile by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/425
  • Fix merge queue configuration by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/430
  • Add cabal-freeze script by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/427
  • Fix problem with free variables before quantifiers not normalising in queries by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/424
  • Add profile-time by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/428
  • Fix profile-heap by @wenkokke in https://github.com/vehicle-lang/vehicle/pull/429
  • Add type class for linear expressions and add sparse linear expression representation by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/433
  • Switch to sparse matrix representation and add MNIST example by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/434
  • Bump black from 22.12.0 to 23.1.0 in /vehicle-python by @dependabot in https://github.com/vehicle-lang/vehicle/pull/437
  • Bump mypy from 0.971 to 1.0.1 in /vehicle-python by @dependabot in https://github.com/vehicle-lang/vehicle/pull/438
  • Remove obsolete normalisation code by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/442
  • Reduce duplication of names in golden test suite by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/439
  • Remove CoDeBrujin indices and alpha equivalence by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/441
  • Document profiling scripts by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/440
  • Remove unneeded import by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/450
  • [pre-commit.ci] pre-commit autoupdate by @pre-commit-ci in https://github.com/vehicle-lang/vehicle/pull/453
  • Bump mypy from 1.0.1 to 1.1.1 in /vehicle-python by @dependabot in https://github.com/vehicle-lang/vehicle/pull/452
  • Bump tox from 4.4.6 to 4.4.7 in /vehicle-python by @dependabot in https://github.com/vehicle-lang/vehicle/pull/451
  • Overhaul of verify mode and added typeCheck mode by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/445
  • Refactor verification query structure by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/454
  • Fix bug introduced in golden testing code in previous commit by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/455
  • Update ACAS Xu spec to include normalisation and fix bugs in LNF code by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/457
  • Fix alex version by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/459
  • Move pruning to after type-checking by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/458
  • Fully reconstruct user variables from verifier witnesses by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/460
  • Add (untested) VNNLib support by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/461
  • Compensate for wrinkles in Marabou query parser by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/464
  • Update to Ormolu 0.5.3 by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/465
  • Bump tensorflow from 2.11.0 to 2.11.1 in /vehicle-python by @dependabot in https://github.com/vehicle-lang/vehicle/pull/466
  • Bump mrkkrp/ormolu-action from 9 to 11 by @dependabot in https://github.com/vehicle-lang/vehicle/pull/468
  • Bump tox from 4.4.7 to 4.4.8 in /vehicle-python by @dependabot in https://github.com/vehicle-lang/vehicle/pull/467
  • Release v0.2.0 by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/471
  • Added progress bars and fixed wind-controller example by @MatthewDaggitt in https://github.com/vehicle-lang/vehicle/pull/470

New Contributors

  • @KatyaKom made their first contribution in https://github.com/vehicle-lang/vehicle/pull/357

Full Changelog: https://github.com/vehicle-lang/vehicle/compare/v0.1.0...v0.2.0

- Haskell
Published by MatthewDaggitt almost 3 years ago

vehicle-lang - Version 0.1.0

First initial release so that we can target tutorials at.

- Haskell
Published by MatthewDaggitt over 3 years ago