workshop.jl - Berlin version

What's Changed

• Prepare for Berlin Workshop by @Maximilian-Stefan-Ernst in https://github.com/formal-methods-mpi/Workshop.jl/pull/142
• Merge main into patch by @Maximilian-Stefan-Ernst in https://github.com/formal-methods-mpi/Workshop.jl/pull/143
• add Hannes by @aaronpeikert in https://github.com/formal-methods-mpi/Workshop.jl/pull/141

Full Changelog: https://github.com/formal-methods-mpi/Workshop.jl/compare/v0.0.6...v0.0.7

- TeX
Published by Maximilian-Stefan-Ernst over 2 years ago

workshop.jl - Munich version

What's Changed

• Feedback london by @Maximilian-Stefan-Ernst in https://github.com/formal-methods-mpi/Workshop.jl/pull/78
• Update dispatch.md by @MalikaIhle in https://github.com/formal-methods-mpi/Workshop.jl/pull/100
• Update exercise.md by @MalikaIhle in https://github.com/formal-methods-mpi/Workshop.jl/pull/97
• Update types.md by @MalikaIhle in https://github.com/formal-methods-mpi/Workshop.jl/pull/94
• Update exercise.md by @MalikaIhle in https://github.com/formal-methods-mpi/Workshop.jl/pull/90
• Update foundations.md by @MalikaIhle in https://github.com/formal-methods-mpi/Workshop.jl/pull/88
• Update usage.md by @MalikaIhle in https://github.com/formal-methods-mpi/Workshop.jl/pull/85
• Devel by @Maximilian-Stefan-Ernst in https://github.com/formal-methods-mpi/Workshop.jl/pull/113
• Close open Issues by @moritzketzer in https://github.com/formal-methods-mpi/Workshop.jl/pull/118
• explain .Main by @aaronpeikert in https://github.com/formal-methods-mpi/Workshop.jl/pull/121
• update devel by @Maximilian-Stefan-Ernst in https://github.com/formal-methods-mpi/Workshop.jl/pull/122
• Fixes #104 - italic variable in foundations revisited by @moritzketzer in https://github.com/formal-methods-mpi/Workshop.jl/pull/123
• fix broken link by @aaronpeikert in https://github.com/formal-methods-mpi/Workshop.jl/pull/120
• Create LICENSE by @aaronpeikert in https://github.com/formal-methods-mpi/Workshop.jl/pull/117
• Create CITATION.cff by @aaronpeikert in https://github.com/formal-methods-mpi/Workshop.jl/pull/82
• Issues me by @Maximilian-Stefan-Ernst in https://github.com/formal-methods-mpi/Workshop.jl/pull/124
• Foundations revisited by @moritzketzer in https://github.com/formal-methods-mpi/Workshop.jl/pull/125
• main to devel by @Maximilian-Stefan-Ernst in https://github.com/formal-methods-mpi/Workshop.jl/pull/127
• Last changes for Munich by @Maximilian-Stefan-Ernst in https://github.com/formal-methods-mpi/Workshop.jl/pull/128
• change png to jpg by @moritzketzer in https://github.com/formal-methods-mpi/Workshop.jl/pull/130
• What to do with additional materials by @moritzketzer in https://github.com/formal-methods-mpi/Workshop.jl/pull/132
• Me/pokemon by @Maximilian-Stefan-Ernst in https://github.com/formal-methods-mpi/Workshop.jl/pull/133

New Contributors

• @MalikaIhle made their first contribution in https://github.com/formal-methods-mpi/Workshop.jl/pull/100

Full Changelog: https://github.com/formal-methods-mpi/Workshop.jl/compare/v0.0.5...v0.0.6

- TeX
Published by Maximilian-Stefan-Ernst over 2 years ago

workshop.jl - Release to trigger first Zenodo DOI

Works are now under CC0

- TeX
Published by aaronpeikert over 2 years ago

workshop.jl - London Version

What's Changed

• Devel by @Maximilian-Stefan-Ernst in https://github.com/formal-methods-mpi/Workshop.jl/pull/63

Full Changelog: https://github.com/formal-methods-mpi/Workshop.jl/compare/v0.0.3...v0.0.4

- TeX
Published by Maximilian-Stefan-Ernst almost 3 years ago

workshop.jl - Third Internal Testrun

What's Changed

• Merge pull request #50 from formal-methods-mpi/devel by @aaronpeikert in https://github.com/formal-methods-mpi/Workshop.jl/pull/55
• add presentation and workshop feedback by @Maximilian-Stefan-Ernst in https://github.com/formal-methods-mpi/Workshop.jl/pull/35
• Feature/introduction by @aaronpeikert in https://github.com/formal-methods-mpi/Workshop.jl/pull/31
• Close a few issues, rework advanced materials parts by @Maximilian-Stefan-Ernst in https://github.com/formal-methods-mpi/Workshop.jl/pull/52
• rewrite restarting the repl, summary and tab key section by @moritzketzer in https://github.com/formal-methods-mpi/Workshop.jl/pull/53
• Rename advanced -> additional by @moritzketzer in https://github.com/formal-methods-mpi/Workshop.jl/pull/58
• rework presentation for london, add ending presentation by @Maximilian-Stefan-Ernst in https://github.com/formal-methods-mpi/Workshop.jl/pull/59
• Fix some issues by @Maximilian-Stefan-Ernst in https://github.com/formal-methods-mpi/Workshop.jl/pull/61
• Add foundations revisited by @moritzketzer in https://github.com/formal-methods-mpi/Workshop.jl/pull/60
• Update Main by @moritzketzer in https://github.com/formal-methods-mpi/Workshop.jl/pull/62

Full Changelog: https://github.com/formal-methods-mpi/Workshop.jl/compare/v0.0.2...v0.0.3

- TeX
Published by aaronpeikert almost 3 years ago

workshop.jl - Second Internal Testrun

What's Changed

• dependency in docs actually seems to be normal by @aaronpeikert in https://github.com/formal-methods-mpi/Workshop.jl/pull/23
• Hotfix/verify install by @aaronpeikert in https://github.com/formal-methods-mpi/Workshop.jl/pull/22
• Update CI by @aaronpeikert in https://github.com/formal-methods-mpi/Workshop.jl/pull/48
• minor changes to foundations.md, added restart REPL and removed REPL shell mode in usage.md by @moritzketzer in https://github.com/formal-methods-mpi/Workshop.jl/pull/36
• Devel by @aaronpeikert in https://github.com/formal-methods-mpi/Workshop.jl/pull/50
• Rework me by @Maximilian-Stefan-Ernst in https://github.com/formal-methods-mpi/Workshop.jl/pull/44
• Signup mail by @aaronpeikert in https://github.com/formal-methods-mpi/Workshop.jl/pull/49

Full Changelog: https://github.com/formal-methods-mpi/Workshop.jl/compare/v0.0.1...v0.0.2

- TeX
Published by aaronpeikert almost 3 years ago

workshop.jl - First Internal Testrun

The current state is unfinished for setup and advanced stuff, contains loads of errors etc., but this is where we are.

What's Changed

• ideas for a first draft by @aaronpeikert in https://github.com/formal-methods-mpi/Workshop.jl/pull/1
• add Documenter.jl and CI infrastructure by @aaronpeikert in https://github.com/formal-methods-mpi/Workshop.jl/pull/3
• add GHA PreviewDocumentation.yml by @aaronpeikert in https://github.com/formal-methods-mpi/Workshop.jl/pull/5
• Sync devel and main by @aaronpeikert in https://github.com/formal-methods-mpi/Workshop.jl/pull/12
• add introduction draft and add .vscode to gitignore by @moritzketzer in https://github.com/formal-methods-mpi/Workshop.jl/pull/14
• finish minimal working example of the intro by @moritzketzer in https://github.com/formal-methods-mpi/Workshop.jl/pull/15
• Restructure workflow by @Maximilian-Stefan-Ernst in https://github.com/formal-methods-mpi/Workshop.jl/pull/21
• User interface by @Maximilian-Stefan-Ernst in https://github.com/formal-methods-mpi/Workshop.jl/pull/17
• add julia logo by @aaronpeikert in https://github.com/formal-methods-mpi/Workshop.jl/pull/11
• fix edit link by @aaronpeikert in https://github.com/formal-methods-mpi/Workshop.jl/pull/10
• Feature/footer by @aaronpeikert in https://github.com/formal-methods-mpi/Workshop.jl/pull/24
• merge foundations chapter (current) and syntax chapter (old and archived) by @moritzketzer in https://github.com/formal-methods-mpi/Workshop.jl/pull/26
• First workshop by @Maximilian-Stefan-Ernst in https://github.com/formal-methods-mpi/Workshop.jl/pull/27
• Prepare for release by @aaronpeikert in https://github.com/formal-methods-mpi/Workshop.jl/pull/28

New Contributors

• @aaronpeikert made their first contribution in https://github.com/formal-methods-mpi/Workshop.jl/pull/1
• @moritzketzer made their first contribution in https://github.com/formal-methods-mpi/Workshop.jl/pull/14
• @Maximilian-Stefan-Ernst made their first contribution in https://github.com/formal-methods-mpi/Workshop.jl/pull/21

Full Changelog: https://github.com/formal-methods-mpi/Workshop.jl/commits/v0.0.1

- TeX
Published by aaronpeikert almost 3 years ago