Mail Thread Index
- Welcome to csmith-commits!,
Eric Eide
- [csmith-project/csmith] ddbef5: Make GIT_HASH work when one uses a separate build ...,
noreply
- [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...,
noreply
- Re: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...,
John Regehr
- Re: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...,
Yang Chen
- Re: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...,
John Regehr
- RE: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...,
Xuejun Yang
- Re: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...,
John Regehr
- Re: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...,
John Regehr
- RE: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...,
Xuejun Yang
- Re: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...,
John Regehr
- RE: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...,
Xuejun Yang
- Re: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...,
John Regehr
- RE: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...,
Xuejun Yang
- RE: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...,
Xuejun Yang
- Re: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...,
John Regehr
- Re: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...,
John Regehr
- Re: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...,
Yang Chen
- Re: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...,
John Regehr
- Re: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...,
Yang Chen
- Re: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...,
John Regehr
- Re: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...,
John Regehr
- Re: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...,
Yang Chen
- Re: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...,
John Regehr
- RE: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...,
Xuejun Yang
- Re: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...,
John Regehr
- RE: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...,
Xuejun Yang
- Re: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...,
John Regehr
- Re: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...,
John Regehr
- RE: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...,
Xuejun Yang
- Re: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...,
John Regehr
- Re: [csmith-project/csmith] 717b1c: Fixed a bug related to --no-math64 and --no-longlo...,
Yang Chen
- [csmith-project/csmith] efb7c6: make type "long" 4 bytes for all platforms,
noreply
- [csmith-project/csmith] 4aa53d: Use a better way to insert NOP breakpoint,
noreply
- [csmith-project/csmith] b65aaf: Fixed typos in setting prob_names for Long and ULo...,
noreply
- [csmith-project/csmith] 436852: merged yesterday's commits from SVN,
Xuejun Yang
- [csmith-project/csmith] b4cef3: Let's keep a list of high-level changes since each...,
John Regehr
- [csmith-project/csmith] 25a890: Almost entirely rewrote this script today, there w...,
John Regehr
- [csmith-project/csmith] 3e3668: Check for a few more compiler warnings.,
John Regehr
- [csmith-project/csmith] ab3d45: Add a cache to avoid re-testing programs that come...,
John Regehr
- [csmith-project/csmith] 04bc55: Less awkward name for this program...,
John Regehr
- [csmith-project/csmith] d1ddec: Move some clearly not-generally-useful scripts int...,
John Regehr
- [csmith-project/csmith] 498aeb: Rename "regression.pl" since it is not a regressio...,
John Regehr
- [csmith-project/csmith] 0c1862: Bit of script tweaking.,
John Regehr
- [csmith-project/csmith] 9b3e7b: Strive for a bit of organization here.,
John Regehr
- [csmith-project/csmith] 089c0b: Move more scripts over.,
John Regehr
- [csmith-project/csmith] 3320ed: Move a couple scripts to the rigth place, make sim...,
John Regehr
- [csmith-project/csmith] 72636a: Move Xuejun's list of compilers to one of our dirs...,
John Regehr
- [csmith-project/csmith] ac17c0: Install generated safe_math headers, not the sourc...,
Eric Eide
- [csmith-project/csmith] 4f53cd: Put the current git commit's short hash in generat...,
Eric Eide
- [csmith-project/csmith] fc76e0: Reported one more clang crash bug,
Yang Chen
- [csmith-project/csmith] 7c2e85: Added a gcc wrong code bug reported by Arthur O'Dw...,
Yang Chen
- [csmith-project/csmith] 1e0418: One more gcc crash bug reported by Arthur O'Dwyer,
Yang Chen
- [csmith-project/csmith] 4919ca: One more gcc crash bug reported by Arthur O'Dwyer,
Yang Chen
- [csmith-project/csmith] e5a5ad: Update the version to 2.0.1.,
Eric Eide
- [csmith-project/csmith] 5cb975: Fixup a path.,
John Regehr
- [csmith-project/csmith] a0cabb: Reported one more clang wrong code bug,
Yang Chen
- [csmith-project/csmith] cef528: More paths wrong...,
John Regehr
- [csmith-project/csmith] 4dd351: Quick hack to speed up c_delta: try removing all e...,
John Regehr
- [csmith-project/csmith] 0229d0: fix a assertion failure during generation for seed...,
Xuejun Yang
- [csmith-project/csmith] 9cbc25: Rename environment variable `CSMITH_PATH' to `CSMI...,
Eric Eide
- [csmith-project/csmith] 208de0: prevent dangling pointers from escaping a function...,
Xuejun Yang
- [csmith-project/csmith] 085740: Removed a handful of CRLF's that had snuck in.,
Eric Eide
- [csmith-project/csmith] 9d0da9: Reported one more clang wrong code bug,
Yang Chen
- [csmith-project/csmith] 771b39: Hacking on this beast again... hopefully an improv...,
John Regehr
- [csmith-project/csmith] 54e137: Added one more clang crash bug,
Yang Chen
- [csmith-project/csmith] 60f674: Transforming C program at the string level isn't r...,
John Regehr
- [csmith-project/csmith] 57a5c4: Notes to self.,
John Regehr
- [csmith-project/csmith] c17651: More notes... finally figuring out 3 years later w...,
John Regehr
- [csmith-project/csmith] d2b0dc: coordinate with changes in the reducer,
Xuejun Yang
- [csmith-project/csmith] 9daf96: bug fixing for the reducer,
Xuejun Yang
- [csmith-project/csmith] 7b4639: Remove a bit of code that left a temp file in the ...,
John Regehr
- [csmith-project/csmith] 4ca0e8: Minor update to confidence interval testing code (...,
John Regehr
- [csmith-project/csmith] e7e494: Support Unions in random programs to the extend St...,
Xuejun Yang
- [csmith-project/csmith] 3b31bf: expand the data-flow analysis framework to union f...,
Xuejun Yang
- [csmith-project/csmith] 39c76b: add new class FactUnion,
Xuejun Yang
- [csmith-project/csmith] 68755c: add class FactUnion to project,
Xuejun Yang
- [csmith-project/csmith] 1f772f: Regenerated `src/Makefile.in'.,
Eric Eide
- [csmith-project/csmith] 9bdeb8: bug fix for union: consider callees when determini...,
Xuejun Yang
- [csmith-project/csmith] 8e9597: add command line option "--force-non-uniform-array...,
Xuejun Yang
- [csmith-project/csmith] d1ae3b: modified command line option "--strict-const-array...,
Xuejun Yang
- [csmith-project/csmith] 7e3325: add command line options to allow unsafe pointer d...,
Xuejun Yang
- [csmith-project/csmith] 94e6f0: fix a bug in analyzing effect conflicts between un...,
Xuejun Yang
- [csmith-project/csmith] c3fe5f: fix a bug in analyzing effect conflicts of union f...,
Xuejun Yang
- [csmith-project/csmith] 498f30: add command line options "union-read-type-sensitiv...,
Xuejun Yang
- [csmith-project/csmith] 12abc2: Fixed a majorly stupid bug in regex matching.,
John Regehr
- [csmith-project/csmith] 4d6693: Minor bugfixes and TODOs.,
John Regehr
- [csmith-project/csmith] 1fedb0: Reported one more clang crash bug.,
Yang Chen
- [csmith-project/csmith] 25075e: Avoid compile-time warning about always-true compa...,
Eric Eide
- [csmith-project/csmith] 434538: Insert missing `break's.,
Eric Eide
- [csmith-project/csmith] df982f: fix a bug in selecting union arrays,
Xuejun Yang
- [csmith-project/csmith] e5e6c3: make the output independent of hash table implemen...,
Xuejun Yang
- [csmith-project/csmith] 6349ed: apply command line option "--force-non-uniform-arr...,
Xuejun Yang
- [csmith-project/csmith] 069108: Random improvements... match more code, push more ...,
John Regehr
- [csmith-project/csmith] 6e2f28: Bit more refactoring...,
John Regehr
- [csmith-project/csmith] bc1dbc: Added the first non-local transformation, it was p...,
John Regehr
- [csmith-project/csmith] 235f87: Removed a lot of special cases from regexes. Not s...,
John Regehr
- [csmith-project/csmith] fc6f6e: Knock off a few more TODOs:,
John Regehr
- [csmith-project/csmith] 9f6afa: fix a bug in building array initializers,
Xuejun Yang
- [csmith-project/csmith] 9c027e: don't hash an union field when such a read is unsa...,
Xuejun Yang
- [csmith-project/csmith] 8669b6: Prettify output a bit.,
John Regehr
- [csmith-project/csmith] 484aca: Add a pass to destroy :? constructs.,
John Regehr
- [csmith-project/csmith] 41f3ad: don't hash union fields for union array when such ...,
Xuejun Yang
- [csmith-project/csmith] 478087: fix a bug in fix 41f3ad that causes wrong union fi...,
Xuejun Yang
- [csmith-project/csmith] 178280: Merge branch 'master' of github.com:csmith-project...,
John Regehr
- [csmith-project/csmith] 6050e5: Four gcc crash bugs reported by Arthur O'Dwyer,
Yang Chen
- [csmith-project/csmith] 8bf543: Notes to self.,
John Regehr
- [csmith-project/csmith] 20b471: Notes to self. Have some good ideas about how to ...,
John Regehr
- [csmith-project/csmith] cc2cae: One more note.,
John Regehr
- [csmith-project/csmith] da5501: add Comma operators and embedded assignments,
Xuejun Yang
- [csmith-project/csmith] d083f8: Merge branch 'master' of github.com:csmith-project...,
Eric Eide
- [csmith-project/csmith] 4ba524: fix a bug in calculating size of fields inside pac...,
Xuejun Yang
- [csmith-project/csmith] 1fcd5b: Added one more gcc crash bug and clang crash bug,
Yang Chen
- [csmith-project/csmith] c5ffb2: One more gcc crash bug,
Yang Chen
- [csmith-project/csmith] 6cee27: Removed a duplicated bug report,
Yang Chen
- [csmith-project/csmith] 652390: fix a bug in reading union field,
Xuejun Yang
- [csmith-project/csmith] f7cda7: fix a bug in the reducer,
Xuejun Yang
- [csmith-project/csmith] b8d96d: Added one clang wrong code bug,
Yang Chen
- [csmith-project/csmith] 7d6fae: add prefix/suffix ++/--,
Xuejun Yang
- [csmith-project/csmith] 308848: formalizing effect analysis for assignments,
Xuejun Yang
- [csmith-project/csmith] 524f6b: fix a bug in selecting loop control variables.,
Xuejun Yang
- [csmith-project/csmith] 24013d: fix a typo,
Xuejun Yang
- [csmith-project/csmith] cc2104: fix a bug in merging union facts of a dereferenced...,
Xuejun Yang
- [csmith-project/csmith] ce4cb9: for --check-global, print union fields only when i...,
Xuejun Yang
- [csmith-project/csmith] 0b006c: fix a bug in reducing embedded assignments,
Xuejun Yang
- [csmith-project/csmith] eab897: enforce two generation constrains at command line:,
Xuejun Yang
- [csmith-project/csmith] f7b5c5: disallow pointers in unions if "--no-pointers" is ...,
Xuejun Yang
- [csmith-project/csmith] 9cb30e: add scripts for evaluations of my thesis,
Xuejun Yang
- [csmith-project/csmith] 01a383: Fixed a silly bug when --ccomp is used,
Yang Chen
- [csmith-project/csmith] c4990a: Reported one more gcc crash bug,
Yang Chen
- [csmith-project/csmith] 1b4f03: Added one more gcc crash bug,
Yang Chen
- [csmith-project/csmith] 1e9da8: Correct fix to the `U` suffix when --ccomp is pass...,
Yang Chen
- [csmith-project/csmith] 6e2e22: One more gcc crash bug reported,
Yang Chen
- [csmith-project/csmith] 0c1040: extend heterogeneous initialization to arrays of a...,
Xuejun Yang
- [csmith-project/csmith] 7945b2: write about what I have done since 2.0.0,
Xuejun Yang
- [csmith-project/csmith] cceead: Remove too-conservative ulimit.,
John Regehr
- [csmith-project/csmith] a39f3c: fix a bug analyzing union field reads/writes,
Xuejun Yang
- [csmith-project/csmith] eaf9df: Add support for running Csmith output under KCC.,
John Regehr
- [csmith-project/csmith] 6f6086: Remove a bit of dead code.,
John Regehr
- [csmith-project/csmith] 052f6f: remove the todo for the thing that I did,
John Regehr
- [csmith-project/csmith] eb4f5e: make the scripts running parallel tests on emulab ...,
Xuejun Yang
- [csmith-project/csmith] a7ef0b: add script that set up experiment environment on e...,
Xuejun Yang
- [csmith-project/csmith] a7fe0b: Update my hacky drivers to know about Xuejun's com...,
John Regehr
- [csmith-project/csmith] a13932: expose more generation controls to command lines,
Xuejun Yang
- [csmith-project/csmith] 62820b: Random hacks..,
John Regehr
- [csmith-project/csmith] 625313: Script hacking, nobody else needs to care...,
John Regehr
- [csmith-project/csmith] 35d8c7: Random driver hacks.,
John Regehr
- [csmith-project/csmith] 2824b3: Add support for Sun CC and Open64.,
John Regehr
- [csmith-project/csmith] aa93c5: One more gcc crash bug reported by Arthur O'Dwyer,
Yang Chen
- [csmith-project/csmith] 08e7cc: Add support for swarm testing, see:,
John Regehr
- [csmith-project/csmith] 936f2b: Re-sorted `csmith_SOURCES'.,
Eric Eide
- [csmith-project/csmith] 60de82: Merge work for building shared-library version of ...,
Eric Eide
- [csmith-project/csmith] 91faaa: Avoid GCC warnings about empty loops.,
Eric Eide
- [csmith-project/csmith] 0d755a: Avoid warning about `switch' case with missing `br...,
Eric Eide
- [csmith-project/csmith] 9a88a2: fix a bug in accessing union fields,
Xuejun Yang
- [csmith-project/csmith] 19e0ca: get rid of macro CSMITH_BITFIELD,
Xuejun Yang
- [csmith-project/csmith] c5b2c6: include a system header to compile with gcc,
Xuejun Yang
- [csmith-project/csmith] 05b1f8: disallow structs containing bit-fields inside unio...,
Xuejun Yang
- [csmith-project/csmith] 51bb75: Alphabetize command line options.,
John Regehr
- [csmith-project/csmith] b91175: Oops, also add this option to usage info. Now I s...,
John Regehr
- [csmith-project/csmith] ea4762: fix a bug in hashing union fields,
Xuejun Yang
- [csmith-project/csmith] 6959f7: One more gcc wrong code bug reported by Arthur O'D...,
Yang Chen
- [csmith-project/csmith] e65d3c: Removed a duplicated bug report,
Yang Chen
- [csmith-project/csmith] a5e5fd: avoid assignment of a struct/union field to a part...,
jxyang
- [csmith-project/csmith] e3529f: strength previous fix commited in a5e5fd,
Xuejun
- [csmith-project/csmith] c56d5b: bug-fixing/improving/cleaning the reducer,
Xuejun Yang
- [csmith-project/csmith] f1d7bf: Otherwise-inconsequential changes supportin the re...,
John Regehr
- [csmith-project/csmith] a20c81: Add some patterns, tweak the termination condition...,
John Regehr
- [csmith-project/csmith] 53ebbd: c_delta hacks, create a faster invocation for berk...,
John Regehr
- [csmith-project/csmith] 962aff: Further improve the reducer,
Xuejun Yang
- [csmith-project/csmith] 87fd8a: Add a quick pass to change "safe_" function names ...,
John Regehr
- [csmith-project/csmith] f77266: This is sort of silly but the reduced programs loo...,
John Regehr
- [csmith-project/csmith] 140cd7: Added support of testing crash bugs,
Yang Chen
- [csmith-project/csmith] 00b76e: Using substring instead of regexp for crash bugs,
Yang Chen
- [csmith-project/csmith] a5cbda: Added one more clang crash bug,
Yang Chen
- [csmith-project/csmith] 462bf4: Test scripts from the paper worked really well, le...,
John Regehr
- [csmith-project/csmith] faf05b: Removed a dispeared clang crash bug and added one ...,
Yang Chen
- [csmith-project/csmith] db277b: One more llvm crash bug reported,
Yang Chen
- [csmith-project/csmith] fe462b: Remove some TODOs that I will not do.,
John Regehr
- [csmith-project/csmith] ee71d5: Reported one more gcc crash bug,
Yang Chen
- [csmith-project/csmith] af2c3e: One more clang wrong code bug,
Yang Chen
- [csmith-project/csmith] a31abb: Another gcc crash bug added,
Yang Chen
- [csmith-project/csmith] 3f1740: Added one more clang crash bug,
Yang Chen
- [csmith-project/csmith] 201ead: Another clang crash bug,
Yang Chen
- [csmith-project/csmith] dc975b: One more gcc crash bug reported,
Yang Chen
- [csmith-project/csmith] fe514d: Reported one more gcc crash bug,
Yang Chen
- [csmith-project/csmith] 95d3b9: Reported another clang wrong code bug,
Yang Chen
- [csmith-project/csmith] 96c289: One more clang crash bug,
Yang Chen
- [csmith-project/csmith] 35a405: One more clang crash bug added,
Yang Chen
- [csmith-project/csmith] 0b1294: Removed the previously-added clang crash bug, whic...,
Yang Chen
- [csmith-project/csmith] 6c02dd: Cleanup a bit.,
John Regehr
- [csmith-project/csmith] 1cca0c: Added another clang crash bug,
Yang Chen
- [csmith-project/csmith] 679dd8: Strip out some function-level code that was a bad ...,
John Regehr
- [csmith-project/csmith] 6a2942: going to do a little "real" token manipulation.,
John Regehr
- [csmith-project/csmith] da32a3: Delete script we do not need.,
John Regehr
- [csmith-project/csmith] 5fcfcd: Added one more gcc wrong code bug,
Yang Chen
- [csmith-project/csmith] e876ed: Fixes for defects reported by Pascal Cuoq.,
Xuejun Yang
- [csmith-project/csmith] e951ff: Ack Pascal in the ChangeLog.,
John Regehr
- [csmith-project/csmith] 00b6dc: Ach, actually add c_delta this time.,
John Regehr
- [csmith-project/csmith] ee7a17: added 3 gcc crash bugs,
Yang Chen
- [csmith-project/csmith] dd96f0: Minor tweaks to avoid compile-time warnings.,
Eric Eide
- [csmith-project/csmith] 704fdc: Update the version to 2.2.0.,
Eric Eide
- [csmith-project/csmith] 0f0b37: Update the version to 2.1.1.,
Eric Eide
- [csmith-project/csmith] ddee25: Clean up TODO file a bit.,
John Regehr
- [csmith-project/csmith] eba614: Updated FSF mailing address for the benefit of `rp...,
Eric Eide
- [csmith-project/csmith] 25fd27: Choose PPC's readtime function for powerpc64,
Yang Chen
- [csmith-project/csmith] df89c9: Removed a likely duplicated gcc wrong code bug,
Yang Chen
- [csmith-project/csmith] 408bf9: Notes to us.,
John Regehr
- [csmith-project/csmith] 3047a9: Notes to self.,
John Regehr
- [csmith-project/csmith] 0e894d: Notes to self.,
John Regehr
- [csmith-project/csmith] e454b6: Avoid the need for the --all option, making this s...,
John Regehr
- [csmith-project/csmith] ce12cd: Add a few patterns that are found in C++ but not i...,
John Regehr
- [csmith-project/csmith] 5b4bde: Use the multidelta command line format instead of ...,
John Regehr
- [csmith-project/csmith] 85b349: Regenerate configure-related files using Libtool 2...,
Eric Eide
Mail converted by MHonArc