Pull requests: plfa/plfa.github.io
Author
Filter by author
Label
Filter by label
Loading
Projects
Milestones
Reviews
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Filter by reviews
Assignee
Filter by who’s assigned
Sort
Sort by
Pull requests list
Bump html-validate from 10.9.0 to 11.9.0
dependencies
Pull requests that update a dependency file.
javascript
Pull requests that update Javascript code
#1224
opened Aug 24, 2026 by
dependabot
Bot
Loading…
Bump sass from 1.99.0 to 1.103.1
dependencies
Pull requests that update a dependency file.
javascript
Pull requests that update Javascript code
#1223
opened Aug 24, 2026 by
dependabot
Bot
Loading…
Bump sass from 1.99.0 to 1.101.0
dependencies
Pull requests that update a dependency file.
javascript
Pull requests that update Javascript code
#1206
opened Jun 15, 2026 by
dependabot
Bot
Loading…
Bump sass from 1.99.0 to 1.100.0
dependencies
Pull requests that update a dependency file.
javascript
Pull requests that update Javascript code
#1199
opened May 26, 2026 by
dependabot
Bot
Loading…
motivate and explain parallel reduction, plus wordsmithing
#1020
opened Jul 26, 2024 by
nrnrnr
Loading…
Bisimulation: add a note about requirements of bisimulation
#785
opened Nov 10, 2022 by
fangyi-zhou
Contributor
•
Draft
ProTip!
Mix and match filters to narrow down what you’re looking for.