Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

optimize booleans #790

Merged
merged 24 commits into from
Mar 30, 2016
Merged

optimize booleans #790

merged 24 commits into from
Mar 30, 2016

Commits on Mar 29, 2016

  1. better simplification

    @oli-obk
    oli-obk committed Mar 29, 2016
    Configuration menu
    Copy the full SHA
    93d097e View commit details
    Browse the repository at this point in the history

  2. improve bracket display

    @oli-obk
    oli-obk committed Mar 29, 2016
    Configuration menu
    Copy the full SHA
    57faa5a View commit details
    Browse the repository at this point in the history

  3. also compute minimal product of sum form

    @oli-obk
    oli-obk committed Mar 29, 2016
    Configuration menu
    Copy the full SHA
    1f1f09b View commit details
    Browse the repository at this point in the history

  4. improve lint attribute detail

    @oli-obk
    oli-obk committed Mar 29, 2016
    Configuration menu
    Copy the full SHA
    25ed62f View commit details
    Browse the repository at this point in the history

  5. merge multiple equal terminals into one

    @oli-obk
    oli-obk committed Mar 29, 2016
    Configuration menu
    Copy the full SHA
    5911cca View commit details
    Browse the repository at this point in the history

  6. fallout and tests

    @oli-obk
    oli-obk committed Mar 29, 2016
    Configuration menu
    Copy the full SHA
    050d7fd View commit details
    Browse the repository at this point in the history

  7. bugfix in quine-mc_cluskey 0.2.1

    @oli-obk
    oli-obk committed Mar 29, 2016
    Configuration menu
    Copy the full SHA
    0a78a79 View commit details
    Browse the repository at this point in the history

  8. treat macros as terminals to prevent cfg! from giving platform spec… 

    …ific hints
    @oli-obk
    oli-obk committed Mar 29, 2016
    Configuration menu
    Copy the full SHA
    288ea79 View commit details
    Browse the repository at this point in the history

  9. differentiate between logic bugs and optimizable expressions

    @oli-obk
    oli-obk committed Mar 29, 2016
    Configuration menu
    Copy the full SHA
    03833f6 View commit details
    Browse the repository at this point in the history

  10. negations around expressions can make things simpler

    @oli-obk
    oli-obk committed Mar 29, 2016
    Configuration menu
    Copy the full SHA
    37cee84 View commit details
    Browse the repository at this point in the history

  11. if a < b { ... } if a >= b { ... } what am I doing?

    @oli-obk
    oli-obk committed Mar 29, 2016
    Configuration menu
    Copy the full SHA
    76ab801 View commit details
    Browse the repository at this point in the history

  12. update lints

    @oli-obk
    oli-obk committed Mar 29, 2016
    Configuration menu
    Copy the full SHA
    e7013a3 View commit details
    Browse the repository at this point in the history

  13. String::extend -> String::push_str

    @oli-obk
    oli-obk committed Mar 29, 2016
    Configuration menu
    Copy the full SHA
    0f92f84 View commit details
    Browse the repository at this point in the history

  14. collect stats on bool ops and negations in an expression

    @oli-obk
    oli-obk committed Mar 29, 2016
    Configuration menu
    Copy the full SHA
    dd6bee3 View commit details
    Browse the repository at this point in the history

  15. add tests showing the current level of minimization with ==

    @oli-obk
    oli-obk committed Mar 29, 2016
    Configuration menu
    Copy the full SHA
    6904fd5 View commit details
    Browse the repository at this point in the history

  16. a small refactoring for readability

    @oli-obk
    oli-obk committed Mar 29, 2016
    Configuration menu
    Copy the full SHA
    25bbde0 View commit details
    Browse the repository at this point in the history

  17. make sure a < b and a >= b are considered equal by SpanlessEq

    @oli-obk
    oli-obk committed Mar 29, 2016
    Configuration menu
    Copy the full SHA
    3a0791e View commit details
    Browse the repository at this point in the history

  18. detect negations of terminals like a != b vs a == b

    @oli-obk
    oli-obk committed Mar 29, 2016
    Configuration menu
    Copy the full SHA
    96be287 View commit details
    Browse the repository at this point in the history

  19. more tests

    @oli-obk
    oli-obk committed Mar 29, 2016
    Configuration menu
    Copy the full SHA
    be72883 View commit details
    Browse the repository at this point in the history

  20. accidentally forgot about improvements if there were multiplie candid… 

    …ates
    @oli-obk
    oli-obk committed Mar 29, 2016
    Configuration menu
    Copy the full SHA
    216edba View commit details
    Browse the repository at this point in the history

  21. added brackets and fixed compiler comments

    @oli-obk
    oli-obk committed Mar 29, 2016
    Configuration menu
    Copy the full SHA
    b05dd13 View commit details
    Browse the repository at this point in the history

  22. !(a == b) --> a != b

    @oli-obk
    oli-obk committed Mar 29, 2016
    Configuration menu
    Copy the full SHA
    e9c87c7 View commit details
    Browse the repository at this point in the history

  23. dogfood

    @oli-obk
    oli-obk committed Mar 29, 2016
    Configuration menu
    Copy the full SHA
    fa48ee6 View commit details
    Browse the repository at this point in the history

Commits on Mar 30, 2016

  1. make nonminimal_bool allow-by-default

    @oli-obk
    oli-obk committed Mar 30, 2016
    Configuration menu
    Copy the full SHA
    2917484 View commit details
    Browse the repository at this point in the history