|
Welcome to Discourse
|
|
1
|
228
|
April 5, 2022
|
|
Exercise sheet 14 9b
|
|
22
|
116
|
August 11, 2022
|
|
PSA: Online Tool for Hoare logic
|
|
0
|
102
|
August 10, 2022
|
|
Late Endterm Exam Time
|
|
1
|
119
|
August 10, 2022
|
|
Course Evaluation
|
|
0
|
96
|
August 9, 2022
|
|
Exam Prep Sheet 8, HashCode Solution
|
|
2
|
122
|
August 8, 2022
|
|
C0p auxiliary calculations
|
|
1
|
84
|
August 7, 2022
|
|
Registration for Late Endterm
|
|
6
|
250
|
August 4, 2022
|
|
Public test Fail only on server, not locally
|
|
3
|
130
|
August 3, 2022
|
|
Total Exam Tries
|
|
1
|
123
|
August 1, 2022
|
|
Klausur Einsicht
|
|
1
|
152
|
July 31, 2022
|
|
Results of the project
|
|
10
|
182
|
July 30, 2022
|
|
Exam Inspection/Re-Exam PSA: How many points do I need to pass/get a better grade?
|
|
1
|
169
|
July 30, 2022
|
|
The true dilemma (Which one to implement for third part of the project CodeGen or Verification Conditions)
|
|
7
|
127
|
July 29, 2022
|
|
Invalid language element
|
|
2
|
85
|
July 28, 2022
|
|
Exercise 7.3: order of logical steps for L-evaluation of *z
|
|
1
|
90
|
July 28, 2022
|
|
Exam Prep Sheet, 5. b)
|
|
2
|
127
|
July 28, 2022
|
|
Prog2.tests.daily.VerificationTests::testSemaAssertException
|
|
1
|
48
|
July 28, 2022
|
|
Usage of reference in the project
|
|
1
|
52
|
July 28, 2022
|
|
Sign extension of (signed) char
|
|
5
|
79
|
July 28, 2022
|
|
What materials are given in the exam?
|
|
5
|
368
|
July 28, 2022
|
|
Expression Statements in VC
|
|
5
|
66
|
July 28, 2022
|
|
If statements in VC
|
|
3
|
58
|
July 28, 2022
|
|
Type check for externalDeclarations
|
|
5
|
61
|
July 28, 2022
|
|
Verification Condition of Assume(e)
|
|
1
|
42
|
July 27, 2022
|
|
Merging Verification Conditions in one Formula
|
|
3
|
54
|
July 27, 2022
|
|
Void* conversions
|
|
1
|
51
|
July 27, 2022
|
|
Assume and Assert in Verification Condition Part
|
|
2
|
48
|
July 27, 2022
|
|
Java standardlib functions in exam
|
|
2
|
88
|
July 27, 2022
|
|
Is it possible to pull function arguments out of an enum?
|
|
7
|
65
|
July 27, 2022
|