-
Notifications
You must be signed in to change notification settings - Fork 50
Pull requests: epfl-lara/stainless
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Add erasure of AnyHeapRef-bounded type parameters and better allocator examples
#1227
opened Jan 18, 2022 by
gsps
Loading…
Print evaluator type and values of free variable of assertion failure predicate
#1084
opened May 29, 2021 by
vkuncak
Loading…
Clustering (--comparefuns for equivalence checking)
old
Work that is substantially behind master
#931
opened Mar 11, 2021 by
drganam
Loading…
Experiment: Less duplication, more aggressive let simplification
#860
opened Nov 20, 2020 by
gsps
Loading…
Refactor alias analysis (WIP)
aliasing
Alias and effect analysis for imperative
old
Work that is substantially behind master
#819
opened Aug 9, 2020 by
gsps
Loading…
Bound unfolding in Inox rather than rely on timeouts in PartialEvaluator
to rebase
#719
opened Nov 20, 2019 by
romac
Loading…
ProTip!
Mix and match filters to narrow down what you’re looking for.