lammich <lammich@in.tum.de> [Fri, 13 Jul 2018 20:33:36 +0200] rev 69951
Simplified initialization
lammich <lammich@in.tum.de> [Thu, 12 Jul 2018 23:38:18 +0200] rev 69950
Added comment on starting with empty S
lammich <lammich@in.tum.de> [Thu, 12 Jul 2018 23:32:12 +0200] rev 69949
Simplification of proofs and invar
lammich <lammich@in.tum.de> [Mon, 09 Jul 2018 11:57:12 +0200] rev 69948
corr 11
lammich <lammich@in.tum.de> [Mon, 09 Jul 2018 11:57:00 +0200] rev 69947
corr 11
lammich <lammich@in.tum.de> [Mon, 09 Jul 2018 11:56:29 +0200] rev 69946
Dijkstra cleaned up
lammich <lammich@in.tum.de> [Fri, 06 Jul 2018 00:22:56 +0200] rev 69945
Dijkstra wrapper with consistency check on list
lammich <lammich@in.tum.de> [Thu, 05 Jul 2018 19:13:38 +0200] rev 69944
From-List, and example. TODO: Combined correctness theorem for dijkstra o from_list, validity check for list (no multi-edges)
lammich <lammich@in.tum.de> [Thu, 05 Jul 2018 18:32:01 +0200] rev 69943
Dijkstra - executable
lammich <lammich@in.tum.de> [Wed, 04 Jul 2018 19:00:02 +0200] rev 69942
Dijkstra, up to PrioMap-Locale