This instance will be upgraded to Heptapod 0.31.0 (final) on 2022-05-24 at 14:00 UTC+2 (a few minutes of down time)

  1. 02 Nov, 2017 2 commits
  2. 01 Nov, 2017 4 commits
    • Antonio Cuni's avatar
      merge the branch keep-debug-symbols: · 77fff565d382
      Antonio Cuni authored
      - symbols are stripped from the executable and placed in a file libpypy-c.so.debug
      
      - we add a gnu-debug-link section to libpypy-c.so which points to .debug, so
        that it works transparently in gdb
      
      - this generates immensely more useful stack trace inside gdb; moreover, it is
        also potentially usable by vmprof
      
      - the .debug file is ~18MB. The tarball size goes from 22MB to 25MB. I claim
        that disk space and bandwidth are cheap, so we should just don't care,
        especially for nightly builds
      
      - if we REALLY care about the tarball size of official releases, we can simply
        remove the .debug from the tarball
      77fff565d382
    • Antonio Cuni's avatar
      close branch to be merged · f29f0f12ffa8
      Antonio Cuni authored
      --HG--
      branch : keep-debug-symbols
      f29f0f12ffa8
    • Antonio Cuni's avatar
      remove the nostrip option; introduce a --no-keep-debug option; use... · 7108fe737121
      Antonio Cuni authored
      remove the nostrip option; introduce a --no-keep-debug option; use smartstrip(keep_debug=True) by default
      
      --HG--
      branch : keep-debug-symbols
      7108fe737121
    • Antonio Cuni's avatar
      add a smartstrip tool, which can optionally keep the debug symbols in a... · 005844269621
      Antonio Cuni authored
      add a smartstrip tool, which can optionally keep the debug symbols in a separate file, instead of just stripping them away
      
      --HG--
      branch : keep-debug-symbols
      005844269621
  3. 30 Oct, 2017 1 commit
  4. 28 Oct, 2017 4 commits
  5. 27 Oct, 2017 1 commit
  6. 25 Oct, 2017 4 commits
  7. 23 Oct, 2017 3 commits
  8. 20 Oct, 2017 1 commit
  9. 19 Oct, 2017 2 commits
  10. 18 Oct, 2017 2 commits
  11. 15 Oct, 2017 4 commits
  12. 14 Oct, 2017 1 commit
  13. 12 Oct, 2017 3 commits
  14. 11 Oct, 2017 8 commits