P

proper

Settings | Report Duplicate

0

I Use This!

Very Low Activity

Commits : Listings

Analyzed about 8 hours ago. based on code collected about 14 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Apr 27, 2023 — Apr 27, 2024 Showing page 9 of 28 Search / Filter on:
Cleanup	Kostis Sagonas	More...				about 7 years ago
Integration of Target (SBST) for PropEr (#142)	Andreas Löscher	More...				about 7 years ago
No need to check so many Erlang/OTP releases in Travis	Kostis Sagonas	More...				about 7 years ago
Extend list of people to thank	Kostis Sagonas	More...				about 7 years ago
add DragonFlyBSD for compile_flags (#140)	Seann Aswell	More...				about 7 years ago
Implementation of a ?SETUP macro (#138)	Andreas Löscher	More...				about 7 years ago
Cleanups	Kostis Sagonas	More...				about 7 years ago
Fix phrasing error in a warning	Kostis Sagonas	More...				about 7 years ago
Test the newest Erlang/OTP release on Travis	Kostis Sagonas	More...				about 7 years ago
Merge pull request #136 from ztmr/master	Kostis Sagonas	More...				about 7 years ago
fix rebar.config and clean_temp.sh to work properly on solaris	Tomas Morstein	More...				about 7 years ago
Color printouts of success and failure	Kostis Sagonas	More...				over 7 years ago
Add emacs hook to rebar.config and small cleanups	Kostis Sagonas	More...				over 7 years ago
Add more more OTP release to test	Kostis Sagonas	More...				over 7 years ago
bug fix in test/symb_statem.erl	eiriniar	More...				over 7 years ago
Use the API of erl_syntax so as not to depend on the structure of abstact terms	Kostis Sagonas	More...				over 7 years ago
Fix indentation and extend THANKS	Kostis Sagonas	More...				almost 8 years ago
Merge pull request #128 from fenollp/maps-next_state	Kostis Sagonas	More...				almost 8 years ago
handle maps in next_state/3	Pierre Fenoll	More...				almost 8 years ago
Merge pull request #127 from fenollp/fenollp-patch-1	Kostis Sagonas	More...				almost 8 years ago
Add 19.0 to Travis CI	Pierre Fenoll	More...				almost 8 years ago
Remove R15B* from travis	Kostis Sagonas	More...				almost 8 years ago
Correct an erroneous type and rename a record field	Kostis Sagonas	More...				almost 8 years ago
Modernize the callbacks of proper_fsm and proper_statem	Kostis Sagonas	More...				almost 8 years ago
Fix two erroneous specs in test case	Kostis Sagonas	More...				almost 8 years ago
Inline some hot and short functions	Kostis Sagonas	More...				almost 8 years ago
Simplify clean_instance/1	Kostis Sagonas	More...				almost 8 years ago
Simplify is_raw_type/1 and is_raw_type_list/1	Kostis Sagonas	More...				almost 8 years ago
Improve efficiency of jumble/1	Kostis Sagonas	More...				almost 8 years ago
Improve efficiency of proper_arith:partition/2 and proper_arith:filter/2	Kostis Sagonas	More...				almost 8 years ago

←
1
2
…
5
6
7
8
9
10
11
12
13
…
27
28
→