Read the developer documentation at doc/DEVELOPER.md.
The user manual is at doc/manual.md. There is also documentation at
the RV-Predict website.
For support and bug reports please visit Runtime Verification Support.
This repository has been archived by the owner on Nov 7, 2023. It is now read-only.
forked from runtimeverification/rv-predict
-
Notifications
You must be signed in to change notification settings - Fork 1
Code for improved rv-predict and installer
License
SoftEngResearch/rv-predict
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Code for improved rv-predict and installer
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- C 49.0%
- Java 22.3%
- C++ 12.6%
- Roff 10.9%
- Shell 0.8%
- Lex 0.7%
- Other 3.7%