|
About the Programming Projects category
|
|
0
|
81
|
April 20, 2022
|
|
Public test Fail only on server, not locally
|
|
3
|
130
|
August 3, 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
|
|
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
|
|
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
|
|
Is it possible to pull function arguments out of an enum?
|
|
7
|
65
|
July 27, 2022
|
|
TypeCheck by while statement
|
|
4
|
90
|
July 27, 2022
|
|
Inner loop construction from the compiler presentation
|
|
7
|
42
|
July 27, 2022
|
|
Wrong Invariants
|
|
1
|
59
|
July 27, 2022
|
|
Function Definition Types
|
|
2
|
39
|
July 27, 2022
|
|
Variable initialization
|
|
1
|
44
|
July 27, 2022
|
|
Static Semantics: void return
|
|
1
|
51
|
July 27, 2022
|
|
Definition of pc for while loops
|
|
2
|
61
|
July 27, 2022
|
|
Notation for Verification bonus
|
|
2
|
60
|
July 27, 2022
|
|
Verification: Loop's PC
|
|
3
|
54
|
July 27, 2022
|
|
PSA: Defining equations for pc and vc
|
|
4
|
52
|
July 26, 2022
|
|
Daily Test testExpression
|
|
3
|
44
|
July 26, 2022
|
|
Division in MipsAsmGen
|
|
3
|
46
|
July 26, 2022
|
|
Termination with Ghost Variable
|
|
1
|
45
|
July 26, 2022
|
|
Termination without ghost variable
|
|
4
|
43
|
July 26, 2022
|
|
Total Correctness
|
|
3
|
39
|
July 26, 2022
|