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

Comfusy is back #231

Open
wants to merge 8 commits into
base: master
Choose a base branch
from
Open

Comfusy is back #231

wants to merge 8 commits into from

Commits on Aug 25, 2016

  1. Added compilable sources of comfusy

    @MikaelMayer
    MikaelMayer committed Aug 25, 2016
    Configuration menu
    Copy the full SHA
    4289965 View commit details
    Browse the repository at this point in the history

  2. Added comfusy for equalities. Not yet for abstract PA, but concrete i… 

    …s ok !
    @MikaelMayer
    MikaelMayer committed Aug 25, 2016
    Configuration menu
    Copy the full SHA
    5fabaed View commit details
    Browse the repository at this point in the history

  3. Fixed missing variable bug. APA synthesis works for equalities.

    @MikaelMayer
    MikaelMayer committed Aug 25, 2016
    Configuration menu
    Copy the full SHA
    0f40a5e View commit details
    Browse the repository at this point in the history

  4. Corrected isGCDable 

    More let-tuple extraction in postcondition
f.apply(a) is now written with .apply
    @MikaelMayer
    MikaelMayer committed Aug 25, 2016
    Configuration menu
    Copy the full SHA
    a8fb211 View commit details
    Browse the repository at this point in the history

  5. Adding isabelle noBody annotation

    @MikaelMayer
    MikaelMayer committed Aug 25, 2016
    Configuration menu
    Copy the full SHA
    c02284d View commit details
    Browse the repository at this point in the history

  6. Updated corner cases and added some proofs.

    @MikaelMayer
    MikaelMayer committed Aug 25, 2016
    Configuration menu
    Copy the full SHA
    0016a38 View commit details
    Browse the repository at this point in the history

  7. Added more proofs for comfusy's math.

    @MikaelMayer
    MikaelMayer committed Aug 25, 2016
    Configuration menu
    Copy the full SHA
    77b8c70 View commit details
    Browse the repository at this point in the history

Commits on Aug 29, 2016

  1. Comfusy: Fixed output variable bug 

    Fixed names.
    @MikaelMayer
    MikaelMayer committed Aug 29, 2016
    Configuration menu
    Copy the full SHA
    f30debb View commit details
    Browse the repository at this point in the history