Programming Projects

Tetris Questions related to the Tetris project. C - Seam Carving This subcategory is dedicated to the second programming project Seam Carving in C. MIPS - 2048 This subcategory is dedicated to the first programming project 2048 in MIPS. C - Wordle This subcategory is dedicated to the third programming project Wordle in C. Java - URI Compiler Questions related to the Compiler project.

Topic	Replies	Views	Activity
About the Programming Projects category Programming Projects	0	64	April 20, 2022
Public test Fail only on server, not locally Compiler	3	88	August 3, 2022
The true dilemma (Which one to implement for third part of the project CodeGen or Verification Conditions) Compiler	7	99	July 29, 2022
Invalid language element Compiler	2	48	July 28, 2022
Prog2.tests.daily.VerificationTests::testSemaAssertException Compiler	1	24	July 28, 2022
Usage of reference in the project Compiler	1	26	July 28, 2022
Sign extension of (signed) char Compiler	5	49	July 28, 2022
Expression Statements in VC Compiler	5	26	July 28, 2022
If statements in VC Compiler	3	31	July 28, 2022
Type check for externalDeclarations Compiler	5	39	July 28, 2022
Verification Condition of Assume(e) Compiler	1	19	July 27, 2022
Merging Verification Conditions in one Formula Compiler	3	20	July 27, 2022
Void* conversions Compiler	1	22	July 27, 2022
Assume and Assert in Verification Condition Part Compiler	2	19	July 27, 2022
Is it possible to pull function arguments out of an enum? Compiler	7	38	July 27, 2022
TypeCheck by while statement Compiler	4	46	July 27, 2022
Inner loop construction from the compiler presentation Compiler	7	18	July 27, 2022
Wrong Invariants Compiler	1	37	July 27, 2022
Function Definition Types Compiler	2	19	July 27, 2022
Variable initialization Compiler	1	26	July 27, 2022
Static Semantics: void return Compiler	1	26	July 27, 2022
Definition of pc for while loops Compiler	2	37	July 27, 2022
Notation for Verification bonus Compiler	2	39	July 27, 2022
Verification: Loop's PC Compiler	3	32	July 27, 2022
PSA: Defining equations for pc and vc Compiler	4	26	July 26, 2022
Daily Test testExpression Compiler	3	20	July 26, 2022
Division in MipsAsmGen Compiler	3	20	July 26, 2022
Termination with Ghost Variable Compiler	1	25	July 26, 2022
Termination without ghost variable Compiler	4	21	July 26, 2022
Total Correctness Compiler	3	22	July 26, 2022