Testing tutorial#137

Merged

bcpierce00 merged 170 commits intomainfrom

testing-tutorial

Apr 24, 2025

Commits on Feb 14, 2025

Nits in docs
Benjamin Pierce
committed

Commits on Feb 17, 2025

Add testing READMEs from main repo
ZippeyKeys12
committed

Commits on Feb 21, 2025

Commits on Feb 24, 2025

Create an outline document for thinking about testing tutorial structure
Benjamin Pierce
committed

Commits on Feb 25, 2025

Big rename
Benjamin Pierce
committed
Big rename, part 2
Benjamin Pierce
committed
(A start on (a skeleton for)) the testing tutorial
Benjamin Pierce
committed

Commits on Feb 27, 2025

Partial outline for testing tutorial
Benjamin Pierce
committed

Commits on Feb 28, 2025

More work on outline of new tutorial
Benjamin Pierce
committed
Updates to tutorial outline
Benjamin Pierce
committed

Commits on Mar 3, 2025

Reorg
Benjamin Pierce
committed
CP
Benjamin Pierce
committed
start editing min example
jwshii
committed
save progress on min example
jwshii
committed
make progress on min example
jwshii
committed
rename file
jwshii
committed
fix filepath
jwshii
committed
finish draft of first chapter
jwshii
committed
CP
Benjamin Pierce
committed
Merge branches 'testing-tutorial' and 'testing-tutorial' of ssh://github.com/rems-project/cn-tutorial into testing-tutorial
Benjamin Pierce
committed
fix file names
jwshii
committed
oops
jwshii
committed
oops again
jwshii
committed
Tidy
Benjamin Pierce
committed
signed to unsigned
jwshii
committed

Commits on Mar 4, 2025

Checkpoint tutorial
Benjamin Pierce
committed
CP
Benjamin Pierce
committed
Merge branch 'testing-tutorial' of ssh://github.com/rems-project/cn-tutorial into testing-tutorial
Benjamin Pierce
committed
yCP
Benjamin Pierce
committed

Commits on Mar 5, 2025

Work on tutorial
Benjamin Pierce
committed
One more
Benjamin Pierce
committed
Fix read.c
Benjamin Pierce
committed
Merge branch 'main' into testing-tutorial
Benjamin Pierce
committed
Incorporate recent changes from main
Benjamin Pierce
committed
ignore docs/exercises.zip
Benjamin Pierce
committed
save progress on cn-basics
jwshii
committed
finish draft of cn basics chapter
jwshii
committed
Remove unused file
Benjamin Pierce
committed
Progress on new tutorial
Benjamin Pierce
committed

Commits on Mar 6, 2025

Record instructions for running tests with replication output
Benjamin Pierce
committed
Finished rough draft of pointers.md
Benjamin Pierce
committed
More progress on testing tutorial
Benjamin Pierce
committed

Commits on Mar 9, 2025

WIP revamping the Makefile for testing
Benjamin Pierce
committed
Testing Makefile seems to be working
Benjamin Pierce
committed

Commits on Mar 10, 2025

Update Makefile w.r.t new testing defaults
ZippeyKeys12
committed
Checkpoint tutorial makefile hacking
Benjamin Pierce
committed
Merge branch 'testing-tutorial' of ssh://github.com/rems-project/cn-tutorial into testing-tutorial
Benjamin Pierce
committed
Tutorial compiles again, with some files not tested to avoid CN #include issues
Benjamin Pierce
committed
Makefile nits
Benjamin Pierce
committed
Polishing on early bits of the tutorial
Benjamin Pierce
committed
More polishing
Benjamin Pierce
committed
Use `unsigned int` consistently (instead of `unsigned`)
Benjamin Pierce
committed
More work all over tutorial
Benjamin Pierce
committed

Commits on Mar 11, 2025

make dramatic suggestions to pointers.md
jwshii
committed
Some responses to Jessica
Benjamin Pierce
committed
Tidying
Benjamin Pierce
committed
More progress on the testing tutorial
Benjamin Pierce
committed

Commits on Mar 12, 2025

work in progress refactoring of pointers.md
jwshii
committed
More polishing
Benjamin Pierce
committed
Merge branch 'testing-tutorial' of ssh://github.com/rems-project/cn-tutorial into testing-tutorial
Benjamin Pierce
committed
Save some useful text
Benjamin Pierce
committed
File renaming (in poreparation for making .test versions)
Benjamin Pierce
committed
Working on splitting out testing / verification versions of list and queue examples
Benjamin Pierce
committed

Commits on Mar 13, 2025

Renaming CN keywords
Benjamin Pierce
committed
Finished first testing version of lists
Benjamin Pierce
committed
Add missing file
Benjamin Pierce
committed
Testing version of the imperative queue case study
Benjamin Pierce
committed
DLL and runway examples
Benjamin Pierce
committed
Tidying
Benjamin Pierce
committed
Missing file
Benjamin Pierce
committed

Commits on Mar 14, 2025

finish most of pointers chapter
jwshii
committed
Polishing
Benjamin Pierce
committed
Polishing
Benjamin Pierce
committed

Commits on Mar 26, 2025

Testing tutorial tidying
Benjamin Pierce
committed

Commits on Mar 27, 2025

Work on alloc.md
Benjamin Pierce
committed

Commits on Mar 28, 2025

More rearranging and writing
Benjamin Pierce
committed
add comments
jwshii
committed
more comments
jwshii
committed
add comment
jwshii
committed

Commits on Mar 29, 2025

Trivial
Benjamin Pierce
committed
Renaming
Benjamin Pierce
committed

Commits on Mar 31, 2025

Responses to Jessica
Benjamin Pierce
committed
Minor reformat
Benjamin Pierce
committed
save wip on compound.md
jwshii
committed
more edits to compound
jwshii
committed
Misc fixes
Benjamin Pierce
committed
save changes to arrays and compound
jwshii
committed
Add mkdocs macros support
Benjamin Pierce
committed
Merge branch 'testing-tutorial' of github.com:rems-project/cn-tutorial into testing-tutorial
Benjamin Pierce
committed
standardize exercise formatting in first few chapters
jwshii
committed
Small fixes
Benjamin Pierce
committed
Merge branch 'testing-tutorial' of github.com:rems-project/cn-tutorial into testing-tutorial
Benjamin Pierce
committed
More polishing here and there
Benjamin Pierce
committed

Commits on Apr 1, 2025

finish draft of arrays chapter
jwshii
committed
Convert comments to new macro notation
Benjamin Pierce
committed
Merge branch 'testing-tutorial' of github.com:rems-project/cn-tutorial into testing-tutorial
Benjamin Pierce
committed
Couple more macros
Benjamin Pierce
committed
Nit
Benjamin Pierce
committed
More macroizing
Benjamin Pierce
committed
Remove very old tutorial
Benjamin Pierce
committed
Some file renaming
Benjamin Pierce
committed
More tidying
Benjamin Pierce
committed
Remove file added accidentally
Benjamin Pierce
committed
Finished a first pass over the whole tutorial - lots still to do
Benjamin Pierce
committed

Commits on Apr 3, 2025

polishing dllist
Benjamin Pierce
committed
Polishing runway case study
Benjamin Pierce
committed
Last fixes to get everything compiling
Benjamin Pierce
committed

Commits on Apr 4, 2025

Commits on Apr 5, 2025

take pass over verif-arrays
jwshii
committed

Commits on Apr 6, 2025

Last fix
Benjamin Pierce
committed

Commits on Apr 8, 2025

Commits on Apr 10, 2025

Fix up the new conditional display of comments-to-ourselves
Benjamin Pierce
committed

Commits on Apr 16, 2025

Commits on Apr 23, 2025

Remove (correctly) failing broken file from Makefile
Benjamin Pierce
committed
Added sections for 'lcov' and Tyche. (#132)
aschwerdfeger-galois
authored

Commits on Apr 24, 2025

Dev container
ZippeyKeys12
committed
Roll back (trivial) Python 3.10 dependencies
Benjamin Pierce
committed
Merge remote-tracking branch 'origin/main' into testing-tutorial
Benjamin Pierce
committed