edg-l/edlang
1
1
Fork 0
mirror of https://github.com/edg-l/edlang.git synced 2024-11-12 19:18:24 +00:00
Code Issues Packages Projects Releases Wiki Activity
174 commits 2 branches 19 tags 88 MiB
Commit graph

10 commits

Author SHA1 Message Date
Edgar 7657a05ebd
add asref check 2024-05-07 09:11:09 +02:00
Edgar 91fc31b627
feat: more checks on impl blocks 2024-05-07 08:49:40 +02:00
Edgar 637aa8e229
feat: function call checks 2024-05-07 08:27:27 +02:00
Edgar bd3c4da7ea
feat: usable edb 2024-03-11 12:02:14 +01:00
Edgar 8329affbf8
feat: more checks 2024-03-04 09:06:49 +01:00
Edgar 8319844673
feat: more checks 2024-03-04 08:02:48 +01:00
Edgar f71abb0b26
fix: fix span in lalrpop 2024-03-04 07:55:12 +01:00
Edgar a2a3bdbb3e
feat: check type correctness 2024-02-27 08:27:12 +01:00
Edgar 14bd8af270
feat: code checking in lowering 2024-02-24 11:43:49 +01:00
Edgar 57a5621961
new start 2024-01-14 09:36:46 +01:00