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 5 of 28 Search / Filter on:
Merge branch 'rebar3-compile'	Kostis Sagonas	More...				over 4 years ago
Put relevant info for publishing to hex in proper.app.src	Kostis Sagonas	More...				over 4 years ago
Remove mis.exs	Kostis Sagonas	More...				over 4 years ago
mix.exs: Incorporate changes from master	Kostis Sagonas	More...				over 4 years ago
Fix a small glitch in mix.exs [skip ci]	Kostis Sagonas	More...				over 4 years ago
Build PropEr using rebar3 instead of own rebar	Kostis Sagonas	More...				over 4 years ago
make_doc: Remove warnings from Dialyzer	Kostis Sagonas	More...				over 4 years ago
scripts: Fix the escript to work from top-level dir	Kostis Sagonas	More...				over 4 years ago
README: Small modifications [skip ci]	Kostis Sagonas	More...				over 4 years ago
Cleanup Makefile and the scripts it uses (#209)	Kostis Sagonas	More...				over 4 years ago
Fix an opacity violation [skip ci]	Kostis Sagonas	More...				over 4 years ago
Makefile: PropEr has no dependencies	Kostis Sagonas	More...				over 4 years ago
Remove conditional support for Erlang/OTP versions prior to 19.x (#208)	Kostis Sagonas	More...				over 4 years ago
Remove support for SFMT (#207)	Kostis Sagonas	More...				over 4 years ago
Do not allow negative length in vector/1, binary/1 and bitstring/1 (#206)	Kostis Sagonas	More...				over 4 years ago
Test Erlang/OTP 22.1 on Travis (#202)	Kostis Sagonas	More...				over 4 years ago
Fix ets_counter test to not depend on erlang:yield/0's behaviour (#203)	Kostis Sagonas	More...				over 4 years ago
Convert targeted to proper interface (#201)	Spiros Dontas	More...				over 4 years ago
Fix level example	Kostis Sagonas	More...				almost 5 years ago
Pretty-print exception reason	Roberto Aloi	More...				almost 5 years ago
Add some comments (and cleanups) to ets_counter test	Kostis Sagonas	More...				almost 5 years ago
proper: Add conversion function test_to_outer_test/1	Kostis Sagonas	More...				almost 5 years ago
Clean up the definition of is_instance for the module type	Kostis Sagonas	More...				almost 5 years ago
Add map to the list of some known types	Kostis Sagonas	More...				almost 5 years ago
Handle the map() type in specs	Kostis Sagonas	More...				almost 5 years ago
Introduce proper_types:map() generator	Kostis Sagonas	More...				almost 5 years ago
Cosmetic cleanup	Kostis Sagonas	More...				almost 5 years ago
An additional commit	Kostis Sagonas	More...				almost 5 years ago
Drop support for Erlang/OTP 17.x-18.x	Kostis Sagonas	More...				almost 5 years ago
Fix crash when specs have the map() type	Kostis Sagonas	More...				almost 5 years ago

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