Skip to content

An attempt at better documentation for q-d #73

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

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

An attempt at better documentation for q-d #73

Changes from 1 commit
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
134f514
[wip] Circular buffer example
abailly Mar 6, 2024
c244c84
Reproduce bug in model from Quviq paper
abailly Mar 16, 2024
8f47daa
Check postcondition for Len and reproduce 2nd bug from paper
abailly Mar 16, 2024
07fa9ca
Fix bug by increasing size by 1
abailly Mar 16, 2024
e9a4308
Introduce and fix 3rd bug (using rem)
abailly Mar 16, 2024
aec2582
Simplified DL for pedagogical purposes
abailly Apr 1, 2024
96c3c8c
Rename functions and give semantics in terms of relations
abailly Apr 1, 2024
f0ade0c
Introduce docs sub-package to provide, well, documentation
abailly Apr 2, 2024
3ec3517
Remove old DL file
abailly Apr 2, 2024
877bf9a
Complete first part
abailly Apr 2, 2024
f7ae1a4
Add section on test generation
abailly Apr 3, 2024
33b740f
Add some motivating section
abailly Apr 3, 2024
76a3260
Added README for docs/
abailly Apr 3, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Added README for docs/
  • Loading branch information
@abailly
abailly committed Apr 3, 2024
commit 76a3260c3bd5b84a2ecee80ee7d553802b4c6d1c
1 change: 1 addition & 0 deletions docs/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
This "package" is meant to contain the source of the documentation for quickcheck-dynamic which is deployed to https://input-output-hk.github.io/quickcheck-dynamic