index
:
bfs
ci-diags
debug-netbsd
find2fd
gh-pages
includes
main
split-macos
Mirror of https://github.com/tavianator/bfs
matthias
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
opt.c
Age
Commit message (
Expand
)
Author
2022-03-27
opt: Use floats consistently for probabilities and costs
Tavian Barnes
2022-03-27
opt: Add some more warnings
Tavian Barnes
2022-03-27
diag: New functions for highlighting command line arguments
Tavian Barnes
2022-03-26
opt: Warn about expressions we remove while optimizing
Tavian Barnes
2022-03-25
expr: Store auxilliary data in a union
Tavian Barnes
2020-11-12
Include what I use
Tavian Barnes
2020-11-10
opt: Assert that we don't do disabled optimizations
Tavian Barnes
2020-11-09
opt: Predicates aren't true when they're false
Tavian Barnes
2020-11-09
opt: Check optlevel before removing unreachable expressions
Tavian Barnes
2020-11-09
Use two newlines for all pre-eval warnings
Tavian Barnes
2020-09-27
Rename struct cmdline to bfs_ctx
Tavian Barnes
2020-07-29
bftw: Rename bftw_typeflag to bftw_type, and make it not a bitmask
Tavian Barnes
2020-06-07
opt: Warn when no side effects are reachable
Tavian Barnes
2020-06-07
opt: Dump the command line before optimizing with -D opt
Tavian Barnes
2020-06-07
parse: Prohibit actions inside -exclude
Tavian Barnes
2020-06-07
Implement -exclude, a special form for convenient exclusions
Tavian Barnes
2020-06-07
opt: Make sure facts_when_impure sees *all* impure literals
Tavian Barnes
2020-06-02
diag: Unify debug printing
Tavian Barnes
2020-05-22
opt: Add missing #include <unistd.h>
Tavian Barnes
2020-05-22
opt: Track data flow information about predicates
Tavian Barnes
2020-03-23
opt: Avoid dangling pointers in de_morgan()
Tavian Barnes
2019-04-15
Release 1.4
1.4
Tavian Barnes
2019-03-21
opt: Optimize redundant comma expressions
Tavian Barnes
2019-03-20
opt: Replace -a -false/-o -true with -not when possible
Tavian Barnes
2019-02-09
Add some documentation comments
Tavian Barnes
2019-02-04
opt: Optimize -samefile together with -inum
Tavian Barnes
2019-02-01
opt: Apply data flow optimizations to more numeric ranges
Tavian Barnes
2019-01-02
color: Check format strings + args for cfprintf()
Tavian Barnes
2018-09-24
Update copyright dates
Tavian Barnes
2018-08-18
opt: Re-run optimizations after reordering expressions
Tavian Barnes
2017-12-15
Keep track of required FDs per-expr
Tavian Barnes
2017-09-17
opt: More -O4 tweaks
Tavian Barnes
2017-09-17
opt: Use the standard LLONG_MAX instead of the nonstandard LONG_LONG_MAX
Tavian Barnes
2017-09-17
opt: Fix -depth with arguments bigger than INT_MAX
Tavian Barnes
2017-09-17
opt: Move some aggressive optimizations back to -O4
Tavian Barnes
2017-09-17
opt: Have data flow analysis respect always_{true,false}
Tavian Barnes
2017-09-16
opt: Implement some data flow optimizations
Tavian Barnes
2017-09-16
opt: Separate optimization from parsing
Tavian Barnes