Tags

Tags give the ability to mark specific points in history as being important
  • heur-ma-pot

    2aa098fa · heur-ma-potential: Refactoring. · Aug 31, 2015
  • test-msg-schema

    5389c126 · Merge branch 'refactor' into lightweight-protobuf · Jun 07, 2015
  • lm-cut-inc

    04d63b67 · Merge branch 'lm-cut-inc-cache' · Jun 04, 2015
  • heur-flow

    21ea4497 · Merge branch 'heur-flow' · Apr 27, 2015
  • codmap-2015-v2

    41bda2ce · third-party: Fixed sumodule rule in Makefile. · Apr 20, 2015
  • codmap-2015

    09261772 · ma-search: Fixed testsuite. · Apr 10, 2015
  • dmap2015-v3

    6d28aa53 · Plan cost + plan length are printed. · Mar 03, 2015
  • dmap2015-v2

    140dcc1f · Fixed receiving messages in blocking mode + richer error messages. · Feb 27, 2015
  • dmap2015

    d7fffe52 · ma-snapshot: Fixed *update* procedure where messages should be ignored. · Feb 25, 2015