by pwlfong
The Aegis VM Project is an on-going effort to implement a lightweight, secure virtual machine for executing Java bytecode. It will eventually feature a modular architecture, Proof Linking, that supports pluggable verification modules.
pwlfong committed patchset 550 of module AegisVM to the The Aegis VM Project CVS repository, changing 3 files
pwlfong committed patchset 549 of module AegisVM to the The Aegis VM Project CVS repository, changing 1 files
pwlfong committed patchset 548 of module AegisVM to the The Aegis VM Project CVS repository, changing 1 files
pwlfong committed patchset 547 of module AegisVM to the The Aegis VM Project CVS repository, changing 1 files
pwlfong committed patchset 546 of module AegisVM to the The Aegis VM Project CVS repository, changing 1 files
pwlfong committed patchset 545 of module AegisVM to the The Aegis VM Project CVS repository, changing 2 files
pwlfong committed patchset 265 of module JPR to the The Aegis VM Project CVS repository, changing 1 files
pwlfong committed patchset 544 of module AegisVM to the The Aegis VM Project CVS repository, changing 2 files
pwlfong committed patchset 543 of module AegisVM to the The Aegis VM Project CVS repository, changing 1 files
pwlfong committed patchset 542 of module AegisVM to the The Aegis VM Project CVS repository, changing 3 files
Copyright © 2009 SourceForge, Inc. All rights reserved. Terms of Use
