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
Tue, 03 Jul 2018 16:50:01 +0200 exam draft
lammich <lammich@in.tum.de> [Tue, 03 Jul 2018 16:50:01 +0200] rev 69941
exam
Tue, 03 Jul 2018 11:21:09 +0200 merged draft
lammich <lammich@in.tum.de> [Tue, 03 Jul 2018 11:21:09 +0200] rev 69940
merged
Tue, 03 Jul 2018 11:20:53 +0200 exam draft
lammich <lammich@in.tum.de> [Tue, 03 Jul 2018 11:20:53 +0200] rev 69939
exam
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip