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

Maps: add MapKeys, MapValues, and related helpers #86

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

Maps: add MapKeys, MapValues, and related helpers #86

wants to merge 14 commits into from

Commits on Feb 13, 2023

  1. Maps: add MapKeys

    @alex-chew
    alex-chew committed Feb 13, 2023
    Configuration menu
    Copy the full SHA
    9d21910 View commit details
    Browse the repository at this point in the history

  2. fix formatting

    @alex-chew
    alex-chew authored Feb 13, 2023
    Configuration menu
    Copy the full SHA
    9f1df71 View commit details
    Browse the repository at this point in the history

Commits on Feb 15, 2023

  1. Update src/Collections/Maps/Maps.dfy 

    Co-authored-by: Mikaël Mayer <[email protected]>
    @alex-chew @MikaelMayer
    alex-chew and MikaelMayer authored Feb 15, 2023
    Configuration menu
    Copy the full SHA
    433ad7d View commit details
    Browse the repository at this point in the history

Commits on Feb 20, 2023

  1. add postcondition m'[f(x)] == m[x]

    @alex-chew
    alex-chew committed Feb 20, 2023
    Configuration menu
    Copy the full SHA
    2c30705 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into map-keys

    @alex-chew
    alex-chew authored Feb 20, 2023
    Configuration menu
    Copy the full SHA
    39cc4fe View commit details
    Browse the repository at this point in the history

Commits on Apr 10, 2023

  1. Merge branch 'master' into map-keys

    @alex-chew
    alex-chew authored Apr 10, 2023
    Configuration menu
    Copy the full SHA
    6b69649 View commit details
    Browse the repository at this point in the history

Commits on Apr 19, 2023

  1. Merge branch 'master' into map-keys

    @alex-chew
    alex-chew committed Apr 19, 2023
    Configuration menu
    Copy the full SHA
    fe7e104 View commit details
    Browse the repository at this point in the history

  2. add some other useful Map functions/lemmas

    @alex-chew
    alex-chew committed Apr 19, 2023
    Configuration menu
    Copy the full SHA
    5fbb83e View commit details
    Browse the repository at this point in the history

  3. add simple examples

    @alex-chew
    alex-chew committed Apr 19, 2023
    Configuration menu
    Copy the full SHA
    88caf97 View commit details
    Browse the repository at this point in the history

  4. add RUN line to MapsExamples

    @alex-chew
    alex-chew committed Apr 19, 2023
    Configuration menu
    Copy the full SHA
    c3df036 View commit details
    Browse the repository at this point in the history

  5. MapsExamples.dfy -> Maps.dfy

    @alex-chew
    alex-chew committed Apr 19, 2023
    Configuration menu
    Copy the full SHA
    808dc38 View commit details
    Browse the repository at this point in the history

  6. use IsSubset instead of Contains

    @alex-chew
    alex-chew committed Apr 19, 2023
    Configuration menu
    Copy the full SHA
    bd6f802 View commit details
    Browse the repository at this point in the history

  7. put f params first in Map* functions

    @alex-chew
    alex-chew committed Apr 19, 2023
    Configuration menu
    Copy the full SHA
    24f3936 View commit details
    Browse the repository at this point in the history

  8. fix examples

    @alex-chew
    alex-chew committed Apr 19, 2023
    Configuration menu
    Copy the full SHA
    30c9116 View commit details
    Browse the repository at this point in the history