0xdayu/VeriExodus
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
VeriExodus ============================================================================= HSA part: 0. Run configure.sh. 1. Run generate_cisco_router_tf.sh, it will call generate_stanford_backbond_tf.py which wll takes in cisco configuration files for standford backbond under directory hsa/examples/stanford/Stanford_backbone and all generated translate functions could be found in hsa/examples/stanford/tf_stanford_backbone 2. One can establish a project by loading all files from hsa/ directory.
About
Exodus Verification
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published