-
Notifications
You must be signed in to change notification settings - Fork 1
roselone/pmGen
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Latest commit | ||||
Repository files navigation
pmGen is an LLVM-to-Promela compiler. It takes LLVM bitcode which can be generated from C/C++,using llvm-gcc or clang,or any other language that can be converted into LLVM and compiles that into Promela,a formal language which can be used to check models by SPIN. pmGen is MIT licensed.
About
An LLVM-to-Promela Compiler
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published