aboutsummaryrefslogtreecommitdiff
path: root/devel/csmith
Commit message (Collapse)AuthorAgeFilesLines
* - Update to version 2.2.0Pawel Pekala2015-01-043-25/+27
| | | | | | | | | | | | - Add new maintainer's mirror to MASTER_SITES - Submitter is new maintainer - Add PKGNAME to PLIST_SUB and use it to parameterize include directory PR: 196424 Submitted by: A.J. "Fonz" van Werven <freebsd@skysmurf.nl> Notes: svn path=/head/; revision=376271
* - Add missing run dependency on perlAntoine Brodin2014-12-221-2/+4
| | | | | | | - Shebangfix Notes: svn path=/head/; revision=375270
* Cleanup plistBaptiste Daroussin2014-10-271-3/+0
| | | | Notes: svn path=/head/; revision=371544
* Hand back my ports to the pool.Eitan Adler2014-09-241-1/+1
| | | | | | | Ports require time and TLC which I no longer have. Notes: svn path=/head/; revision=369161
* Add USES=libtool and INSTALL_TARGET=install-stripTijl Coosemans2014-08-292-5/+6
| | | | Notes: svn path=/head/; revision=366574
* Add OPTIONS_DEFINE=DOCS for ports with %%PORTDOCS%% in the plist.Adam Weinberger2014-07-151-0/+2
| | | | | | | | | | Where possible, correct a few instances where PORTDOCS was being used to flag stuff in EXAMPLESDIR. For some ports, mostly those owned by ruby@, PORTDOCS is applied to pretty much everything whether it's documentation or example. Notes: svn path=/head/; revision=362014
* creduce/Makefile csmith/Makefile symports/Makefile: use BSD*CLAUSEEitan Adler2013-12-111-1/+1
| | | | | | | The LICENSE 'BSD' was not specific enough. Now, use the new versioned licenses. Notes: svn path=/head/; revision=336237
* - Convert to stagingEitan Adler2013-09-291-3/+1
| | | | Notes: svn path=/head/; revision=328642
* Add NO_STAGE all over the place in preparation for the staging support (cat: ↵Baptiste Daroussin2013-09-201-0/+1
| | | | | | | devel part 1) Notes: svn path=/head/; revision=327722
* Remove now excess verbiage.Eitan Adler2013-07-161-2/+0
| | | | | | | Reviewed by: bapt Notes: svn path=/head/; revision=323129
* Convert some of my ports from USE_GMAKE to USES=gmake.Eitan Adler2013-07-061-1/+2
| | | | | | | The remainder have other pending patches which I must finish before conversion. Notes: svn path=/head/; revision=322403
* Simplify port logicEitan Adler2013-04-231-3/+1
| | | | Notes: svn path=/head/; revision=316295
* Clean up my ports (and a couple of ports@ owned ones):Eitan Adler2013-03-082-1/+1
| | | | | | | | | | | | | - Fix COMMENT - Add MAKE_JOBS_SAFE where appropriate - Change ordering of LICENSE lines - Fix new header format - Etc. Reviewed by: drogoh (on irc) Notes: svn path=/head/; revision=313672
* Trim the headers in the ports I maintain.Eitan Adler2012-10-061-5/+0
| | | | Notes: svn path=/head/; revision=305369
* This will never work on a non-intel cpuEitan Adler2012-09-081-3/+1
| | | | Notes: svn path=/head/; revision=303898
* Mark as broken on sparc64.Mark Linimon2012-09-081-1/+7
| | | | | | | Hat: portmgr Notes: svn path=/head/; revision=303870
* - update to 2.1Eitan Adler2011-11-237-72/+31
| | | | | | | | | | | | | | | | | | | - remove build patches New features in this release: - By default, functions and global variables are marked as "static" permitting compilers to optimize more aggressivELY IN SOme cases. - We now try harder to get auto-vectorizers and other loop optimizers in trouble by generating code that is more idiomatic and therefore more likely to be optimized. In particular, array indices are in-bounds by construction instead of by using % operators. - Unions are supported. - The comma operator is supported, as in x = (y, 1, z, 3). - Embedded assignments are supported, as in x = 1 + (y = z). - The pre/post increment/decrement operators are supported. - A --no-safe-math mode was added, which avoids calling the safe math wrappers. This is useful when trying to crash compilers but the resulting executables should not be run since they are very likely to have undefined behavior. Feature safe: yes Notes: svn path=/head/; revision=286287
* Csmith is a tool that can generate random C programs that staticallyEitan Adler2011-10-258-0/+111
and dynamically conform to the C99 standard. Thus, it is useful for stress-testing compilers, static analyzers, and other tools that process C code. Csmith has found bugs in every tool that it has tested, and over the last several years we have used it to find and report more than 350 previously-unknown compiler bugs. WWW: http://embed.cs.utah.edu/csmith/ Approved by: bapt (mentor) Notes: svn path=/head/; revision=284312
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-28 05:21:09 +0000