-
Notifications
You must be signed in to change notification settings - Fork 49
Pull requests: epfl-lara/stainless
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Quote paths correctly to fix problems with paths containing spaces
#1539
opened Jun 28, 2024 by
sfiruch
Loading…
updated Jul 8, 2024
Add opaque types for Double and Float
#1413
opened May 8, 2023 by
mario-bucev
Loading…
updated May 9, 2023
Experiment: Less duplication, more aggressive let simplification
#860
opened Nov 20, 2020 by
gsps
Loading…
updated Jun 1, 2022
WebAssembly backend
experimental
to rebase
#500
opened May 20, 2019 by
romac
Loading…
updated Jun 1, 2022
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…
updated May 11, 2022
Add erasure of AnyHeapRef-bounded type parameters and better allocator examples
#1227
opened Jan 18, 2022 by
gsps
Loading…
updated Jan 20, 2022
Fix RecursiveEvaluator not erasing types (#1135)
#1139
opened Aug 24, 2021 by
gsps
Loading…
updated Jan 18, 2022
Print evaluator type and values of free variable of assertion failure predicate
#1084
opened May 29, 2021 by
vkuncak
Loading…
updated Jan 18, 2022
Clustering (--comparefuns for equivalence checking)
old
Work that is substantially behind master
#931
opened Mar 11, 2021 by
drganam
Loading…
updated Jan 18, 2022
Bound unfolding in Inox rather than rely on timeouts in PartialEvaluator
to rebase
#719
opened Nov 20, 2019 by
romac
Loading…
updated Jan 18, 2022
ProTip!
Filter pull requests by the default branch with base:main.