Skip to content

Testing tutorial #137

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

Merged
bcpierce00 merged 170 commits into from
Apr 24, 2025
Merged

Testing tutorial #137

Changes from all commits
Commits
Show all changes
170 commits
Select commit Hold shift + click to select a range
60a669d
Nits in docs
Feb 14, 2025
3989db5
Add testing READMEs from main repo
ZippeyKeys12 Feb 17, 2025
57c1547
Add Jessica's min3 example
ZippeyKeys12 Feb 21, 2025
8927fbc
Create min3.c
ZippeyKeys12 Feb 21, 2025
29f2814
Separate three `min` versions
ZippeyKeys12 Feb 21, 2025
078707e
Create an outline document for thinking about testing tutorial structure
Feb 24, 2025
c26e50a
Big rename
Feb 25, 2025
4ea5dcd
Big rename, part 2
Feb 25, 2025
d8466b0
(A start on (a skeleton for)) the testing tutorial
Feb 25, 2025
913da72
Partial outline for testing tutorial
Feb 27, 2025
a9e5f38
More work on outline of new tutorial
Feb 28, 2025
72f3997
Updates to tutorial outline
Feb 28, 2025
3df2a64
Reorg
Mar 3, 2025
008781f
CP
Mar 3, 2025
1591947
start editing min example
jwshii Mar 3, 2025
f2612af
save progress on min example
jwshii Mar 3, 2025
7c6d1bd
make progress on min example
jwshii Mar 3, 2025
40c21df
rename file
jwshii Mar 3, 2025
2e5b1da
fix filepath
jwshii Mar 3, 2025
bf8caa6
finish draft of first chapter
jwshii Mar 3, 2025
c27ea8d
CP
Mar 3, 2025
e64b90f
Merge branches 'testing-tutorial' and 'testing-tutorial' of ssh://git…
Mar 3, 2025
72aab60
fix file names
jwshii Mar 3, 2025
e241c79
oops
jwshii Mar 3, 2025
f0850fb
oops again
jwshii Mar 3, 2025
9f1ca4e
Tidy
Mar 3, 2025
70c6075
signed to unsigned
jwshii Mar 3, 2025
612a49c
Checkpoint tutorial
Mar 4, 2025
d896463
CP
Mar 4, 2025
7607472
Merge branch 'testing-tutorial' of ssh://github.com/rems-project/cn-t…
Mar 4, 2025
7861093
yCP
Mar 4, 2025
7f45955
Work on tutorial
Mar 5, 2025
c84cadc
One more
Mar 5, 2025
6b88c95
Fix read.c
Mar 5, 2025
f0221b6
Merge branch 'main' into testing-tutorial
Mar 5, 2025
83d830f
Incorporate recent changes from main
Mar 5, 2025
ec222ee
ignore docs/exercises.zip
Mar 5, 2025
f50dbb0
save progress on cn-basics
jwshii Mar 5, 2025
b1b7e51
finish draft of cn basics chapter
jwshii Mar 5, 2025
e15d66c
Remove unused file
Mar 5, 2025
7c11686
Progress on new tutorial
Mar 5, 2025
e4b62da
Record instructions for running tests with replication output
Mar 6, 2025
9ccc8a5
Finished rough draft of pointers.md
Mar 6, 2025
6b496ae
More progress on testing tutorial
Mar 6, 2025
842d6b0
WIP revamping the Makefile for testing
Mar 9, 2025
c06b6d6
Testing Makefile seems to be working
Mar 9, 2025
d9540cd
Update Makefile w.r.t new testing defaults
ZippeyKeys12 Mar 10, 2025
9bffadc
Checkpoint tutorial makefile hacking
Mar 10, 2025
367d83b
Merge branch 'testing-tutorial' of ssh://github.com/rems-project/cn-t…
Mar 10, 2025
8a4beab
Tutorial compiles again, with some files not tested to avoid CN #incl…
Mar 10, 2025
e669802
Makefile nits
Mar 10, 2025
6a1ba8a
Polishing on early bits of the tutorial
Mar 10, 2025
340fcc1
More polishing
Mar 10, 2025
ec19e2a
Use `unsigned int` consistently (instead of `unsigned`)
Mar 10, 2025
2969655
More work all over tutorial
Mar 10, 2025
e56da28
make dramatic suggestions to pointers.md
jwshii Mar 11, 2025
bfe308f
Some responses to Jessica
Mar 11, 2025
d4e061c
Tidying
Mar 11, 2025
12afcfe
More progress on the testing tutorial
Mar 11, 2025
5b53f3d
work in progress refactoring of pointers.md
jwshii Mar 12, 2025
7da7aa2
More polishing
Mar 12, 2025
19808cf
Merge branch 'testing-tutorial' of ssh://github.com/rems-project/cn-t…
Mar 12, 2025
a58cf88
Save some useful text
Mar 12, 2025
4d27187
File renaming (in poreparation for making .test versions)
Mar 12, 2025
a8198cd
Working on splitting out testing / verification versions of list and …
Mar 12, 2025
5a65e9b
Renaming CN keywords
Mar 13, 2025
3dd4b26
Finished first testing version of lists
Mar 13, 2025
a4c3760
Add missing file
Mar 13, 2025
dd7e8fc
Testing version of the imperative queue case study
Mar 13, 2025
4ff03ef
DLL and runway examples
Mar 13, 2025
4f60649
Tidying
Mar 13, 2025
efa840b
Missing file
Mar 13, 2025
19f46a3
finish most of pointers chapter
jwshii Mar 14, 2025
1b3a8db
Polishing
Mar 14, 2025
26f7190
Polishing
Mar 14, 2025
9f6e142
Testing tutorial tidying
Mar 26, 2025
e7adf61
Work on alloc.md
Mar 27, 2025
0b075d4
More rearranging and writing
Mar 28, 2025
a89845b
add comments
jwshii Mar 28, 2025
6c211ec
more comments
jwshii Mar 28, 2025
f9904c5
add comment
jwshii Mar 28, 2025
5967120
Trivial
Mar 29, 2025
c4bf207
Renaming
Mar 29, 2025
a296c3d
Responses to Jessica
Mar 31, 2025
34cf9a1
Minor reformat
Mar 31, 2025
9a61a6c
save wip on compound.md
jwshii Mar 31, 2025
31b4219
more edits to compound
jwshii Mar 31, 2025
670453c
Misc fixes
Mar 31, 2025
501a525
save changes to arrays and compound
jwshii Mar 31, 2025
82f1ec7
Add mkdocs macros support
Mar 31, 2025
e133bff
Merge branch 'testing-tutorial' of github.com:rems-project/cn-tutoria…
Mar 31, 2025
4987416
standardize exercise formatting in first few chapters
jwshii Mar 31, 2025
dbcd92f
Small fixes
Mar 31, 2025
9cd7f54
Merge branch 'testing-tutorial' of github.com:rems-project/cn-tutoria…
Mar 31, 2025
cdbac60
More polishing here and there
Mar 31, 2025
de04c93
finish draft of arrays chapter
jwshii Apr 1, 2025
7d891ec
Convert comments to new macro notation
Apr 1, 2025
2f83f44
Merge branch 'testing-tutorial' of github.com:rems-project/cn-tutoria…
Apr 1, 2025
a53a974
Couple more macros
Apr 1, 2025
aa46282
Nit
Apr 1, 2025
dff61d8
More macroizing
Apr 1, 2025
8a818cd
Remove very old tutorial
Apr 1, 2025
037fdfd
Some file renaming
Apr 1, 2025
4af3d6f
More tidying
Apr 1, 2025
0656864
Remove file added accidentally
Apr 1, 2025
3960176
Finished a first pass over the whole tutorial - lots still to do
Apr 1, 2025
e55c37a
polishing dllist
Apr 3, 2025
a309408
Polishing runway case study
Apr 3, 2025
49dd575
Last fixes to get everything compiling
Apr 3, 2025
c49b78a
Fix minor typos and other minor fixes and edits
dimecon Apr 4, 2025
0ea583d
fix nav bar
jwshii Apr 4, 2025
4d76d10
remove extraneous file
jwshii Apr 4, 2025
11f74ce
restore other tabs
jwshii Apr 4, 2025
129dba1
tweaks to first two chapters
jwshii Apr 4, 2025
ac4ef56
More fixes
Apr 4, 2025
c58b105
Merge branch 'testing-tutorial' of github.com:rems-project/cn-tutoria…
Apr 4, 2025
b04d5da
Finish merge
Apr 4, 2025
295ced5
tweaks to pointers
jwshii Apr 4, 2025
9cca03a
take pass over verif-arrays
jwshii Apr 5, 2025
e3a2b34
Last fix
Apr 6, 2025
109484a
tweaks+fixes to verif-pointers.md
cp526 Apr 7, 2025
36855b3
Update CI to new CN repository
ZippeyKeys12 Apr 7, 2025
aa8e308
[CI] Install CN before building
ZippeyKeys12 Apr 7, 2025
c7d7692
[CI] Fix cache for building
ZippeyKeys12 Apr 7, 2025
a78cc5d
[CI] Checking is now part of building the tutorial
ZippeyKeys12 Apr 7, 2025
ac2c4e3
Adjust testing flags
ZippeyKeys12 Apr 7, 2025
76b19a6
Revert testing with Cerberus standard library
ZippeyKeys12 Apr 7, 2025
0e39565
CI: Reset opam env before making tutorial
thatplguy Apr 7, 2025
bea703b
install: Point to new CN repo instead of Cerberus
b13decker Apr 8, 2025
522e190
gitignore: Add __pycache__ folder to be ignored
b13decker Apr 8, 2025
1446a79
install: Fix broken links to VERSE-Toolchain repo
b13decker Apr 8, 2025
abfa23d
Spelling
Apr 9, 2025
17d4ff3
Merge branch 'testing-tutorial' of github.com:rems-project/cn-tutoria…
Apr 9, 2025
3115dfb
Fix `push_lemma`, so it is true
ZippeyKeys12 Apr 9, 2025
3d6adc5
mkdocs.yml: Add GitHub widget to tutorial pages.
chrisephifer-g Apr 9, 2025
397602b
main.py: Apply some Python formatting.
chrisephifer-g Apr 9, 2025
082534f
main.py: Use an environment variable to conditionally include TODOs.
chrisephifer-g Apr 9, 2025
7d320a6
Fix up the new conditional display of comments-to-ourselves
Apr 10, 2025
60082b7
Edited the first chapter to add context, ease transitions, improve la…
zutshi Apr 15, 2025
5e7be07
make small changes to alloc
jwshii Apr 15, 2025
9554bee
Polishing and comments on first-taste
Apr 15, 2025
12d7cbf
`AUTHORS` and `CONTRIBUTORS`
ZippeyKeys12 Apr 15, 2025
14aa941
Somehow missed the last lines
ZippeyKeys12 Apr 15, 2025
f119d20
fix typos in examples and move w resource section
jwshii Apr 16, 2025
905a2e6
Fix typo
ZippeyKeys12 Apr 16, 2025
9f92588
Update READMEs
ZippeyKeys12 Apr 16, 2025
3758d10
add w resource exercise
jwshii Apr 18, 2025
5e54b34
sentence case everywhere
jwshii Apr 18, 2025
b0b8a1b
Nest table of contents in sidebar
ZippeyKeys12 Apr 18, 2025
baf2355
Start some advanced testing chapters
ZippeyKeys12 Apr 18, 2025
cd5834a
Thinking about unit testing
ZippeyKeys12 Apr 21, 2025
0b381d1
Thinking about test distributions
ZippeyKeys12 Apr 21, 2025
a02e026
Already fixed the lemma
ZippeyKeys12 Apr 21, 2025
3104569
Navigation changes
ZippeyKeys12 Apr 21, 2025
7c8cb82
Tutorial README.md unused, structure in sidebar
ZippeyKeys12 Apr 21, 2025
25457b9
Move `main.py` to `macros.py`
ZippeyKeys12 Apr 21, 2025
6084c72
Mark pages with the "flow" they belong to
ZippeyKeys12 Apr 21, 2025
927be34
Automatically italicize verification chapters
ZippeyKeys12 Apr 21, 2025
1eb8762
Nitpick
ZippeyKeys12 Apr 22, 2025
fad549c
Patch from Gus to work around CI failure
thatplguy Apr 22, 2025
bbc54db
folded in feedback
zutshi Apr 22, 2025
9230d5a
Merge pull request #130 from rems-project/testing-tutorial-draft
zutshi Apr 22, 2025
d99f450
Add a workaround file for unsupported C constructs
peterohanley-galois Apr 18, 2025
730d226
Do not put newlines into perl command
peterohanley-galois Apr 22, 2025
485a5a0
CI: install mkdocs-macros-plugin
peterohanley-galois Apr 22, 2025
592463a
Remove (correctly) failing broken file from Makefile
Apr 23, 2025
9d8b9fb
Added sections for 'lcov' and Tyche. (#132)
aschwerdfeger-galois Apr 23, 2025
f181750
Dev container
ZippeyKeys12 Apr 24, 2025
2ecc1de
Roll back (trivial) Python 3.10 dependencies
Apr 24, 2025
1ed88b5
Merge remote-tracking branch 'origin/main' into testing-tutorial
Apr 24, 2025
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

These merge commits were added into this branch cleanly.

There are no new changes to show.