Stefan Pranger sp

• Joined on Jan 27, 2021

Repositories Public Activity Starred Repositories

2

Following

0

Followers

0

Loading Heatmap…

sp pushed to main at sp/Tempest_in_Action

• ed0fc6134e removed imagerecordercallback

2 months ago

sp pushed to main at sp/Tempest_in_Action

• df402f9c4c removed VideoCallback

2 months ago

sp pushed to main at sp/Tempest_in_Action

• 0ce3e5a919 fixed image name reference

2 months ago

sp pushed to main at sp/Tempest_in_Action

• 9399c04935 fix branch for tempest source

2 months ago

sp pushed to main at sp/tempest

• 763eb7f76f bumped c++ version im CMakeLists
• ff921b2768 Merge branch 'main' of git.pranger.xyz:TEMPEST/tempest-devel
• 676ead0475 Merge pull request 'TempestPY Updates' (#62) from tempestpy_adaptions into main
• 48bd2cd9c2 Merge pull request 'Feature: Implementing Sound Versions of Reachability and LRA for SMGs' (#60) from sound_game_vi into tempestpy_adaptions
• 7e5867252d SoundGameViHelper: cleaned up
• Compare 10 commits »

2 months ago

sp created branch main in sp/tempest

2 months ago

sp pushed to main at sp/Tempest_in_Action

• 702e3a8f6e renamed build target for docker

2 months ago

sp pushed to main at sp/Tempest_in_Action

• 93fb745b23 bumped cpp version

2 months ago

sp pushed to main at sp/Tempest_in_Action

• 58919ad4d4 initial commit

4 months ago

sp pushed to main at sp/stochasticModelsInTikz

• 443a3fff8a init commit

4 months ago

sp created branch main in sp/stochasticModelsInTikz

4 months ago

sp created repository sp/stochasticModelsInTikz

4 months ago

sp pushed to main at sp/LAC-Practical-Assignments-WS2024

• 1ecd0fe9b6 reset level0 to be small again

4 months ago

sp pushed to main at sp/LAC-Practical-Assignments-WS2024

• a38e6b1866 added empty scripts for lecture 2

4 months ago

sp pushed to main at sp/LAC-Practical-Assignments-WS2024

• 3ebf9f6dcf added lecture examples

4 months ago

sp pushed to main at sp/LAC-Practical-Assignments-WS2024

• 1836f17971 update upstream link in ass sheet

5 months ago

sp pushed to main at sp/LAC-Practical-Assignments-WS2024

• 65ab4f510d added assignment sheet

5 months ago

sp pushed to main at sp/LAC-Practical-Assignments-WS2024

• c95f223cbd added z3 intro do README
• 92a6d23a48 added z3 intro do README
• Compare 2 commits »

5 months ago

sp pushed to main at sp/LAC-Practical-Assignments-WS2024

• 92a6d23a48 added z3 intro do README
• f39387dfc8 added z3 intro do README
• Compare 2 commits »

5 months ago

sp pushed to main at sp/LAC-Practical-Assignments-WS2024

• f39387dfc8 added z3 intro do README
• 0d9c923c5b added z3 intro do README
• Compare 2 commits »

5 months ago