About the Programming Projects category
|
|
0
|
64
|
April 20, 2022
|
Public test Fail only on server, not locally
|
|
3
|
88
|
August 3, 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
|
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
|
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
|
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
|
Wrong Invariants
|
|
1
|
37
|
July 27, 2022
|
Function Definition Types
|
|
2
|
19
|
July 27, 2022
|
Variable initialization
|
|
1
|
26
|
July 27, 2022
|
Static Semantics: void return
|
|
1
|
26
|
July 27, 2022
|
Definition of pc for while loops
|
|
2
|
37
|
July 27, 2022
|
Notation for Verification bonus
|
|
2
|
39
|
July 27, 2022
|
Verification: Loop's PC
|
|
3
|
32
|
July 27, 2022
|
PSA: Defining equations for pc and vc
|
|
4
|
26
|
July 26, 2022
|
Daily Test testExpression
|
|
3
|
20
|
July 26, 2022
|
Division in MipsAsmGen
|
|
3
|
20
|
July 26, 2022
|
Termination with Ghost Variable
|
|
1
|
25
|
July 26, 2022
|
Termination without ghost variable
|
|
4
|
21
|
July 26, 2022
|
Total Correctness
|
|
3
|
22
|
July 26, 2022
|