https://github.com/davidlazar/llvm-semantics
Formal semantics of LLVM IR in K
https://github.com/davidlazar/llvm-semantics
formal-methods formal-semantics k-framework llvm llvm-ir plt research
Last synced: 3 months ago
JSON representation
Formal semantics of LLVM IR in K
- Host: GitHub
- URL: https://github.com/davidlazar/llvm-semantics
- Owner: davidlazar
- License: other
- Created: 2011-12-25T22:31:14.000Z (about 14 years ago)
- Default Branch: master
- Last Pushed: 2015-06-25T05:06:47.000Z (over 10 years ago)
- Last Synced: 2023-10-20T19:14:43.939Z (over 2 years ago)
- Topics: formal-methods, formal-semantics, k-framework, llvm, llvm-ir, plt, research
- Language: LLVM
- Homepage:
- Size: 14.4 MB
- Stars: 41
- Watchers: 11
- Forks: 9
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE