Skip to content

Pull requests: epfl-lara/bolts

New pull request New
Clear current search query, filters, and sorts
5 Open 113 Closed
5 Open 113 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

Fix Stainless stack overflow error Bloxorz
#19 by Gorzen was merged Sep 13, 2019 Loading…
Lambda Evaluator
#3 by MathieuChevalley was closed Sep 14, 2018 Loading…
1
Fix Huffman coding example and minor style changes
#4 by jad-hamza was merged Mar 6, 2019 Loading…
Add measures to Huffman example
#5 by jad-hamza was merged Mar 12, 2019 Loading…
Add measures to reachability checker, and minor fixes
#6 by jad-hamza was merged May 3, 2019 Loading…
Add explicit measures to TweetSet, and add search tree assumption
#7 by jad-hamza was merged May 3, 2019 Loading…
1
Add measure for euclid's algorithm, and add assertions/lemmas to avoid timeouts
#8 by jad-hamza was merged May 3, 2019 Loading…
Temporarily remove Bloxorz, as it is not going through
#9 by jad-hamza was closed Jul 3, 2019 Loading…
Temporarily remove algorithms examples that use 'forall'
#10 by jad-hamza was closed Jul 3, 2019 Loading…
Temporarily remove LambdaEvaluator example as it is not going through
#12 by jad-hamza was closed Jul 3, 2019 Loading…
Temporarily remove gcd examples that use quantifiers
#13 by jad-hamza was closed Jul 3, 2019 Loading…
Proof of algorithm for fulcrum
#16 by Karnaj was merged Jun 28, 2019 Loading…
WIP: Soundness of the simply typed lambda calculus
#1 by romac was merged Dec 22, 2017 Loading…
2
Temporarily remove QuickSortSizeOccur example which does not go through
#18 by jad-hamza was closed Jul 3, 2019 Loading…
Formaly proven RedBlackTrees on BigInt with remove
#20 by Zyfarok was merged Apr 16, 2021 Loading…
RedBlackTree fixup and decreases for del
#21 by Zyfarok was merged Apr 26, 2021 Loading…
ListMap implementation: Key of type Long, parametric type for Value
#22 by samuelchassot was merged Apr 26, 2021 Loading…
simple ArrayList with pushback
#23 by Zyfarok was merged May 1, 2021 Loading…
Add MutableLongMap (without last postcondition on update)
#24 by samuelchassot was closed Jun 9, 2021 Loading…
1
Mutable list map (complete)
#25 by samuelchassot was merged Jun 7, 2021 Loading…
Remove duplicated ListMap and remove useless comments
#26 by samuelchassot was closed Jun 11, 2021 Loading…
New postcondition for substractOne, update postcondition for update, cleaning and formatting
#27 by samuelchassot was merged Jun 12, 2021 Loading…
Rename some functions, clean and add documentation
#28 by samuelchassot was merged Jun 21, 2021 Loading…
Incomplete ArrayList implementation
#29 by Zyfarok was merged Jun 21, 2021 Loading…
example of inductive definitions: transitive closure
#124 by vkuncak was merged Jan 18, 2025 Loading…
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.