Commit Graph

Select branches

Hide Pull Requests

master

upstream

Mono Color

• 103c4d4481 Add signal handler for SIGTERM master Patrick Lühne 2018-02-01 14:45:00 +01:00
• 62ec122116 Remove memory statistics for interrupt safety Patrick Lühne 2018-01-31 18:28:49 +01:00
• 6c25431873 Add more statistics Patrick Lühne 2018-01-31 17:24:06 +01:00
• f0b59029d1 Hide iterations section if none were performed Patrick Lühne 2018-01-26 18:57:24 +01:00
• 36472346f8 Fix out-of-bounds access if no iteration performed Patrick Lühne 2018-01-26 18:55:11 +01:00
• bf2400fd98 Print statistics on SIGINT Patrick Lühne 2018-01-26 18:47:11 +01:00
• a9ee64ed81 Print plan statistics only if plan found Patrick Lühne 2018-01-26 18:46:42 +01:00
• 704fbcf130 Move statistics output to dedicated function Patrick Lühne 2018-01-26 18:37:03 +01:00
• 583ee11728 Add detailed statistics in YAML format Patrick Lühne 2018-01-26 17:23:54 +01:00
• 46bdb212de Print more statistics Patrick Lühne 2018-01-25 17:48:56 +01:00
• e960f0d764 Fix syntax error Patrick Lühne 2018-01-25 16:57:05 +01:00
• ffe5ae8914 Make Mp the default planner Patrick Lühne 2018-01-25 16:56:43 +01:00
• 21571c20a1 Initial commit with Madagascar 2016-01-22 upstream Patrick Lühne 2018-01-25 16:50:51 +01:00