Skip to content

Activity

Showing most recent first

deploy: 4c47fe0

github-actions[bot]pushed 1 commit to gh-pages • 8bfb8a9…0b4d38d • 
on Sep 12, 2024

Remove unnecessary special case

matijapretnarpushed 1 commit to master • 130709b…4c47fe0 • 
on Sep 12, 2024

Clean up cycle contraction

matijapretnarpushed 1 commit to coercion-simplifications • 56c30bc…43b8357 • 
on Jun 3, 2024

Deleted branch

matijapretnardeleted contexts • 
on Jun 3, 2024

WIP fix skeleton apply

Force push
matijapretnarforce pushed to fix-skeleton-apply • a2da135…f38088e • 
on Jun 3, 2024

Coalesce in/out-degree computations

matijapretnarpushed 5 commits to coercion-simplifications • b36b4d2…56c30bc • 
on May 28, 2024

Resolve constraints in subterms

matijapretnarpushed 2 commits to coercion-simplifications • 4d770ea…b36b4d2 • 
on May 14, 2024

Embed substitution -> resolved -> unresloved

matijapretnarpushed 3 commits to coercion-simplifications • 3cae05e…4d770ea • 
on May 14, 2024

Track substitution in unresolved constraints

matijapretnarpushed 1 commit to coercion-simplifications • 648d64b…3cae05e • 
on May 14, 2024

Thread constraints through inference

matijapretnarpushed 1 commit to coercion-simplifications • 1474bad…648d64b • 
on May 13, 2024

Optimizations don't need full expressions

jO-Oskopushed 1 commit to coercion-simplifications • 07f2b9a…1474bad • 
on May 13, 2024

Removed counter and queue

jO-Oskopushed 2 commits to coercion-simplifications • da401e4…07f2b9a • 
on May 7, 2024

Add simplify_expression

matijapretnarpushed 1 commit to coercion-simplifications • ca4d020…da401e4 • 
on May 6, 2024

Remove trivial dirt constraints

matijapretnarpushed 1 commit to coercion-simplifications • 7c72960…ca4d020 • 
on Apr 26, 2024

Separate ty and dirt coercions

Force push
matijapretnarforce pushed to coercion-simplifications • 2769cb9…7c72960 • 
on Apr 26, 2024

Start a full context module

matijapretnarcreated contexts • b843059 • 
on Apr 26, 2024

Rename Type.Params to Type.Context

matijapretnarpushed 3 commits to coercion-simplifications • 4150cdf…2769cb9 • 
on Apr 25, 2024

WIP fix skeleton apply

matijapretnarcreated fix-skeleton-apply • a2da135 • 
on Apr 25, 2024

Remove dead code

matijapretnarpushed 5 commits to coercion-simplifications • aa4b7a6…4150cdf • 
on Apr 25, 2024

A better name for unresolved constraints

matijapretnarpushed 1 commit to coercion-simplifications • 21da750…aa4b7a6 • 
on Apr 23, 2024

Remove numbering of types in the output

matijapretnarpushed 1 commit to coercion-simplifications • 9dae502…21da750 • 
on Apr 19, 2024

Polymorphic comparisons have a single type parameter

matijapretnarpushed 1 commit to coercion-simplifications • 59967d2…9dae502 • 
on Apr 18, 2024

Resolve the dirt substitution bug

matijapretnarpushed 1 commit to coercion-simplifications • e4a24f5…59967d2 • 
on Apr 15, 2024

Update generated code tests

matijapretnarpushed 2 commits to coercion-simplifications • 1c0a2ad…e4a24f5 • 
on Apr 15, 2024

Unify names with the paper

matijapretnarpushed 1 commit to coercion-simplifications • 40d28c1…1c0a2ad • 
on Apr 12, 2024

Remove unnecessary location

matijapretnarpushed 2 commits to coercion-simplifications • 5851927…40d28c1 • 
on Apr 12, 2024

Deleted branch

matijapretnardeleted gc-optimizations • 
on Apr 12, 2024

More consistent naming

matijapretnarcreated coercion-simplifications • 5851927 • 
on Apr 12, 2024

More consistent naming

matijapretnarpushed 1 commit to gc-optimizations • 71976f7…5851927 • 
on Apr 12, 2024

Merge remote-tracking branch 'filip/gc-optimizations' into gc-optimiz…

matijapretnarpushed 2 commits to gc-optimizations • b2bff9c…71976f7 • 
on Apr 12, 2024