lp:~ruby/+junk/pvs
Created by
Michal Kwiatkowski
and last modified
- Get this branch:
- bzr branch lp:~ruby/+junk/pvs
Only
Michal Kwiatkowski
can upload to this branch. If you are
Michal Kwiatkowski
please log in for upload directions.
Branch information
- Owner:
- Michal Kwiatkowski
- Status:
- Development
Recent revisions
- 112. By Michal Kwiatkowski
-
Added HACKING file with basic information on running PVS in development environment.
- 111. By Michal Kwiatkowski
-
Updating database more often, making information in the web interface more up-to-date.
- 107. By Michal Kwiatkowski
-
Moved PatchApplication to a separate view, independent of PatchVerification.
- 105. By Michal Kwiatkowski
-
Updated system architecture document to conform to current implementation.
- 104. By Michal Kwiatkowski
-
Adapted roundup reporter to the new model without Reports and ReportPoints.
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)