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

An attempt at better documentation for q-d #73

Draft
wants to merge 13 commits into
base: main
Choose a base branch
from
Draft

An attempt at better documentation for q-d #73

wants to merge 13 commits into from

Commits on Mar 29, 2024

  1. [wip] Circular buffer example

    @abailly
    abailly committed Mar 29, 2024
    Configuration menu
    Copy the full SHA
    134f514 View commit details
    Browse the repository at this point in the history

  2. Reproduce bug in model from Quviq paper 

    Require shrinking the actions to ensure the example is minimal => Need
to shrink New for buffer size to decrease!
    @abailly
    abailly committed Mar 29, 2024
    Configuration menu
    Copy the full SHA
    c244c84 View commit details
    Browse the repository at this point in the history

  3. Check postcondition for Len and reproduce 2nd bug from paper

    @abailly
    abailly committed Mar 29, 2024
    Configuration menu
    Copy the full SHA
    8f47daa View commit details
    Browse the repository at this point in the history

  4. Fix bug by increasing size by 1 

    It's not possible to reproduce the second bug because `mod` operator
in Haskell is implementeed correctly, not like `rem` in C or Erlang.

> (-1) `mod` 2 == 1
    @abailly
    abailly committed Mar 29, 2024
    Configuration menu
    Copy the full SHA
    07fa9ca View commit details
    Browse the repository at this point in the history

  5. Introduce and fix 3rd bug (using rem)

    @abailly
    abailly committed Mar 29, 2024
    Configuration menu
    Copy the full SHA
    e9a4308 View commit details
    Browse the repository at this point in the history

Commits on Apr 2, 2024

  1. Simplified DL for pedagogical purposes

    @abailly
    abailly committed Apr 2, 2024
    Configuration menu
    Copy the full SHA
    aec2582 View commit details
    Browse the repository at this point in the history

  2. Rename functions and give semantics in terms of relations

    @abailly
    abailly committed Apr 2, 2024
    Configuration menu
    Copy the full SHA
    96c3c8c View commit details
    Browse the repository at this point in the history

  3. Introduce docs sub-package to provide, well, documentation 

    The idea is that some of the documentation will be in Literate haskell
format and require some "building" to be generated.
    @abailly
    abailly committed Apr 2, 2024
    Configuration menu
    Copy the full SHA
    f0ade0c View commit details
    Browse the repository at this point in the history

  4. Remove old DL file

    @abailly
    abailly committed Apr 2, 2024
    Configuration menu
    Copy the full SHA
    3ec3517 View commit details
    Browse the repository at this point in the history

  5. Complete first part

    @abailly
    abailly committed Apr 2, 2024
    Configuration menu
    Copy the full SHA
    877bf9a View commit details
    Browse the repository at this point in the history

Commits on Apr 3, 2024

  1. Add section on test generation

    @abailly
    abailly committed Apr 3, 2024
    Configuration menu
    Copy the full SHA
    f7ae1a4 View commit details
    Browse the repository at this point in the history

  2. Add some motivating section

    @abailly
    abailly committed Apr 3, 2024
    Configuration menu
    Copy the full SHA
    33b740f View commit details
    Browse the repository at this point in the history

  3. Added README for docs/

    @abailly
    abailly committed Apr 3, 2024
    Configuration menu
    Copy the full SHA
    76a3260 View commit details
    Browse the repository at this point in the history