[kaffe-siteadmin] CVS website (jim): Add link to Pathfinder, other alumni stuff, some cleanups

[Kaffe CVS]

PatchSet 213 
Date: 2005/04/27 14:56:28
Author: jim
Branch: HEAD
Tag: (none) 
Log:
Add link to Pathfinder, other alumni stuff, some cleanups

Members: 
	links.shtml:1.46->1.47 

Index: website/links.shtml
diff -u website/links.shtml:1.46 website/links.shtml:1.47
--- website/links.shtml:1.46	Sat Mar 26 11:31:15 2005
+++ website/links.shtml	Wed Apr 27 14:56:28 2005
@@ -139,7 +139,7 @@
 
       <li><a href="http://jcvm.sourceforge.net/">JC</a><p>
 
-          A virtual machine written in Java that converts Java bytecode to C before running it.<p>
+          A virtual machine written in Java that converts Java bytecode to C before running it.  (from Kaffe project alumni Archie Cobbs)<p>
 
       <li><a href="http://www.hungry.com/old-hungry/products/japhar/">Japhar</a><p>
 
@@ -183,6 +183,10 @@
 
       	A Java Virtual Machine for .Net!.<p>
 
+      <li><a href="http://javapathfinder.sourceforge.net/">Java Pathfinder</a><p>
+
+          A runtime Java program verification / model checker tool from NASA that is actually a state matching, backtracking JVM that is a model checker that is written in and runs on top of Java!  It can   (with Kaffe project alumni Peter Mehlitz)<p>
+
       <li><a href="http://aegisvm.sourceforge.net/">Aegis VM</a><p>
 
 	  The Aegis VM Projects is an on-going effort to develop a lightweight, secure virtual machine for executing Java bytecode.  The VM is intended to be an extension framework for applications or devices that dynamically load and execute untrusted extensions.<p>
@@ -358,6 +362,7 @@
     <h3>Free Java Tools</h3>
 
     <ul>
+
       <li><a href="http://mrl.nyu.edu/~meyer/jasmin/">Jasmin</a><p>
 
 	  A Java assembler.<p>
@@ -498,7 +503,6 @@
 
 	Emulators for lots of machines, including some really early ones.<p>
 	
-	Jim: A personal note, it emulates my first computer, the TI-99, beautifully.  Even cooler, it emulates the <a href="http://perso.club-internet.fr/pytheas/english/apexc.html">APEXC</a>, which was a very early computer built by Dr. Booth (whom I took a course from at the University of Victoria in the early '90s).  If you think you're a hardcore computer geek, compare yourself to this guy.  He collaborated with von Neumann, and built some of the first modern computers ever.  Core memory didn't exist when he was building his machines, so he invented a way to store bytes on a spinning magnetic drum, simultaneously inventing RAM and the hard drive (although several others can claim to have independently invented the hard drive at around the same time).<p>
 	
 	<li><a href="http://www.maconlinux.org/">Mac On Linux</a><p>
 
@@ -538,8 +542,6 @@
 
 	  <a href="http://www.usenix.org/events/jvm01/JVM_wips/S09.pdf">Kaffemik JVM'01 Paper</a><p>
 
-      <li><a href="http://www.pocketlinux.com/">PocketLinux</a><p>
-
       <li><a href="http://www.itl.nist.gov/div897/ctg/java/vmview/">VMVIEW</a><p>
 
       <li><a href="http://www.debian.org/doc/manuals/debian-java-faq/">Debian Java FAQ</a><p>
@@ -550,6 +552,13 @@
 	  
       <li>Index: <a href="http://www.freebsd.org/ports/java.html">FreeBSD Ports: Java</a><p>
 
+      <li><a href="http://www.hiveminded.com/">Hive Minded</a><p>
+
+      	A proprietary .Net virtual machine for SmartCards.  Written by Kaffe project alumni / creator Tim Wilkinson.<p>
+
+      <li><a href="http://www.twincom.net/">Twin Communications</a><p>
+
+        Company that appears to have purchased or acquired the old Transvirtual assets.<p>
 
     </ul>
     <p>