-
Notifications
You must be signed in to change notification settings - Fork 13
Pull requests: epfl-lara/bolts
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
example of inductive definitions: transitive closure
#124
by vkuncak
was merged Jan 18, 2025
Loading…
example for inductive definitions: reflexive transitive closure
#123
by vkuncak
was closed Jan 18, 2025
Loading…
New CI with extracted common setup workflow, with a new CI with verification
#120
by samuelchassot
was merged Dec 16, 2024
Loading…
Revert "Hide ofSize even more from scala3 when using tasty"
#119
by mbovel
was merged Dec 16, 2024
Loading…
Adding Zippers implementation and verification, and some benchmarks
#116
by samuelchassot
was merged Jan 15, 2025
Loading…
The implementation and proof of Zipper to match regex
#115
by samuelchassot
was closed Nov 27, 2024
Loading…
run body before arguments are known: def runBody[A,B](body: Future[A] => Future[B]): A => B
#113
by vkuncak
was merged Oct 29, 2024
Loading…
Dispenser with --solvers=eval,smt-cvc5. Fixed to .holdsFrom
#108
by vkuncak
was merged Aug 26, 2024
Loading…
Add a verified HashSet implementation + refactor package name of map + add script
#106
by samuelchassot
was merged Sep 9, 2024
Loading…
Cleanup Lexer and regex, add them to the nightly
#104
by samuelchassot
was merged Aug 14, 2024
Loading…
Adding memoisation to regex matching, and a simplification function proven to be sound
#102
by samuelchassot
was merged Aug 13, 2024
Loading…
Change to pre, post condition instead of invariant, private val for the cache
#98
by samuelchassot
was merged Aug 5, 2024
Loading…
Add a trait interface to the
MutableLongMap as a first step towards modular proofs
#96
by samuelchassot
was merged Aug 9, 2024
Loading…
Previous Next
ProTip!
Adding no:label will show everything without a label.