P

proper

Settings | Report Duplicate

0

I Use This!

Very Low Activity

Commits : Listings

Analyzed about 3 hours ago. based on code collected about 9 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Apr 27, 2023 — Apr 27, 2024 Showing page 4 of 28 Search / Filter on:
Introduce defines for cache-related items	Kostis Sagonas	More...				about 4 years ago
Cleanup proper_gen_next's code a bit	Kostis Sagonas	More...				about 4 years ago
Modernize coverage generation (#235)	Spiros Dontas	More...				about 4 years ago
Test with rebar3 (#234)	Kostis Sagonas	More...				about 4 years ago
Make the targeted_shrinking tests more deterministic	Kostis Sagonas	More...				about 4 years ago
Update a type declaration [skip ci]	Kostis Sagonas	More...				about 4 years ago
Fix targeted shrinking in ?USERNF (#233)	Spiros Dontas	More...				about 4 years ago
Declare a more precise type for abs_rec_field()	Kostis Sagonas	More...				about 4 years ago
Update THANKS [skip ci]	Kostis Sagonas	More...				about 4 years ago
Make a test case (hopefully) more robust	Kostis Sagonas	More...				about 4 years ago
Cleanup tests (#216)	Kostis Sagonas	More...				about 4 years ago
Test case for the more_commands fix (#231)	Kostis Sagonas	More...				about 4 years ago
Fix more_commands/2 to generate size-controlled command sequences (#228)	x4lldux	More...				about 4 years ago
Fix a minor Edoc issue	Kostis Sagonas	More...				about 4 years ago
Perform a PropEr check for Erlang/OTP >= 21 (#226)	Kostis Sagonas	More...				about 4 years ago
Refactor proper_internal types (#223)	Kostis Sagonas	More...				about 4 years ago
Print stateful command frequencies as floats	Kostis Sagonas	More...				about 4 years ago
Avoid long lines and if -> case cleanup	Kostis Sagonas	More...				about 4 years ago
Adopt config recommendations from Travis	Kostis Sagonas	More...				about 4 years ago
Update travis to use 22.3	Kostis Sagonas	More...				about 4 years ago
Update travis to use 22.2	Kostis Sagonas	More...				over 4 years ago
Use gen_server for proper_targeted (#220)	Spiros Dontas	More...				over 4 years ago
change covertool repo address (#222)	19年梦醒	More...				over 4 years ago
Correctly ignore ebin dir [skip ci]	Kostis Sagonas	More...				over 4 years ago
Add ebin to the distclean target [skip ci]	Kostis Sagonas	More...				over 4 years ago
make: Manually restore ebin dir after rebar3 compile (#218)	Kostis Sagonas	More...				over 4 years ago
Delete ebin dir and use rebar3 for clean command	Kostis Sagonas	More...				over 4 years ago
Revert "Add rebar3-hex plugin"	Kostis Sagonas	More...				over 4 years ago
Add rebar3-hex plugin	Magnus Ottenklinger	More...				over 4 years ago
Cleanup Targeted Implementation (#212)	Spiros Dontas	More...				over 4 years ago

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