P

proper

Settings | Report Duplicate

0

I Use This!

Very Low Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Apr 27, 2023 — Apr 27, 2024 Showing page 2 of 28 Search / Filter on:
Make hex docs work again (#276)	Fred Hebert	More...				almost 3 years ago
Some cleanups in the parallel code (#275)	Kostis Sagonas	More...				almost 3 years ago
Makefile: Add no-check-certificate to wget	Kostis Sagonas	More...				almost 3 years ago
Suppress warnings on unused types (#274)	Kostis Sagonas	More...				almost 3 years ago
Be more selective before shrinking clean instances (#273)	Spiros Dontas	More...				almost 3 years ago
Handle nonempty_{binary,bitstring} built-in types (#272)	Kostis Sagonas	More...				almost 3 years ago
Test 24.0 on GitHub actions (#271)	Kostis Sagonas	More...				almost 3 years ago
Pass some options to avoid failure due to exhausting num of tries (#270)	Kostis Sagonas	More...				almost 3 years ago
Extend PropEr with parallel execution (#263)	Pablo Costas Sánchez	More...				almost 3 years ago
One more badge in README [skip ci]	Kostis Sagonas	More...				almost 3 years ago
Add new Erlang built-in types to abstract code generator	Kostis Sagonas	More...				almost 3 years ago
Re-instate check for PLT and add some more OTP libraries	Kostis Sagonas	More...				about 3 years ago
Move the EUnit tests inside the example modules (#266)	Kostis Sagonas	More...				about 3 years ago
Move the testing of examples in the `examples` directories (#264)	Kostis Sagonas	More...				about 3 years ago
Use 23.3 in GitHub actions (#265)	Kostis Sagonas	More...				about 3 years ago
Erlang abstract code cleanup (#262)	Kostis Sagonas	More...				about 3 years ago
Introduce nil() built-in generator and allow 0 as a frequency	Kostis Sagonas	More...				about 3 years ago
Eliminate @spec Edoc tags	Kostis Sagonas	More...				about 3 years ago
Eliminate warnings from OTP 24's compiler (#261)	Kostis Sagonas	More...				about 3 years ago
Add 16-bit floats to Erlang abstract code generator (#260)	Hans Bolinder	More...				about 3 years ago
Reverse the order of OTPs	Kostis Sagonas	More...				about 3 years ago
Strengthen a spec	Kostis Sagonas	More...				about 3 years ago
Small update in README	Kostis Sagonas	More...				about 3 years ago
Replace travis with github actions (#259)	Spiros Dontas	More...				about 3 years ago
Merge targeted with random commands generator (#258)	Spiros Dontas	More...				over 3 years ago
Simplify code of two test files	Kostis Sagonas	More...				over 3 years ago
Increase coverage of proper_erlang_abstract_code (#256)	Kostis Sagonas	More...				over 3 years ago
Substitute 22.1 instead of 22.0 on travis	Kostis Sagonas	More...				over 3 years ago
Drop support for Erlang/OTP 19.x	Kostis Sagonas	More...				over 3 years ago
Add an Erlang abstract code generator (#255)	Hans Bolinder	More...				over 3 years ago

←
1
2
3
4
5
6
7
8
9
…
27
28
→