https://github.com/weaversa/saw-llvm-template

A template for SAW verification of LLVM
https://github.com/weaversa/saw-llvm-template

Last synced: 19 days ago
JSON representation

A template for SAW verification of LLVM

• Host: GitHub
• URL: https://github.com/weaversa/saw-llvm-template
• Owner: weaversa
• License: bsd-3-clause
• Created: 2022-01-10T14:33:39.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2022-01-13T17:09:07.000Z (over 3 years ago)
• Last Synced: 2025-02-17T08:34:20.794Z (4 months ago)
• Size: 4.88 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# saw-llvm-template

A template for SAW verification of LLVM