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

make SimplyTypedArithmetic less "Smart" by giving every expression a normal form #1

Closed
wants to merge 10 commits into from
Closed

make SimplyTypedArithmetic less "Smart" by giving every expression a normal form #1

wants to merge 10 commits into from

Commits on Dec 15, 2017

  1. Test more synthesis files on travis / lite

    @JasonGross @andres-erbsen
    JasonGross authored and andres-erbsen committed Dec 15, 2017
    Configuration menu
    Copy the full SHA
    ee146a4 View commit details
    Browse the repository at this point in the history

  2. Loops (trying again) (#259) 

    * clean up src/Experiments/Loops.v, add While and For
    @andres-erbsen
    andres-erbsen committed Dec 15, 2017
    Configuration menu
    Copy the full SHA
    94020f0 View commit details
    Browse the repository at this point in the history

  3. Fix fast-autogenerated-deps target 

    Also add a kludge to override the .v.d targets of the relevant files.
It unfortunately spews a lot of makefile output, but it's better than
the target not working at all.  When the target is not passed, the
behavior is unchanged.
    @JasonGross @andres-erbsen
    JasonGross authored and andres-erbsen committed Dec 15, 2017
    Configuration menu
    Copy the full SHA
    135c9ed View commit details
    Browse the repository at this point in the history

  4. Fix call to ln -s

    @JasonGross @andres-erbsen
    JasonGross authored and andres-erbsen committed Dec 15, 2017
    Configuration menu
    Copy the full SHA
    ee6648e View commit details
    Browse the repository at this point in the history

  5. Add fast-path versions of [destruct_head] for unit,bool,True

    @JasonGross @andres-erbsen
    JasonGross authored and andres-erbsen committed Dec 15, 2017
    Configuration menu
    Copy the full SHA
    a82674d View commit details
    Browse the repository at this point in the history

  6. Apparently ln -s is too slow on travis, so we fake it when we're not … 

    …building things
    @JasonGross @andres-erbsen
    JasonGross authored and andres-erbsen committed Dec 15, 2017
    Configuration menu
    Copy the full SHA
    3f5ff0f View commit details
    Browse the repository at this point in the history

  7. [travis] remove autogenerated files from _CoqProject 

    This will hopefully work better than kludging around coqdep
    @JasonGross @andres-erbsen
    JasonGross authored and andres-erbsen committed Dec 15, 2017
    Configuration menu
    Copy the full SHA
    47f605e View commit details
    Browse the repository at this point in the history

  8. Add missing file from previous commit

    @JasonGross @andres-erbsen
    JasonGross authored and andres-erbsen committed Dec 15, 2017
    Configuration menu
    Copy the full SHA
    3d0c223 View commit details
    Browse the repository at this point in the history

  9. Also build non-specific on smithers

    @JasonGross @andres-erbsen
    JasonGross authored and andres-erbsen committed Dec 15, 2017
    Configuration menu
    Copy the full SHA
    5fa3bca View commit details
    Browse the repository at this point in the history

  10. make SimplyTypedArithmetic less "Smart" by giving every expression a … 

    …normal form
    @andres-erbsen
    andres-erbsen committed Dec 15, 2017
    3 Configuration menu
    Copy the full SHA
    4db6a95 View commit details
    Browse the repository at this point in the history