TypeChef release 3.4

kaestner@cs.cmu.edu (Christian Kästner)
Thu, 21 Mar 2013 00:00:00 GMT

TypeChef 0.3.4 is finally released and contains many updates and bugfixes. This version is finally able to typecheck the entire subsystem of the Linux kernel we have been targeting. For code and changelog see the github page