logo separator

Build mkgmap/splitter #195

Commit: 617 by gerd
Branch: solve-parallel
Time: 30 Jun 2021, 3:29 p.m.
Passed
Total time: 1 min 42 sec

- use parallel threads for the solver that tries only some split positions and the one that tries all - manage the good solutions for both threads in new class GoodSolutionsCache - move code from method generateTestCases into class TestGenerator (TODO: generate on demand) - make SplittableDensityArea.trimShape a final field

  • #195.1
    java=jdk8, python=default
    Passed
    48 sec
  • #195.2
    java=openjdk8, python=default
    Passed
    54 sec

Latest commits

  • splitter-r654 - add note that splitter doesn't handle holes in *.poly files.
    05 apr 2024
  • mkgmap-r4919 Avoid possible integer overflow in blocksize calculation when gmapsupp contains large number of tiles.
    04 apr 2024
  • mkgmap-r4918 add surface=chipseal to group of surfaces which means paved.
    06 mar 2024
  • mkgmap-r4917 fix typos in documentation: $LONG_DATE$ -> $LONGDATE$, $SHORT_DATE$ -> $SHORTDATE$.
    18 feb 2024
  • mkgmap-r4916 sortResource_v3.patch (with updated date in comment) by Ticker Berkin.
    13 oct 2023
See more...