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

[ new ] Factoring out unsafe parts of the library #414

Merged
merged 9 commits into from Aug 30, 2018
Merged

[ new ] Factoring out unsafe parts of the library #414

merged 9 commits into from Aug 30, 2018

Commits on Aug 6, 2018

  1. First attempt at safety rewrite

    @MatthewDaggitt
    MatthewDaggitt committed Aug 6, 2018
    Configuration menu
    Copy the full SHA
    8c759ff View commit details
    Browse the repository at this point in the history

  2. [ travis ] building safe modules with --safe

    @gallais
    gallais committed Aug 6, 2018
    Configuration menu
    Copy the full SHA
    bf8f778 View commit details
    Browse the repository at this point in the history

  3. [ travis ] fix the safe.agda generation + build first

    @gallais
    gallais committed Aug 6, 2018
    Configuration menu
    Copy the full SHA
    0a62e0c View commit details
    Browse the repository at this point in the history

Commits on Aug 8, 2018

  1. [ travis ] ignore other sources of unsafe code

    @gallais
    gallais committed Aug 8, 2018
    Configuration menu
    Copy the full SHA
    3de5757 View commit details
    Browse the repository at this point in the history

  2. [ fix ] whitespace violation in safe.agda 

    also building the docs for safe
    @gallais
    gallais committed Aug 8, 2018
    Configuration menu
    Copy the full SHA
    73dfff1 View commit details
    Browse the repository at this point in the history

Commits on Aug 30, 2018

  1. Merge branch 'master' into safe

    @MatthewDaggitt
    MatthewDaggitt committed Aug 30, 2018
    Configuration menu
    Copy the full SHA
    e56bc48 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into safe

    @MatthewDaggitt
    MatthewDaggitt committed Aug 30, 2018
    Configuration menu
    Copy the full SHA
    f2b3fd0 View commit details
    Browse the repository at this point in the history

  3. Updated CHANGELOG and README

    @MatthewDaggitt
    MatthewDaggitt committed Aug 30, 2018
    Configuration menu
    Copy the full SHA
    169f614 View commit details
    Browse the repository at this point in the history

  4. Disabling safety check in travis

    @MatthewDaggitt
    MatthewDaggitt committed Aug 30, 2018
    Configuration menu
    Copy the full SHA
    a3123d2 View commit details
    Browse the repository at this point in the history