Skip to content

Pull requests: epfl-lara/stainless

New pull request New
17 Open 874 Closed
17 Open 874 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Add postcondition to forall and exists on Set
#1596 opened Oct 24, 2024 by samuelchassot Loading…
Fix an extraction bug with type definitions
#1595 opened Oct 23, 2024 by samuelchassot Loading…
1
1
Update inox
#1587 opened Oct 10, 2024 by samuelchassot Loading…
1
Revisiting "unfold" and renaming it to unfolding
#1552 opened Aug 6, 2024 by samuelchassot 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 Loading…
4
Add erasure of AnyHeapRef-bounded type parameters and better allocator examples
#1227 opened Jan 18, 2022 by gsps Loading…
1
Equivalence checking updates
#1145 opened Sep 1, 2021 by drganam Loading…
Fix RecursiveEvaluator not erasing types (#1135)
#1139 opened Aug 24, 2021 by gsps Loading…
Print evaluator type and values of free variable of assertion failure predicate
#1084 opened May 29, 2021 by vkuncak Loading…
9
Clustering (--comparefuns for equivalence checking) old Work that is substantially behind master
#931 opened Mar 11, 2021 by drganam Loading…
7
Experiment: Less duplication, more aggressive let simplification
#860 opened Nov 20, 2020 by gsps Loading…
9
ListSet implementation.
#822 opened Aug 11, 2020 by OStevan Loading…
16
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…
21
Fix model checking of inlined ADT invariant
#780 opened Jun 10, 2020 by romac • Draft
4
Bound unfolding in Inox rather than rely on timeouts in PartialEvaluator to rebase
#719 opened Nov 20, 2019 by romac Loading…
WebAssembly backend experimental to rebase
#500 opened May 20, 2019 by romac Loading…
1
ProTip! Adding no:label will show everything without a label.