Add Lean4 Support
|
|
3
|
15
|
September 12, 2025
|
Stack overflow when testing interpreter Scanning: Division operator & comments but not on my machine
|
|
2
|
18
|
August 2, 2025
|
#DG2 test case 3 should not be a compilation error but runtime error
|
|
3
|
20
|
July 29, 2025
|
[Python][EY7] Fails tests but seems to be working localy?
|
|
3
|
34
|
July 8, 2025
|
Implementing equality of lox runtime objects (Rust)
|
|
5
|
54
|
July 11, 2025
|
#EA6 python test looks fine
|
|
2
|
15
|
July 2, 2025
|
#UE7 Unterminated string return code unspecified
|
|
1
|
15
|
June 11, 2025
|
Huge issue with stage #jx4
|
|
7
|
56
|
June 3, 2025
|
Specification in #LV1 Testcases is Different from Lox
|
|
3
|
30
|
May 26, 2025
|
Expects a runtime error to return even though it does so
|
|
3
|
41
|
May 18, 2025
|
I need a hint on how to begin with the parser Booleans & Nil #sc2 (rust)
|
|
4
|
45
|
May 14, 2025
|
Test timeout. Test exceeded 10 sec
|
|
5
|
36
|
May 11, 2025
|
Can't run I both VSCode and script
|
|
3
|
20
|
May 7, 2025
|
How to add log to code
|
|
2
|
23
|
May 11, 2025
|
KY1 instance name equals classname
|
|
3
|
10
|
May 2, 2025
|
MP7 not passing although it passes on my machine with the same test data in the file
|
|
5
|
34
|
April 28, 2025
|
Why loop shoukd termiante in #bw6
|
|
2
|
12
|
April 27, 2025
|
Seems the instruction and test for "Scanning: Empty file" ry8 is wrong
|
|
7
|
27
|
April 24, 2025
|
ML2 times out in test, but not on my machine
|
|
5
|
34
|
April 25, 2025
|
MP7 doesn't pass
|
|
2
|
18
|
April 13, 2025
|
#EA6 dont work (rust)
|
|
2
|
40
|
April 10, 2025
|
OL4 test fails although the output seems correct
|
|
4
|
9
|
April 9, 2025
|
Interpreter #EH3 test failure. Dont know how to interpret <|SPACE|> from test program, to reproduce
|
|
6
|
18
|
April 9, 2025
|
Interpreter challenge (C++): tester somehow fails to execute correctly else statement tests (stage ST5)
|
|
14
|
73
|
April 5, 2025
|
PZ7: Tester has error in assertion
|
|
4
|
29
|
April 5, 2025
|
Issue " /app/your_program.sh is not an executable file"
|
|
5
|
24
|
April 11, 2025
|
Rust build differs between server and locally
|
|
5
|
51
|
March 31, 2025
|
New extension: Classes (Interpreter)
|
|
0
|
48
|
March 25, 2025
|
BZ4: tests conflict
|
|
5
|
48
|
March 30, 2025
|
New extension: Resolving & Binding (Interpreter)
|
|
0
|
63
|
March 12, 2025
|