C-Reduce

@creduce

I am C-Reduce, the shrinker of C/C++ programs.

Salt Lake City, UT, USA
Vrijeme pridruživanja: lipanj 2012.

Tweetovi

Blokirali ste korisnika/cu @creduce

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @creduce

  1. Prikvačeni tweet
    13. svi 2019.

    C-Reduce 2.10.0 is released! This version supports and requires LLVM 8. Get it here:

    Poništi
  2. 1. velj
    Poništi
  3. 17. sij
    Poništi
  4. proslijedio/la je Tweet
    6. sij
    Odgovor korisniku/ci

    i’ve heard that recommends creduce for any language

    Poništi
  5. 12. sij
    Poništi
  6. 21. pro 2019.
    Poništi
  7. 22. stu 2019.
    Poništi
  8. proslijedio/la je Tweet
    15. stu 2019.
    Odgovor korisniku/ci

    creduce is a tool for reducing test cases for things like compiler crashes. creduce itself crashing is like breaking the wrench you're using to fix your car.

    Poništi
  9. 22. stu 2019.
    Poništi
  10. proslijedio/la je Tweet
    6. stu 2019.

    Do you use any form of automated test case reduction (outside of property-based testing)? e.g. C-reduce, delta debugging, etc. If yes, can you tell me some examples of problems you've used it on?

    Poništi
  11. proslijedio/la je Tweet
    19. stu 2019.

    the day I had this same realization, I started working on C-Reduce musta been 12 or 13 years ago, wow

    Prikaži ovu nit
    Poništi
  12. 2. stu 2019.
    Poništi
  13. proslijedio/la je Tweet
    17. lis 2019.
    Odgovor korisniku/ci

    Plus, I learned recently that 's c-reduce works on SMTLIB files, further simplifying debugging.

    Poništi
  14. proslijedio/la je Tweet
    16. lis 2019.

    Another likely GCC bug found by compiling PyPy's generated C code! nicely turned it from many dozens of megabytes of code to just a screen full. Armin did the bug hunting.

    Prikaži ovu nit
    Poništi
  15. 6. lis 2019.
    Poništi
  16. proslijedio/la je Tweet
    11. ruj 2019.
    Poništi
  17. proslijedio/la je Tweet
    20. kol 2019.

    creduce success stories: managed to reduce a vax compiler bug without discovering another vax compiler bug

    Prikaži ovu nit
    Poništi
  18. 18. kol 2019.

    In general, nobody understands C as well as they think they do.

    Poništi
  19. proslijedio/la je Tweet
    16. kol 2019.
    Prikaži ovu nit
    Poništi
  20. proslijedio/la je Tweet
    12. kol 2019.

    new blog post: Part 2 of "Design and Evolution of C-Reduce"

    Poništi
  21. 25. srp 2019.
    Poništi

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·