Skip to content

Pull requests: epfl-lara/bolts

New pull request New
8 Open 142 Closed
8 Open 142 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

Exploring ideas to improve performance
#157 opened Mar 30, 2026 by samuelchassot Contributor Loading…
10
Update to latest stainless and sbt
#156 opened Mar 30, 2026 by samuelchassot Contributor Loading…
3
Sam/ziplex mem lex benchmark
#151 opened Jan 23, 2026 by samuelchassot Contributor Loading…
3
Update qoi to verify
#145 opened Dec 12, 2025 by samuelchassot Contributor Loading…
2
Add benchmarks for lexer
#140 opened Nov 13, 2025 by samuelchassot Contributor Loading…
Add getKeys operation on HashMap
#114 opened Oct 14, 2024 by samuelchassot Contributor Loading…
Example of abstraction using methods with ???. Needs some systematic checks for missing implementations
#100 opened Aug 5, 2024 by vkuncak Contributor Loading…
Add a Vector wrapper example
#92 opened Jul 15, 2024 by mario-bucev Collaborator • Draft
1
ProTip! What’s not been updated in a month: updated:<2026-03-18.