Changes between Initial Version and Version 11 of Ticket #18185


Ignore:
Timestamp:
04/17/15 09:09:28 (7 years ago)
Author:
ncohen
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #18185

    • Property Status changed from new to needs_review
    • Property Commit changed from to f8c9f8ef8662324dee8f1bc403968fa5b2d168aa
    • Property Branch changed from to public/18185

  • Ticket #18185 – Description

    initial v11  
    994) For every possible format, add vertices and edges
    1010
    11 Besides local fixes and modifications, this branch moves '3' right after '1'. Then, '3' and '4' are merged so that we only enumerate all possible formats once.
     11Besides local fixes and modifications, this branch moves '3' right after '1'. Then, '2' and '4' are merged so that we only enumerate all possible formats once.
    1212
    1313I tried to split commits to make it easier to review. I know that it will not be very easy to read. It was not exactly easy to write either.