index
:
elna
assembly
cpp
haskell
Elna programming language compiles simple mathematical operations to RISC-V code.
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
testsuite
/
fail_compilation
Age
Commit message (
Collapse
)
Author
10 hours
Fix const extern variable declarations
HEAD
cpp
Eugen Wissner
19 hours
Reject comparison of uncompatible types
Eugen Wissner
35 hours
Type check for value addressability
Eugen Wissner
38 hours
Fix record constructor for base records
Eugen Wissner
39 hours
Use arrow -> for return types
Eugen Wissner
2 days
Fix ICEs with recursive type declarations
Eugen Wissner
4 days
Reject declarations shadowing imports
Eugen Wissner
7 days
Reject circular imports
Eugen Wissner
9 days
Determine array type by the first element
Eugen Wissner
12 days
Implement Single and Double floats
Eugen Wissner
2026-08-14
Map Int and Word to hardware word sizes
Eugen Wissner
2026-08-13
Implement fixed-size integers
Eugen Wissner
2026-08-05
Check that constants are initialized
Eugen Wissner
2026-08-02
Check array property accessbility at compile time
Eugen Wissner
2026-08-02
Report field access errors
Eugen Wissner
2026-08-01
Enforce integral values in slice ranges
Eugen Wissner
2026-07-29
Validate cast compatibility during semantic analysis
Eugen Wissner
2026-07-28
Enforce case label uniqueness and constness
Eugen Wissner
2026-07-25
Accept any constant types in case labels
Eugen Wissner
2026-07-24
Handle array and slice field constness
Eugen Wissner
2026-07-24
Check the compound statement condition is a boolean
Eugen Wissner
2026-07-19
Support unary plus operation
Eugen Wissner
2026-07-17
Reject const in const nesting
Eugen Wissner
2026-07-17
Disallow "[n] const T"
Eugen Wissner
2026-07-17
Handle const Pointer as const pointer to const data
Eugen Wissner
2026-07-17
Implement type constness
Eugen Wissner
2026-07-14
Replace procedure end with return
Eugen Wissner
2026-07-13
Make return statement part of the body and not a statement
Eugen Wissner
2026-07-12
Add fail_compilation tests
Eugen Wissner