issues
search
ValeLang
/
Vale
Compiler for the Vale programming language - http://vale.dev/
https://vale.dev/
Apache License 2.0
1.74k
stars
53
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Highly Parallel Execution
#635
sirinath
opened
1 month ago
0
Fixes for ARM, VmdSiteGen, and linear types.
#634
Verdagon
closed
1 month ago
0
Update ci.yml for Arm macs
#633
Verdagon
opened
3 months ago
0
[stdlib] Add missing import to path.vale
#632
jinyus
opened
7 months ago
0
On older JVMs: java.lang.NoSuchMethodError: java.io.InputStream.readAllBytes()
#628
Verdagon
opened
9 months ago
0
Feedback on region articles
#627
davidfstr
opened
9 months ago
0
Wrong link to type inference
#626
ShalokShalom
opened
9 months ago
0
Change `func` to `exists` in where clauses
#625
Verdagon
opened
10 months ago
0
Adding overload index
#623
Verdagon
closed
10 months ago
0
Simplifying solving layer naming and params
#622
Verdagon
closed
11 months ago
0
Regions merge: forwarding pure block and using new augment logic
#621
Verdagon
closed
11 months ago
0
Regions merge: Pulled coercing logic into higher typing phase
#620
Verdagon
closed
11 months ago
0
Regions merge: tuples, function returns, incremental solves
#619
Verdagon
closed
11 months ago
0
Merging from regions
#618
Verdagon
closed
11 months ago
0
Regions merges: callLocation, renames, imports
#617
Verdagon
closed
11 months ago
0
Merging from regions
#616
Verdagon
closed
11 months ago
0
Potential improvements for perfect replayability
#615
Verdagon
opened
11 months ago
2
Proposal: Replacement 'foreach' keyword with 'for'
#614
stepan-plaksin
opened
11 months ago
0
Print better error message when valec can't find cl.exe
#613
Verdagon
opened
11 months ago
0
Flagger should support = on flags
#612
Verdagon
opened
11 months ago
0
Merge regions context parameter
#611
Verdagon
closed
11 months ago
1
Merging in regions branch's instantiator stage
#610
Verdagon
closed
11 months ago
0
Fix typo in path.vale
#609
eltociear
closed
11 months ago
1
Merging regions: Function/kind exports and externs
#608
Verdagon
closed
11 months ago
0
Regions merge: Adding LocationInDenizen
#607
Verdagon
closed
12 months ago
0
Regions merge: KindPlaceholderNameT, IInDenizenEnvironment
#606
Verdagon
closed
12 months ago
0
Merging regions parser + highertyper
#605
Verdagon
closed
12 months ago
0
Merging regions: added coord region, populated with GlobalRegionT
#604
Verdagon
closed
12 months ago
0
Merging renames from regions branch
#603
Verdagon
closed
12 months ago
0
Fixing PATH issue
#601
Verdagon
closed
1 year ago
0
Experiment with not optimizing twice
#599
Verdagon
opened
1 year ago
0
Use random initial generation
#598
Verdagon
opened
1 year ago
0
Merging backend from experimental regions branch
#597
Verdagon
closed
1 year ago
2
Misc fixes for self-hosting
#596
Verdagon
closed
1 year ago
0
print_mem_overhead + misc
#595
Verdagon
closed
1 year ago
0
Updates for VmdSiteGen
#594
Verdagon
closed
1 year ago
0
May we have separate release tag for each incremental build.
#593
sarvex
opened
1 year ago
0
Kasper's syntax suggestions
#592
probablykasper
opened
1 year ago
1
Plans for package manager (like cargo on Rust)
#591
funatsufumiya
closed
1 year ago
9
Docker CI and IDEA fixes
#590
Verdagon
closed
1 year ago
0
Simplifications preparing for regions, LLVM14->16
#589
Verdagon
closed
1 year ago
0
Build issues on Ubuntu 22.04
#588
inferrna
opened
1 year ago
0
Patching removal of some renegade compiler printouts
#587
Verdagon
closed
1 year ago
0
What is the status of this project?
#586
nmsobri
closed
1 year ago
3
Implement basic pure blocks / immutable region borrowing
#585
Verdagon
opened
1 year ago
1
build fails when building from a different filesystem that root
#584
Mai-Lapyst
opened
1 year ago
1
Added parsing of isolates.
#583
Verdagon
closed
1 year ago
0
Upgraded lexer and parser to support regions
#582
Verdagon
closed
1 year ago
0
Added pie option to coordinator
#581
Verdagon
closed
1 year ago
0
init llvm components for wasm
#580
lunamothxyz
closed
1 year ago
0
Next