TWiki's UHC webThe UHC web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise.http://www.cs.uu.nl/wiki/bin/view/UHCCopyright 2013 by contributing authors2012-04-02T14:17:37ZWebNewshttp://www.cs.uu.nl/wiki/bin/view/UHC/WebNews2012-04-02T14:17:37Z20120402 The UHC repository has been moved to https://github.com/UU ComputerScience/uhc 20120320 Change of repository . Mar 29 the svn repo will become readonly ... (last changed by AtzeDijkstra)AtzeDijkstraDownloadhttp://www.cs.uu.nl/wiki/bin/view/UHC/Download2012-04-02T14:14:28ZLatest stable Version 1.1.3 Platforms for which a binary installer is available (currently limited to platforms available to the developers). Distribution file names ... (last changed by AtzeDijkstra)AtzeDijkstraTeamhttp://www.cs.uu.nl/wiki/bin/view/UHC/Team2012-03-01T11:33:14ZStaff Atze Dijkstra: overall design, type system, bytecode interpreter. Fokker: whole program analysis backend. Middelkoop: Ruler, type system generation ... (last changed by AtzeDijkstra)AtzeDijkstraWebHomehttp://www.cs.uu.nl/wiki/bin/view/UHC/WebHome2012-03-01T11:27:01ZNews What's new The current intermediate version is 1.1.3 with preliminary support for a javascript backend. See also http://uu computerscience.github.com/uhc js ... (last changed by AtzeDijkstra)AtzeDijkstraJavascriptBackendhttp://www.cs.uu.nl/wiki/bin/view/UHC/JavascriptBackend2012-01-27T14:48:57ZThe Javascript Backend The JCU Port This is a copy paste from my report that can be found on blog. The JCU application can be found here: https://github.com/spockz ... (last changed by AlessandroVermeulen)AlessandroVermeulenWebPreferenceshttp://www.cs.uu.nl/wiki/bin/view/UHC/WebPreferences2011-11-25T14:35:43ZUHC Web Preferences The following settings are web preferences of the UHC web. These preferences overwrite the site level preferences in . and , and ... (last changed by AtzeDijkstra)AtzeDijkstraWebStatisticshttp://www.cs.uu.nl/wiki/bin/view/UHC/WebStatistics2011-11-21T10:50:13ZStatistics for UHC Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads ... (last changed by TWikiGuest)TWikiGuestWebLeftBarhttp://www.cs.uu.nl/wiki/bin/view/UHC/WebLeftBar2010-10-28T19:51:02ZUHC Download Install Documentation Troubleshooting blog News More ... Center Master Program (last changed by AtzeDijkstra)AtzeDijkstraAnnouncehttp://www.cs.uu.nl/wiki/bin/view/UHC/Announce2010-09-22T14:24:29ZTextual announcement Video announcement The official announcement of the first release of UHC at the 5th Hackathon in Utrecht, April 18th, 2009. (last changed by AtzeDijkstra)AtzeDijkstraUhcLogoshttp://www.cs.uu.nl/wiki/bin/view/UHC/UhcLogos2010-06-05T17:26:28ZAtzeDijkstra 05 Jun 2010 UHC logo: (last changed by AtzeDijkstra)AtzeDijkstraSvnLoghttp://www.cs.uu.nl/wiki/bin/view/UHC/SvnLog2009-11-17T11:35:40Z (last changed by AtzeDijkstra)AtzeDijkstraReleaseHistoryhttp://www.cs.uu.nl/wiki/bin/view/UHC/ReleaseHistory2009-04-25T07:29:03Z (last changed by AtzeDijkstra)AtzeDijkstraWebIndexhttp://www.cs.uu.nl/wiki/bin/view/UHC/WebIndex2009-04-25T07:26:36Z (last changed by AtzeDijkstra)AtzeDijkstraGettingStartedhttp://www.cs.uu.nl/wiki/bin/view/UHC/GettingStarted2009-04-15T14:24:06Z (last changed by AtzeDijkstra)AtzeDijkstraWebTopBarhttp://www.cs.uu.nl/wiki/bin/view/UHC/WebTopBar2009-02-01T12:13:38ZTOP TOP (last changed by EdwartNoertoen)EdwartNoertoenWebTopicListhttp://www.cs.uu.nl/wiki/bin/view/UHC/WebTopicList2006-11-15T19:43:52Z (last changed by TWikiContributor)TWikiContributor
