A GUI frontend for the vehicle command line tool
Project description
Vehicle Specification Editor
A graphical user interface for editing, compiling, and verifying Vehicle language specifications.
Features
- Code Editor: Syntax highlighting for Vehicle (.vcl) files
- File Operations: New, Open, Save for specification files
- Compilation: Compile specifications with view of query graph
- Verification: Run verification using Marabou
- Resource Management: Load networks, datasets, and parameters using filesystem
- Counterexamples: Visual representation of counterexamples and witnesses
Requirements
- Python 3.10+
- Marabou verifier (for verification)
Usage
vehicle_gui
- Open a Vehicle specification file (.vcl)
- Load required resources (auto-detected)
- Set verifier path if needed
- Compile or verify specification
- View results in console and results tabs
License
MIT License
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
vehicle_gui-0.2.0.tar.gz
(38.3 kB
view details)
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file vehicle_gui-0.2.0.tar.gz.
File metadata
- Download URL: vehicle_gui-0.2.0.tar.gz
- Upload date:
- Size: 38.3 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.2.0 CPython/3.11.13
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
3f059acdab1a9cc343b96e780e2e29d3d4040fac45b6bf9adc3602e48739a0e7
|
|
| MD5 |
070de3eac1d2104089baf825999a6acd
|
|
| BLAKE2b-256 |
7548982f845a5019655c8c76816caceff18d7089a2ca730096e8bcce79be6c0a
|
File details
Details for the file vehicle_gui-0.2.0-py3-none-any.whl.
File metadata
- Download URL: vehicle_gui-0.2.0-py3-none-any.whl
- Upload date:
- Size: 47.0 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.2.0 CPython/3.11.13
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
4fc5be40eb2b538a92195aa824929a25836d74584db8b7cff5793d58ddb99183
|
|
| MD5 |
ce381bc8e4e81d0af1bd269dac8440dd
|
|
| BLAKE2b-256 |
c6356a8b5d25dd676cc4d9d5fad50d5826a44bfa39d524a9f7a81e2eeb92f5f5
|
