summaryrefslogtreecommitdiffstats
AgeCommit message (Collapse)Author
2020-07-29bftw: Rename bftw_typeflag to bftw_type, and make it not a bitmaskTavian Barnes
2020-07-10Update default branch to 'main'Tavian Barnes
2020-06-16eval: Fix an assertion failure with -D search -sTavian Barnes
2020-06-16eval: Fix a segfault with -D search -S edsTavian Barnes
2020-06-16Implement exponential deepening searchTavian Barnes
2020-06-12bftw: Factor out some of the iterative deepening harnessTavian Barnes
2020-06-12bftw: Only do another level of deepening if there are unexplored directoriesTavian Barnes
This makes -S ids about 20% faster on a checkout of the Linux kernel.
2020-06-12bftw: Make iterative deepening actually do depth-first searchTavian Barnes
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().
2020-06-09tests/trie: New acceptance test for triesTavian Barnes
2020-06-09tests/xtimegm: Don't test the year 1900Tavian Barnes
macOS doesn't support negative time_t's that are larger than 32 bits apparently. C.f.: https://stackoverflow.com/a/46335905
2020-06-09tests: New acceptance test for xtimegm()Tavian Barnes
2020-06-08RELEASES.md: Fix a bad issue linkTavian Barnes
2020-06-08RELEASES.md: Use short links for issues consistentlyTavian Barnes
2020-06-08bfs.1: Add a section on environment variables.Tavian Barnes
Follow-up for #55.
2020-06-08RELEASES.md: Add explicit hyperlinks for issuesTavian Barnes
2020-06-08README.md: Fix extraneous backtickTavian Barnes
2020-06-08RELEASES.md: Add some 2.0 release notesTavian Barnes
2020-06-08LICENSE: Rename from COPYINGTavian Barnes
2020-06-07parse: Color the optimization level differently in dump_cmdline()Tavian Barnes
2020-06-07opt: Warn when no side effects are reachableTavian Barnes
2020-06-07opt: Dump the command line before optimizing with -D optTavian Barnes
2020-06-07parse: Prohibit actions inside -excludeTavian Barnes
2020-06-07README: Remove unnecessary single quotes from exampleTavian Barnes
2020-06-07Treat -nohidden like -exclude -hiddenTavian Barnes
Fixes #30.
2020-06-07Implement -exclude, a special form for convenient exclusionsTavian Barnes
Fixes #8.
2020-06-07opt: Make sure facts_when_impure sees *all* impure literalsTavian Barnes
2020-06-02diag: Unify debug printingTavian Barnes
2020-05-22opt: Add missing #include <unistd.h>Tavian Barnes
2020-05-22opt: Track data flow information about predicatesTavian Barnes
This allows us to optimize things like -sparse -o -not -sparse <==> -true and -sparse -a -not -sparse <==> -false
2020-05-22Makefile: Pass -fsanitize-memory-track-origins for msan buildsTavian Barnes
2020-05-22Merge pull request #59 from rHermes/fix-spelling-in-fsadeTavian Barnes
Fix spelling mistake in fsade.h
2020-05-22Fix spelling mistake in fsade.hrHermes
2020-04-22Release 1.71.7Tavian Barnes
2020-04-22pwcache: Rename from passwd.[ch]Tavian Barnes
2020-03-24Makefile: Don't use target-specific variables for configuration targetsTavian Barnes
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.
2020-03-23Makefile: Add asan, msan, ubsan targetsTavian Barnes
2020-03-23Makefile: Use --sudo for every distcheck testTavian Barnes
2020-03-23opt: Avoid dangling pointers in de_morgan()Tavian Barnes
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.
2020-03-21parse: Use the right color when suggesting typo fixesTavian Barnes
2020-03-21parse: Add -X and -s to -D tree outputTavian Barnes
2020-03-21Implement -s flag from FreeBSD find to sort resultsTavian Barnes
2020-03-20bftw: Use a two-star approach to the bftw_queue linked listTavian Barnes
2020-03-20parse: Fix color code with -D tree -xdevTavian Barnes
2020-03-20parse: Prettify some errors and warningsTavian Barnes
2020-03-20parse: Prettify some of the option-specific helpTavian Barnes
2020-03-16Merge pull request #57 from tavianator/cirrusTavian Barnes
cirrus: Add a Cirrus CI build to test FreeBSD
2020-03-16cirrus: Add a Cirrus CI build to test FreeBSDTavian Barnes
Fixes #41.
2020-03-16fsade: Fix default ACL processing.Tavian Barnes
For default ACLs, any entries at all makes them non-trivial. C.f.: https://lists.freebsd.org/pipermail/posix1e/2014-July/000517.html
2020-03-15parse: Don't warn if POSIXLY_CORRECT is setTavian Barnes
2020-03-15exec: Warn if a command dies abnormallyTavian Barnes
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-28 08:32:45 +0000