research/argus
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

add pyargus to workspace

Browse source
This commit is contained in:
Anand Balakrishnan 2023-08-30 12:49:46 -07:00
parent b8c67bcea9
commit 1bb032dadb
No known key found for this signature in database
1 changed files with 1 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
Cargo.toml
View file

@ -5,6 +5,5 @@ members = [
"argus-semantics",
"argus-automata",
"argus-derive",
"pyargus",
]
exclude = ["pyargus"]