Welcome, Guest! Log In | Create Account

Share

ProofOS

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.


http://proofos.sourceforge.net

Operating System Kernels, Quality Assurance, Scientific/Engineering, Security

Project Feed

  • proofos-all 0.1 file released: proofos-all-0.1.tgz

    
                
            
            

    10:27AM on Nov 10 2007

  • Code committed

    adamch committed patchset 43 of module proofos to the ProofOS CVS repository, changing 1 files

    12:12AM on Jun 23 2006 by adamch

  • Code committed

    adamch committed patchset 8 of module accel to the ProofOS CVS repository, changing 1 files

    10:57PM on Jun 22 2006 by adamch

  • Code committed

    adamch committed patchset 16 of module asm to the ProofOS CVS repository, changing 3 files

    10:55PM on Jun 22 2006 by adamch

  • Code committed

    adamch committed patchset 15 of module asm to the ProofOS CVS repository, changing 2 files

    10:43PM on Jun 22 2006 by adamch

  • Code committed

    adamch committed patchset 7 of module accel to the ProofOS CVS repository, changing 6 files

    10:29PM on Jun 22 2006 by adamch

  • Code committed

    adamch committed patchset 42 of module proofos to the ProofOS CVS repository, changing 53 files

    10:03PM on Apr 04 2006 by adamch

  • Code committed

    adamch committed patchset 41 of module proofos to the ProofOS CVS repository, changing 5 files

    03:08AM on Mar 30 2006 by adamch

  • Code committed

    adamch committed patchset 40 of module proofos to the ProofOS CVS repository, changing 3 files

    01:41AM on Mar 30 2006 by adamch

  • Code committed

    adamch committed patchset 39 of module proofos to the ProofOS CVS repository, changing 3 files

    10:47PM on Mar 29 2006 by adamch

Related Projects