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