Skip to content

Pull requests: proper-testing/proper

New pull request New
12 Open 192 Closed
12 Open 192 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
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Add generator for existing atoms
#310 opened Apr 6, 2023 by Maria-12648430 Loading…
14
Add full support for maps
#300 opened Oct 22, 2022 by maxnordlund Loading…
1
10
Correct documentation for proper_typeserver
#297 opened Jun 28, 2022 by michalmuskala Loading…
Introduce ?TYPE macro
#296 opened Jun 27, 2022 by michalmuskala Loading…
5
Update the installation steps of the README
#269 opened May 10, 2021 by pablocostass Loading…
1
8
Add shrinking indication parameter
#232 opened Mar 28, 2020 by x4lldux Loading…
13
Adds ?ALWAYS and ?SOMETIMES macros
#230 opened Mar 28, 2020 by x4lldux Loading…
Parallel crash fix, #224
#227 opened Mar 26, 2020 by x4lldux Loading…
3
seed: introduce seed user option
#165 opened May 17, 2018 by fenollp Loading…
25
Fix issues #131 and #132 to get more readable output on failures
#133 opened Jan 2, 2017 by ijt Loading…
node type supported
#68 opened Apr 25, 2013 by gliush Loading…
2
Added unicode generators [PR was resubmitted]
#63 opened Feb 8, 2013 by arcusfelis Loading…
7
ProTip! Filter pull requests by the default branch with base:master.