| 
							
							
								 Dennis Luxen | 47a2271e27 | copy edits: | 2014-12-23 11:30:45 +01:00 |  | 
			
				
					| 
							
							
								 Dennis Luxen | ccc4607d6d | renamed:    Util/GraphLoader.h -> Util/graph_loader.hpp | 2014-12-22 16:09:01 +01:00 |  | 
			
				
					| 
							
							
								 Dennis Luxen | 13bf4fab32 | make implementation of restriction map independent of graph type | 2014-12-19 16:46:12 +01:00 |  | 
			
				
					| 
							
							
								 Dennis Luxen | 2ebe2faa74 | renamed Util/TimingUtil.h -> Util/timing_util.hpp | 2014-12-17 17:33:31 +01:00 |  | 
			
				
					| 
							
							
								 Dennis Luxen | 58de37e822 | renamed:    DataStructures/* -> data_structures/* | 2014-11-28 12:15:31 +01:00 |  | 
			
				
					| 
							
							
								 Dennis Luxen | 7b3a0c5105 | renamed:    Contractor/* -> contractor/* | 2014-11-28 10:30:21 +01:00 |  |