[CHiPPS-tickets] [COIN-OR High-Performance Parallel Search] #16: Blis crashes when given a gzipped file

[COIN-OR High-Performance Parallel Search]

#16: Blis crashes when given a gzipped file
-----------------------+-----------------------
Reporter:  tkr         |       Owner:  yanxu
    Type:  defect      |      Status:  closed
Priority:  minor       |   Component:  BLIS
 Version:  stable/0.9  |  Resolution:  migrated
Keywords:              |
-----------------------+-----------------------
Changes (by stefan):

 * status:  new => closed
 * resolution:   => migrated


Comment:

 This ticket has been migrated to !GitHub and will be resolved there:
 https://github.com/coin-or/CHiPPS-BLIS/issues/7

--
Ticket URL: <https://projects.coin-or.org/CHiPPS/ticket/16#comment:1>
COIN-OR High-Performance Parallel Search <http://projects.coin-or.org/CHiPPS>
A framework for data-intensive tree-search algorithms.