Skip to content

Activity

don't attempt unmarshaling when forcing a rebuild

terencodepushed 1 commit to processes • e94b48d…f817164 • 
14 days ago

process: new composition syntax, misc fixes

terencodepushed 1 commit to generics • 6c75169…f39ab03 • 
14 days ago

process: new composition syntax, misc fixes

terencodepushed 1 commit to processes • 2e2deb6…e94b48d • 
14 days ago

update to LLVM 16

Force push
terencodeforce pushed to generics • 9a1198b…6c75169 • 
on Dec 21, 2024

update to LLVM 16

terencodepushed 1 commit to generics • c5fd645…9a1198b • 
on Dec 21, 2024

don't attempt unmarshaling when forcing a rebuild

Force push
terencodeforce pushed to generics • 2aa3412…c5fd645 • 
on Dec 13, 2024

don't attempt unmarshaling when forcing a rebuild

terencodepushed 1 commit to generics • 89df7ec…2aa3412 • 
on Dec 13, 2024

wip

terencodecreated inference • efc8ec5 • 
on Oct 7, 2024

process import, misc improvements

Force push
terencodeforce pushed to processes • 68eb2b6…2e2deb6 • 
on Oct 5, 2024

function monomorphization

Force push
terencodeforce pushed to processes • e2efee6…68eb2b6 • 
on Oct 5, 2024

Merge branch 'sail-pl:main' into processes

terencodepushed 4 commits to processes • 74c266d…e2efee6 • 
on Oct 5, 2024

update to LLVM 15 & OCaml 5.1.0

Force push
terencodeforce pushed to generics • 3754329…89df7ec • 
on Sep 16, 2023

update to LLVM 15 & OCaml 5.1.0

Force push
terencodeforce pushed to generics • 1dc2194…3754329 • 
on Sep 15, 2023

update to LLVM 15 & OCaml 5.1.0

Force push
terencodeforce pushed to generics • b024d91…1dc2194 • 
on Sep 15, 2023

update to LLVM 15 & OCaml 5.1.0

Force push
terencodeforce pushed to generics • da0976f…b024d91 • 
on Sep 15, 2023

update to LLVM 15 & OCaml 5

Force push
terencodeforce pushed to generics • c58df50…da0976f • 
on Sep 11, 2023

update to LLVM 15 & OCaml 5

Force push
terencodeforce pushed to generics • 9b3529a…c58df50 • 
on Sep 10, 2023

update to LLVM 15 & OCaml 5

terencodepushed 1 commit to generics • 1b57858…9b3529a • 
on Sep 5, 2023

Constrain generic AST

Force push
terencodeforce pushed to generics • a12f6c6…1b57858 • 
on Sep 4, 2023

Constrain generic AST

Force push
terencodeforce pushed to generics • 93a929e…a12f6c6 • 
on Sep 3, 2023

stop sharing the same ast between hir & thir

terencodepushed 1 commit to generics • eacb0f1…93a929e • 
on Sep 1, 2023

global typing context

Force push
terencodeforce pushed to generics • 3c2b111…eacb0f1 • 
on Aug 31, 2023

global typing context

Force push
terencodeforce pushed to generics • 47ee28d…3c2b111 • 
on Aug 31, 2023

global typing context

Force push
terencodeforce pushed to generics • 388fda0…47ee28d • 
on Aug 31, 2023

fixme

Force push
terencodeforce pushed to generics • 03c2f03…388fda0 • 
on Aug 28, 2023

fixme

Force push
terencodeforce pushed to generics • 868e2cd…03c2f03 • 
on Aug 28, 2023

fixme

terencodepushed 1 commit to generics • b823d08…868e2cd • 
on Aug 28, 2023

global typing context

terencodepushed 1 commit to generics • 5e595a5…b823d08 • 
on Aug 27, 2023

wip

terencodepushed 1 commit to generics • 4522266…5e595a5 • 
on Aug 26, 2023

function monomorphization

Force push
terencodeforce pushed to generics • a6f55df…4522266 • 
on Aug 24, 2023