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