|
Welcome to Discourse
|
|
1
|
197
|
April 5, 2022
|
|
Exam Prep Sheet 8, HashCode Solution
|
|
2
|
77
|
August 8, 2022
|
|
C0p auxiliary calculations
|
|
1
|
35
|
August 7, 2022
|
|
Registration for Late Endterm
|
|
6
|
203
|
August 4, 2022
|
|
Public test Fail only on server, not locally
|
|
3
|
88
|
August 3, 2022
|
|
Total Exam Tries
|
|
1
|
83
|
August 1, 2022
|
|
Klausur Einsicht
|
|
1
|
99
|
July 31, 2022
|
|
Results of the project
|
|
10
|
143
|
July 30, 2022
|
|
Exam Inspection/Re-Exam PSA: How many points do I need to pass/get a better grade?
|
|
1
|
125
|
July 30, 2022
|
|
The true dilemma (Which one to implement for third part of the project CodeGen or Verification Conditions)
|
|
7
|
99
|
July 29, 2022
|
|
Invalid language element
|
|
2
|
48
|
July 28, 2022
|
|
Exercise 7.3: order of logical steps for L-evaluation of *z
|
|
1
|
47
|
July 28, 2022
|
|
Exam Prep Sheet, 5. b)
|
|
2
|
88
|
July 28, 2022
|
|
Prog2.tests.daily.VerificationTests::testSemaAssertException
|
|
1
|
24
|
July 28, 2022
|
|
Usage of reference in the project
|
|
1
|
26
|
July 28, 2022
|
|
Sign extension of (signed) char
|
|
5
|
49
|
July 28, 2022
|
|
What materials are given in the exam?
|
|
5
|
321
|
July 28, 2022
|
|
Expression Statements in VC
|
|
5
|
26
|
July 28, 2022
|
|
If statements in VC
|
|
3
|
31
|
July 28, 2022
|
|
Type check for externalDeclarations
|
|
5
|
39
|
July 28, 2022
|
|
Verification Condition of Assume(e)
|
|
1
|
19
|
July 27, 2022
|
|
Merging Verification Conditions in one Formula
|
|
3
|
20
|
July 27, 2022
|
|
Void* conversions
|
|
1
|
22
|
July 27, 2022
|
|
Assume and Assert in Verification Condition Part
|
|
2
|
19
|
July 27, 2022
|
|
Java standardlib functions in exam
|
|
2
|
64
|
July 27, 2022
|
|
Is it possible to pull function arguments out of an enum?
|
|
7
|
38
|
July 27, 2022
|
|
TypeCheck by while statement
|
|
4
|
46
|
July 27, 2022
|
|
Inner loop construction from the compiler presentation
|
|
7
|
18
|
July 27, 2022
|
|
Inheritence from exercise 10 no.3
|
|
9
|
79
|
July 27, 2022
|
|
Wrong Invariants
|
|
1
|
37
|
July 27, 2022
|