Custom Query (545 matches)
Results (142 - 144 of 545)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#166 | fixed | Safer migration script | ||
Description |
Maybe we should have a safer migration script (rename script). The current one in [560e4b6d020d] replaces all occurrences of graph, edge etc. whether it is a whole word or not. Thus it replaces graphic by digraphic, wedge by warc etc. It is not a huge problem for us, but since this script became a tool for users too, I prefer to make it (at least a little bit) safer. |
|||
#167 | fixed | Port DIMACS readers | ||
Description |
This ticket is a follow up of #55. |
|||
#169 | fixed | Fixes and improvements for lemon/bits | ||
Description |
[75cf49ce5390] adds missing tags to graph implementations and indicators in
[f58410582b9b] contains doc improvements for tools in |