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