Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @creduce
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @creduce
-
Prikvačeni tweet
C-Reduce 2.10.0 is released! This version supports and requires LLVM 8. Get it here:https://github.com/csmith-project/creduce/releases/tag/creduce-2.10.0 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
C-Reduce proslijedio/la je Tweet
i’ve heard that
@johnregehr recommends creduce for any languageHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Thanks for the shout out!https://twitter.com/Cor3ntin/status/1208021960430620672 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
PSA: If you crash C-Reduce, please submit a bug report via GitHub https://github.com/csmith-project/creduce/issues … or email http://www.flux.utah.edu/mailman/listinfo/creduce-bugs … so that it can be fixed. Thanks!https://twitter.com/ericniebler/status/1195394058107047938 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
C-Reduce proslijedio/la je Tweet
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.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ouch! I'm OK, though.https://twitter.com/ericniebler/status/1195394058107047938 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
C-Reduce proslijedio/la je Tweet
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?
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
C-Reduce proslijedio/la je Tweet
the day I had this same realization, I started working on C-Reduce musta been 12 or 13 years ago, wowpic.twitter.com/zC4GSFv8IA
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
C-Reduce proslijedio/la je Tweet
Plus, I learned recently that
@johnregehr 's c-reduce works on SMTLIB files, further simplifying debugging.Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
C-Reduce proslijedio/la je Tweet
Another likely GCC bug found by compiling PyPy's generated C code!
@creduce nicely turned it from many dozens of megabytes of code to just a screen full. Armin did the bug hunting.Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Thanks for the shout out!https://twitter.com/BarryRevzin/status/1179453791504089089 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
C-Reduce proslijedio/la je Tweet
Design and Evolution of C-Reduce: Part 1 https://blog.regehr.org/archives/1678 Part 2 https://blog.regehr.org/archives/1679
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
C-Reduce proslijedio/la je Tweet
creduce success stories: managed to reduce a vax compiler bug without discovering another vax compiler bug
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
In general, nobody understands C as well as they think they do.https://twitter.com/moyix/status/1163269522616389632 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
C-Reduce proslijedio/la je Tweet
I'd write a crummy version and then ask
@creducehttps://twitter.com/moyix/status/1162443206291677184 …Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
C-Reduce proslijedio/la je Tweet
new blog post: Part 2 of "Design and Evolution of C-Reduce" https://blog.regehr.org/archives/1679
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoniš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.



