summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
...
* eval: Fix a segfault with -D search -S edsTavian Barnes2020-06-161-0/+1
|
* Implement exponential deepening searchTavian Barnes2020-06-166-31/+114
|
* bftw: Factor out some of the iterative deepening harnessTavian Barnes2020-06-121-39/+65
|
* bftw: Only do another level of deepening if there are unexplored directoriesTavian Barnes2020-06-121-3/+4
| | | | This makes -S ids about 20% faster on a checkout of the Linux kernel.
* bftw: Make iterative deepening actually do depth-first searchTavian Barnes2020-06-121-15/+21
| | | | | | | | | bftw_stream() was always pushing to the end of the queue, resulting in breadth-first behaviour even when BFTW_DFS was set. This made iterative deepening a "worst of both worlds" with the same memory use as BFS, but much slower due to re-traversals. Fix it by re-using bftw_batch_{start,finish} from bftw_batch().
* tests/trie: New acceptance test for triesTavian Barnes2020-06-093-4/+129
|
* tests/xtimegm: Don't test the year 1900Tavian Barnes2020-06-091-1/+1
| | | | | | | macOS doesn't support negative time_t's that are larger than 32 bits apparently. C.f.: https://stackoverflow.com/a/46335905
* tests: New acceptance test for xtimegm()Tavian Barnes2020-06-093-3/+101
|
* RELEASES.md: Fix a bad issue linkTavian Barnes2020-06-081-2/+2
|
* RELEASES.md: Use short links for issues consistentlyTavian Barnes2020-06-081-4/+11
|
* bfs.1: Add a section on environment variables.Tavian Barnes2020-06-081-0/+51
| | | | Follow-up for #55.
* RELEASES.md: Add explicit hyperlinks for issuesTavian Barnes2020-06-081-2/+5
|
* README.md: Fix extraneous backtickTavian Barnes2020-06-081-2/+2
|
* RELEASES.md: Add some 2.0 release notesTavian Barnes2020-06-082-1/+41
|
* LICENSE: Rename from COPYINGTavian Barnes2020-06-082-1/+1
|
* parse: Color the optimization level differently in dump_cmdline()Tavian Barnes2020-06-071-1/+1
|
* opt: Warn when no side effects are reachableTavian Barnes2020-06-071-4/+4
|
* opt: Dump the command line before optimizing with -D optTavian Barnes2020-06-072-2/+4
|
* parse: Prohibit actions inside -excludeTavian Barnes2020-06-073-1/+28
|
* README: Remove unnecessary single quotes from exampleTavian Barnes2020-06-071-1/+1
|
* Treat -nohidden like -exclude -hiddenTavian Barnes2020-06-076-23/+48
| | | | Fixes #30.
* Implement -exclude, a special form for convenient exclusionsTavian Barnes2020-06-0710-21/+146
| | | | Fixes #8.
* opt: Make sure facts_when_impure sees *all* impure literalsTavian Barnes2020-06-072-3/+11
|
* diag: Unify debug printingTavian Barnes2020-06-0210-156/+262
|
* opt: Add missing #include <unistd.h>Tavian Barnes2020-05-221-0/+1
|
* opt: Track data flow information about predicatesTavian Barnes2020-05-227-37/+280
| | | | | | | | | | This allows us to optimize things like -sparse -o -not -sparse <==> -true and -sparse -a -not -sparse <==> -false
* Makefile: Pass -fsanitize-memory-track-origins for msan buildsTavian Barnes2020-05-221-1/+1
|
* Merge pull request #59 from rHermes/fix-spelling-in-fsadeTavian Barnes2020-05-221-2/+2
|\ | | | | Fix spelling mistake in fsade.h
| * Fix spelling mistake in fsade.hrHermes2020-05-221-2/+2
|/
* Release 1.71.7Tavian Barnes2020-04-223-2/+12
|
* pwcache: Rename from passwd.[ch]Tavian Barnes2020-04-227-9/+9
|
* Makefile: Don't use target-specific variables for configuration targetsTavian Barnes2020-03-241-17/+28
| | | | | | | | | | | | | | | | | | | In things like release: CFLAGS := ... release: bfs CFLAGS is only set for the dependencies of release, so $ make release check doesn't set CFLAGS for tests/mksock. For the same reason, $ make asan ubsan was broken, because only the asan flags would be set for bfs. Fix it by checking MAKECMDGOALS for those targets manually instead.
* Makefile: Add asan, msan, ubsan targetsTavian Barnes2020-03-231-3/+12
|
* Makefile: Use --sudo for every distcheck testTavian Barnes2020-03-231-11/+10
|
* opt: Avoid dangling pointers in de_morgan()Tavian Barnes2020-03-231-5/+7
| | | | | | | | If optimize_{and,or}_expr() relocates expr, we need to update the parent expr or else we might return garbage. It seems impossible to actually trigger this bug right now, since the {and,or} optimizations are symmetric, but it could be hit if the simplifications in de_morgan() expose more information than was known previously.
* parse: Use the right color when suggesting typo fixesTavian Barnes2020-03-211-113/+126
|
* parse: Add -X and -s to -D tree outputTavian Barnes2020-03-211-17/+26
|
* Implement -s flag from FreeBSD find to sort resultsTavian Barnes2020-03-219-3/+208
|
* bftw: Use a two-star approach to the bftw_queue linked listTavian Barnes2020-03-201-58/+28
|
* parse: Fix color code with -D tree -xdevTavian Barnes2020-03-201-1/+1
|
* parse: Prettify some errors and warningsTavian Barnes2020-03-202-52/+58
|
* parse: Prettify some of the option-specific helpTavian Barnes2020-03-202-42/+38
|
* Merge pull request #57 from tavianator/cirrusTavian Barnes2020-03-163-1/+17
|\ | | | | cirrus: Add a Cirrus CI build to test FreeBSD
| * cirrus: Add a Cirrus CI build to test FreeBSDTavian Barnes2020-03-163-1/+17
| | | | | | | | Fixes #41.
* | fsade: Fix default ACL processing.Tavian Barnes2020-03-161-38/+50
| | | | | | | | | | | | For default ACLs, any entries at all makes them non-trivial. C.f.: https://lists.freebsd.org/pipermail/posix1e/2014-July/000517.html
* | parse: Don't warn if POSIXLY_CORRECT is setTavian Barnes2020-03-151-2/+4
| |
* | exec: Warn if a command dies abnormallyTavian Barnes2020-03-152-9/+6
| |
* | diag: Make the -warn flag part of the cmdlineTavian Barnes2020-03-153-40/+37
|/
* README: Put the binary package instructions firstTavian Barnes2020-03-021-20/+20
|
* README: Replace the screenshot with an animationTavian Barnes2020-03-021-3/+3
|