by adamch
This project aims to develop a prototype system that explores how we should re-invision computer system design based on changes in how people get the software that they run, as well as advances in static analysis of software.
adamch committed patchset 43 of module proofos to the ProofOS CVS repository, changing 1 files
adamch committed patchset 8 of module accel to the ProofOS CVS repository, changing 1 files
adamch committed patchset 16 of module asm to the ProofOS CVS repository, changing 3 files
adamch committed patchset 15 of module asm to the ProofOS CVS repository, changing 2 files
adamch committed patchset 7 of module accel to the ProofOS CVS repository, changing 6 files
adamch committed patchset 42 of module proofos to the ProofOS CVS repository, changing 53 files
adamch committed patchset 41 of module proofos to the ProofOS CVS repository, changing 5 files
adamch committed patchset 40 of module proofos to the ProofOS CVS repository, changing 3 files
adamch committed patchset 39 of module proofos to the ProofOS CVS repository, changing 3 files
Copyright © 2009 SourceForge, Inc. All rights reserved. Terms of Use
