issues
search
formal-methods-mpi
/
Workshop.jl
https://formal-methods-mpi.github.io/Workshop.jl/
Creative Commons Zero v1.0 Universal
1
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
include a cheesy motivational quote
#145
aaronpeikert
closed
4 months ago
3
Write Ctrl instead of Strg
#144
Maximilian-Stefan-Ernst
opened
11 months ago
0
Merge main into patch
#143
Maximilian-Stefan-Ernst
closed
11 months ago
1
Prepare for Berlin Workshop
#142
Maximilian-Stefan-Ernst
closed
11 months ago
2
add Hannes
#141
aaronpeikert
closed
11 months ago
3
HTML comment visible
#140
Maximilian-Stefan-Ernst
opened
11 months ago
0
My last name is missing in zenodo
#139
moritzketzer
opened
1 year ago
0
fix licence and doi in CFF
#138
aaronpeikert
opened
1 year ago
0
nest affiliation?
#137
moritzketzer
opened
1 year ago
0
Make measurements chapter 4 clearer
#136
moritzketzer
opened
1 year ago
0
add instruction in introduction that the .jl ending is important
#135
moritzketzer
opened
1 year ago
0
update julia version in CI
#134
Maximilian-Stefan-Ernst
opened
1 year ago
0
Me/pokemon
#133
Maximilian-Stefan-Ernst
closed
1 year ago
1
What to do with `additional materials`
#132
moritzketzer
closed
1 year ago
5
Trigger release for munich
#131
Maximilian-Stefan-Ernst
closed
11 months ago
0
change png to jpg
#130
moritzketzer
closed
1 year ago
6
Check final presentation
#129
Maximilian-Stefan-Ernst
closed
1 year ago
0
Last changes for Munich
#128
Maximilian-Stefan-Ernst
closed
1 year ago
1
main to devel
#127
Maximilian-Stefan-Ernst
closed
1 year ago
1
Check all links again
#126
Maximilian-Stefan-Ernst
closed
11 months ago
0
Foundations revisited
#125
moritzketzer
closed
1 year ago
9
Issues me
#124
Maximilian-Stefan-Ernst
closed
1 year ago
7
Fixes #104 - italic variable in foundations revisited
#123
moritzketzer
closed
1 year ago
1
update devel
#122
Maximilian-Stefan-Ernst
closed
1 year ago
1
explain `.Main`
#121
aaronpeikert
closed
1 year ago
2
fix broken link
#120
aaronpeikert
closed
1 year ago
5
link to chapter 0 to prep workshop is broken
#119
MalikaIhle
closed
1 year ago
0
Close open Issues
#118
moritzketzer
closed
1 year ago
3
Create LICENSE
#117
aaronpeikert
closed
1 year ago
2
What to do with `additional materials`
#116
Maximilian-Stefan-Ernst
closed
1 year ago
2
Send instructions to participants
#115
Maximilian-Stefan-Ernst
closed
1 year ago
3
Formulate instructions for participants
#114
Maximilian-Stefan-Ernst
closed
1 year ago
1
Devel
#113
Maximilian-Stefan-Ernst
closed
1 year ago
2
Feedback london
#112
Maximilian-Stefan-Ernst
closed
1 year ago
0
Great resource: https://adrhill.github.io/julia-ml-course/
#111
aaronpeikert
closed
1 year ago
1
intro to additional material
#110
MalikaIhle
closed
1 year ago
2
script and running lines
#109
MalikaIhle
opened
1 year ago
2
Foundations revisited
#108
MalikaIhle
closed
1 year ago
6
Julia vs julia
#107
MalikaIhle
closed
1 year ago
0
Update extensive-foundations.md
#106
MalikaIhle
closed
1 year ago
0
tuple = ?
#105
MalikaIhle
closed
1 year ago
0
the_answer_to_life
#104
MalikaIhle
closed
1 year ago
2
Update exercise.md
#103
MalikaIhle
closed
1 year ago
0
your names aren't anywhere in the tutorial?
#102
MalikaIhle
closed
1 year ago
0
IO = ?
#101
MalikaIhle
closed
1 year ago
1
Update dispatch.md
#100
MalikaIhle
closed
1 year ago
0
method definition.
#99
MalikaIhle
closed
1 year ago
1
dispatch definition
#98
MalikaIhle
closed
1 year ago
1
Update exercise.md
#97
MalikaIhle
closed
1 year ago
0
±(value, error) - what is going on here?
#96
MalikaIhle
closed
1 year ago
1
Next