replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Resolve namespace conflict in compute_required_resources.pl ic solver and eclipse both provide a min/2 function which leads to conflict when loading bridge_programming and compute_required_resource.
Initial version of public stable barrelfish repository.