Skip to content

Activity

Showing most recent first

fix read/write analysis bug

Bastacycloppushed 3 commits to float-safe-opt • 890abde…9374d06 • 
2 days ago

fix read/write analysis bug

Bastacycloppushed 11 commits to 2025-03-rw-bug • ce09d5d…9374d06 • 
2 days ago

add eqsat support for nat and index literals, support length implemen…

Bastacycloppushed 9 commits to float-safe-opt • 56f3dba…890abde • 
2 days ago

WIP on read/write bug from eqsat lowering search

Bastacyclopcreated 2025-03-rw-bug • ce09d5d • 
4 days ago

add more examples

Bastacycloppushed 1 commit to float-safe-opt • 6fa88a5…56f3dba • 
4 days ago

it almost works

Bastacycloppushed 1 commit to vs-metals • 07894ea…85a356c • 
9 days ago

try to fix toplevel generics and abstract patterns with type erasure:…

Bastacycloppushed 1 commit to vs-metals • 54acc8b…07894ea • 
9 days ago

Merge remote-tracking branch 'origin/scala-3-prep' into vs-metals

Bastacyclopcreated vs-metals • 54acc8b • 
9 days ago

Deleted branch

Bastacyclopdeleted gpgpu2020-host-codegen • 
9 days ago

Merge pull request #230 from rise-lang/gpgpu2020-host-codegen

Pull request merge
Bastacycloppushed 10 commits to main • fc3423d…cef1ae6 • 
9 days ago

fix eqsat code paths for foreign function

Bastacycloppushed 2 commits to float-safe-opt • bce46e4…6fa88a5 • 
17 days ago

expert performance

johanneslenferspushed 1 commit to exploration • fe721c4…223e59a • 
on Nov 8, 2024

expert performance

johanneslenferspushed 1 commit to exploration • b82929c…fe721c4 • 
on Nov 8, 2024

expert performance

johanneslenferspushed 1 commit to exploration • 42955db…b82929c • 
on Nov 8, 2024

expert performance

johanneslenferspushed 1 commit to exploration • 9ce8515…42955db • 
on Nov 8, 2024

expert performance

johanneslenferspushed 1 commit to exploration • 438ed6b…9ce8515 • 
on Nov 8, 2024

expert performance

johanneslenferspushed 1 commit to exploration • df86c06…438ed6b • 
on Nov 8, 2024

expert performance

johanneslenferspushed 1 commit to exploration • ff6591b…df86c06 • 
on Nov 8, 2024

expert performance

johanneslenferspushed 1 commit to exploration • f804e34…ff6591b • 
on Nov 8, 2024

expert performance

johanneslenferspushed 1 commit to exploration • 347c600…f804e34 • 
on Nov 8, 2024

expert performance

johanneslenferspushed 1 commit to exploration • d4fa1ee…347c600 • 
on Nov 7, 2024

expert performance

johanneslenferspushed 1 commit to exploration • 48957df…d4fa1ee • 
on Nov 7, 2024

expert performance

johanneslenferspushed 1 commit to exploration • 3d0f91c…48957df • 
on Nov 7, 2024

expert performance

johanneslenferspushed 1 commit to exploration • f61bbf7…3d0f91c • 
on Nov 7, 2024

expert performance

johanneslenferspushed 1 commit to exploration • c0def3b…f61bbf7 • 
on Nov 7, 2024

expert performance

johanneslenferspushed 1 commit to exploration • ab60fcc…c0def3b • 
on Nov 7, 2024

expert performance

johanneslenferspushed 1 commit to exploration • 6c2d005…ab60fcc • 
on Nov 7, 2024

expert performance

johanneslenferspushed 1 commit to exploration • 0d51290…6c2d005 • 
on Nov 7, 2024

expert performance

johanneslenferspushed 1 commit to exploration • 9fbfa5d…0d51290 • 
on Nov 7, 2024

expert performance

johanneslenferspushed 1 commit to exploration • 4214069…9fbfa5d • 
on Nov 7, 2024