Skip to content

Pull requests: Ecdar-SW5/Reveaal

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

Refactor clock_name_and_component_to_index_map
#197 opened Dec 15, 2022 by CasperStaahl • Draft
Refactor proto_edge_to_edge
#196 opened Dec 15, 2022 by CasperStaahl • Draft
Update documenation for find_path to actually match function
#194 opened Dec 13, 2022 by Mati-AAU • Draft
Refactor TransitionDecision::resolve
#192 opened Dec 11, 2022 by CasperStaahl • Draft
Create acceptance test for quotient
#191 opened Dec 11, 2022 by CasperStaahl • Draft
Group16 multithread determinism bench wontfix This will not be worked on
#173 opened Dec 2, 2022 by Casper-NS • Draft
Determinism multithreading wontfix This will not be worked on
#146 opened Nov 23, 2022 by mads256h • Draft
ProTip! Exclude everything labeled bug with -label:bug.