Skip to content

Pull requests: epfl-lara/leon

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
Assignee
Filter by who’s assigned
Sort

Pull requests list

Update README.md
#314 opened Mar 18, 2024 by vkuncak Loading…
Use a more portable shebang
#313 opened Nov 12, 2017 by earldouglas Loading…
Typo
#311 opened Jun 18, 2017 by y-taka-23 Loading…
Implemented and verified a stable sorting algorithm
#260 opened Oct 12, 2016 by r-mukund Loading…
Comfusy is back
#231 opened Jul 20, 2016 by MikaelMayer Loading…
Doc for intelliJ installation
#221 opened Jun 12, 2016 by jmuth Loading…
Semester project: corpus based synthesis
#220 opened Jun 10, 2016 by jmuth Loading…
ProTip! What’s not been updated in a month: updated:<2024-09-29.