Skip to content

Pull requests: epfl-lara/stainless

New pull request New
24 Open 958 Closed
24 Open 958 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

fix an issue with function closure with refinement types
#1731 opened May 12, 2026 by kasiaMarek Collaborator • Draft
1
add yolo-forever option
#1716 opened Mar 5, 2026 by samuelchassot Collaborator Loading…
1
Allow lambda capture of immutable val fields from mutable class instances
#1707 opened Feb 18, 2026 by Copilot AI Loading…
1
@samuelchassot
3
Fix @extern functions being mistakenly verified
#1690 opened Dec 17, 2025 by Copilot AI • Draft
6 tasks done
1
@vkuncak
3
Add scala option to hide weird and useless error message extension wh…
#1677 opened Dec 9, 2025 by samuelchassot Collaborator Loading…
Add eqcache option
#1669 opened Nov 13, 2025 by drganam Collaborator Loading…
1
Add watch-json CLI option
#1659 opened Jul 7, 2025 by quartztz Contributor • Draft
4
Experiment with list size to avoid stack overflow
#1655 opened May 14, 2025 by samuelchassot Collaborator Loading…
Fix GenC tail rec elimination for unit functions when body is not in Block
#1640 opened Feb 10, 2025 by zhekai-jiang Contributor Loading…
Log all errors caught in the frontend at debug level
#1618 opened Dec 10, 2024 by mbovel Member Loading…
3
Revisiting "unfold" and renaming it to unfolding
#1552 opened Aug 6, 2024 by samuelchassot Collaborator Loading…
7
fix bug of bigSubstring in ASTExtractors
#1543 opened Jul 19, 2024 by LioTree Loading…
1
Add opaque types for Double and Float
#1413 opened May 8, 2023 by mario-bucev Collaborator Loading…
4
Add erasure of AnyHeapRef-bounded type parameters and better allocator examples
#1227 opened Jan 18, 2022 by gsps Contributor Loading…
1
Equivalence checking updates
#1145 opened Sep 1, 2021 by drganam Collaborator Loading…
Fix RecursiveEvaluator not erasing types (#1135)
#1139 opened Aug 24, 2021 by gsps Contributor Loading…
Print evaluator type and values of free variable of assertion failure predicate
#1084 opened May 29, 2021 by vkuncak Collaborator Loading…
9
Clustering (--comparefuns for equivalence checking) old Work that is substantially behind master
#931 opened Mar 11, 2021 by drganam Collaborator Loading…
7
Experiment: Less duplication, more aggressive let simplification
#860 opened Nov 20, 2020 by gsps Contributor Loading…
9
ListSet implementation.
#822 opened Aug 11, 2020 by OStevan Contributor Loading…
17
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 Contributor Loading…
21
Fix model checking of inlined ADT invariant
#780 opened Jun 10, 2020 by romac Member • Draft
4
Bound unfolding in Inox rather than rely on timeouts in PartialEvaluator to rebase
#719 opened Nov 20, 2019 by romac Member Loading…
WebAssembly backend experimental to rebase
#500 opened May 20, 2019 by romac Member Loading…
1
ProTip! no:milestone will show everything without a milestone.