Custom Query (7 matches)
Status: closed (7 matches)
| Ticket | Summary | Owner | Type | Priority | Version | Resolution |
|---|---|---|---|---|---|---|
| #157 | Port the 0.x -> 1.x converter script and create a migration guide | enhancement | major | hg main | fixed | |
| #165 | Standard error/warning message format in the unifier script | enhancement | major | hg main | fixed | |
| #182 | Port the dim_to_lgf tool | task | major | hg main | fixed | |
| #186 | Improvements for scripts | enhancement | major | hg main | fixed | |
| #282 | Revise the doc of lgf-gen | enhancement | major | hg main | done | |
| #258 | tools/dimacs-solver.cc does not compile with MSVC | defect | trivial | hg main | fixed | |
| #259 | tools/lgf-gen.cc does not compile with MSVC | defect | trivial | hg main | fixed |
Note: See TracQuery
for help on using queries.
