~tapaal-dist-ctl/verifypn/Master_printer

~tapaal-dist-ctl/verifypn/Master_printer_merge » Changes from revision 266

From Revision 266 to 247

Rev	Summary	Authors	Date
266	Peter added printers, but use of pointer do not work jet Peter added printers, but use of pointer do not work jet	Peter Fogh	7 years ago
265	BFS BFS	Samuel Pastva	7 years ago
264	Fix MPI termination Fix MPI termination	Samuel Pastva	7 years ago
263	merge + comm reset merge + comm reset	Samuel Pastva	7 years ago
262	Simplified communicator Simplified communicator	Samuel Pastva	7 years ago
261	Search strategies and partitionings Search strategies and partitionings	Samuel Pastva	7 years ago
260	Get stats from DG Get stats from DG	Samuel Pastva	7 years ago
259	Fix invalid delete in destructor Fix invalid delete in destructor	Samuel Pastva	7 years ago
258	merge main file changes merge main file changes	Samuel Pastva	7 years ago
257	merge build changes merge build changes	Samuel Pastva	7 years ago
256	Actually use pushDependnecy Actually use pushDependnecy	Samuel Pastva	7 years ago
255	refactoring refactoring	Samuel Pastva	7 years ago
254	Search strategy cleanup Search strategy cleanup	Samuel Pastva	7 years ago
253	Added dist flag Added dist flag	lasjen12 at aau	7 years ago
252	Distributed alg + refactoring Distributed alg + refactoring	Samuel Pastva	7 years ago
251	Implemented local algorithm Implemented local algorithm	lasjen12 at aau	7 years ago
250	Added tostring methods and printing. Also fixed a parser err... Added tostring methods and printing. Also fixed a parser error	lasjen12 at aau	7 years ago
249	removed print removed print	lasjen12 at aau	7 years ago
248	SearchStrategy fixed. Although we are now inconsistent SearchStrategy fixed. Although we are now inconsistent	lasjen12 at aau	7 years ago
247	maxdist now computes properly maxdist now computes properly	lasjen12 at aau	7 years ago

Older »