|
Welcome to Discourse
|
|
1
|
241
|
April 5, 2022
|
|
Exercise sheet 14 9b
|
|
22
|
133
|
August 11, 2022
|
|
PSA: Online Tool for Hoare logic
|
|
0
|
125
|
August 10, 2022
|
|
Late Endterm Exam Time
|
|
1
|
129
|
August 10, 2022
|
|
Course Evaluation
|
|
0
|
103
|
August 9, 2022
|
|
Exam Prep Sheet 8, HashCode Solution
|
|
2
|
129
|
August 8, 2022
|
|
C0p auxiliary calculations
|
|
1
|
95
|
August 7, 2022
|
|
Registration for Late Endterm
|
|
6
|
261
|
August 4, 2022
|
|
Public test Fail only on server, not locally
|
|
3
|
144
|
August 3, 2022
|
|
Total Exam Tries
|
|
1
|
131
|
August 1, 2022
|
|
Klausur Einsicht
|
|
1
|
162
|
July 31, 2022
|
|
Results of the project
|
|
10
|
202
|
July 30, 2022
|
|
Exam Inspection/Re-Exam PSA: How many points do I need to pass/get a better grade?
|
|
1
|
174
|
July 30, 2022
|
|
The true dilemma (Which one to implement for third part of the project CodeGen or Verification Conditions)
|
|
7
|
134
|
July 29, 2022
|
|
Invalid language element
|
|
2
|
104
|
July 28, 2022
|
|
Exercise 7.3: order of logical steps for L-evaluation of *z
|
|
1
|
99
|
July 28, 2022
|
|
Exam Prep Sheet, 5. b)
|
|
2
|
133
|
July 28, 2022
|
|
Prog2.tests.daily.VerificationTests::testSemaAssertException
|
|
1
|
55
|
July 28, 2022
|
|
Usage of reference in the project
|
|
1
|
58
|
July 28, 2022
|
|
Sign extension of (signed) char
|
|
5
|
101
|
July 28, 2022
|
|
What materials are given in the exam?
|
|
5
|
380
|
July 28, 2022
|
|
Expression Statements in VC
|
|
5
|
81
|
July 28, 2022
|
|
If statements in VC
|
|
3
|
63
|
July 28, 2022
|
|
Type check for externalDeclarations
|
|
5
|
71
|
July 28, 2022
|
|
Verification Condition of Assume(e)
|
|
1
|
47
|
July 27, 2022
|
|
Merging Verification Conditions in one Formula
|
|
3
|
59
|
July 27, 2022
|
|
Void* conversions
|
|
1
|
58
|
July 27, 2022
|
|
Assume and Assert in Verification Condition Part
|
|
2
|
63
|
July 27, 2022
|
|
Java standardlib functions in exam
|
|
2
|
94
|
July 27, 2022
|
|
Is it possible to pull function arguments out of an enum?
|
|
7
|
69
|
July 27, 2022
|