Skip to content
  • Alexandre Duret-Lutz's avatar
    DVE2: Use mspool for compressed states. · ebb85c4d
    Alexandre Duret-Lutz authored
    * iface/dve2/dve2.cc: Adjust to use the new mspool allocator,
    and get rid of the std::vector used to store compressed states.
    * src/misc/intvcomp.hh: Add an "int* -> int*" interface
    in addition to the "int* -> vector<unsigned>*" interface.
    * src/tgbatest/intvcomp.cc: Test the two interfaces.
    ebb85c4d
To find the state of this project's repository at the time of any of these versions, check out the tags.