Skip to content

Pull requests: ahartmanns/qcomp

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

PTA repudiation_malicious: Fix author, source and add reference
#99 opened Jul 27, 2020 by remco1112 Loading…
PTA repudiation_honest: Fix author, source and add reference
#98 opened Jul 27, 2020 by remco1112 Loading…
PTA csma_abst-pta: Fix author, source and references
#97 opened Jul 27, 2020 by remco1112 Loading…
PTA csma-pta: Fix author, source and references
#96 opened Jul 27, 2020 by remco1112 Loading…
PTA zeroconf-pta: Fix author and source
#95 opened Jul 27, 2020 by remco1112 Loading…
MDP zeroconf_dl: Fix author and source
#94 opened Jul 27, 2020 by remco1112 Loading…
MDP zeroconf: Fix source and author
#93 opened Jul 27, 2020 by remco1112 Loading…
MDP zenotravel: Fix author and source
#92 opened Jul 27, 2020 by remco1112 Loading…
MDP triangle-tireworld: Fix author and source
#91 opened Jul 27, 2020 by remco1112 Loading…
MDP tireworld: Fix author and source
#90 opened Jul 27, 2020 by remco1112 Loading…
MDP rectangle-tireworld: Fix author and dead link
#89 opened Jul 27, 2020 by remco1112 Loading…
MDP rabin: Fix author and source
#87 opened Jul 27, 2020 by remco1112 Loading…
MDP pnueli-zuck: Fix author and source
#86 opened Jul 27, 2020 by remco1112 Loading…
MDP philosophers-mdp: Fix author and source
#85 opened Jul 27, 2020 by remco1112 Loading…
MDP blocksworld-exploding: Fix source and author
#83 opened Jul 27, 2020 by remco1112 Loading…
MDP elevators: Fix source and authors
#82 opened Jul 27, 2020 by remco1112 Loading…
MDP csma: Fix authors and source
#81 opened Jul 27, 2020 by remco1112 Loading…
MDP consensus: Fix source and author
#80 opened Jul 27, 2020 by remco1112 Loading…
MDP cdrive: Fix authors
#79 opened Jul 27, 2020 by remco1112 Loading…
MDP boxworld: Fix source and author
#78 opened Jul 27, 2020 by remco1112 Loading…
MDP blocksword: Fix source
#77 opened Jul 27, 2020 by remco1112 Loading…
1
MA stream: Maximal => minimal
#76 opened Jul 27, 2020 by remco1112 Loading…
MA sms: Fix typo
#75 opened Jul 27, 2020 by remco1112 Loading…
MA sf: Fix author
#74 opened Jul 27, 2020 by remco1112 Loading…
MA mcs: Fix author
#71 opened Jul 27, 2020 by remco1112 Loading…
ProTip! Adding no:label will show everything without a label.