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
/
boot
/
type_check.cc
Age
Commit message (
Expand
)
Author
4 days
Allow block-local variables
Eugen Wissner
7 days
Implement volatile operations
Eugen Wissner
10 days
Fix enumeration size to be hardware word in the backend
Eugen Wissner
10 days
Support variadic extern procedures
Eugen Wissner
11 days
Implement aligned attribute
Eugen Wissner
13 days
Fix ICE with offset trait and non-type identifier
Eugen Wissner
13 days
Implement generic pointers
Eugen Wissner
2026-09-07
Make module entry point more procedure like
Eugen Wissner
2026-09-07
Implement program entry point
Eugen Wissner
2026-09-05
Generate repeat-until condition outside body scope
Eugen Wissner
2026-09-01
Reject pointer arithmetic on opaque pointers
Eugen Wissner
2026-09-01
Fix const extern variable declarations
Eugen Wissner
2026-08-31
Reject comparison of uncompatible types
Eugen Wissner
2026-08-31
Type check for value addressability
Eugen Wissner
2026-08-30
Fix record constructor for base records
Eugen Wissner
2026-08-30
Fix ICEs with recursive type declarations
Eugen Wissner
2026-08-23
Determine array type by the first element
Eugen Wissner
2026-08-23
Reject 0-sized variables
Eugen Wissner
2026-08-21
Implement Single and Double floats
Eugen Wissner
2026-08-18
Make Int and Word aliases to fixed-size types
Eugen Wissner
2026-08-14
Map Int and Word to hardware word sizes
Eugen Wissner
2026-08-14
Use the new .is_a() for literal kind checks in the evaluator
Eugen Wissner
2026-08-13
Implement fixed-size integers
Eugen Wissner
2026-08-02
Check array property accessbility at compile time
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-26
Type check traits properly
Eugen Wissner
2026-07-25
Accept any constant types in case labels
Eugen Wissner
2026-07-24
Check the compound statement condition is a boolean
Eugen Wissner
2026-07-24
Implement a repeat loop
Eugen Wissner
2026-07-23
Implement for loop
Eugen Wissner
2026-07-21
Redefine strings as slice of constant characters
Eugen Wissner
2026-07-21
Implement slices
Eugen Wissner
2026-07-20
Add clang-tidy support
Eugen Wissner
2026-07-19
Support unary plus operation
Eugen Wissner
2026-07-19
Implement initializer evaluator
Eugen Wissner
2026-07-17
Handle base type constness
Eugen Wissner
2026-07-17
Handle const Pointer as const pointer to const data
Eugen Wissner