8000
Skip to content

Pull requests: epfl-lara/stainless

New pull request New
31 Open 980 Closed
31 Open 980 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

Floating-point measure
#1777 opened Aug 24, 2026 by agilot Contributor Loading…
Fix a bug refinement transformation when on a function parameter in a mutable type (issue #1775)
#1774 opened Aug 20, 2026 by samuelchassot Collaborator • Draft
4
Enable old() in refinement types for function return types
#1765 opened Jul 14, 2026 by samuelchassot Collaborator Loading…
@samuelchassot
6
Add lemmas to library to relate big int and int operations
#1756 opened Jun 25, 2026 by samuelchassot Collaborator Loading…
1
Avoid unused mutable match rebinding in AntiAliasing
#1744 opened Jun 4, 2026 by Copilot AI • Draft
1
@vkuncak
2
Invalidate stale AntiAliasing aliases after replacement updates
#1741 opened Jun 2, 2026 by Copilot AI • Draft
1
@vkuncak
1
Add a new cell benchmark: MutableTree
#1740 opened Jun 2, 2026 by samuelchassot Collaborator Loading…
@samuelchassot
2
Reject case class fields that reference mutable object-level vals
#1738 opened Jun 2, 2026 by Copilot AI • Draft
1
@vkuncak
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…
8000
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
ProTip! Type g i on any issue or pull request to go back to the issue listing page.
0