P

proper

Settings | Report Duplicate

0

I Use This!

Very Low Activity

Commits : Listings

Analyzed about 2 hours ago. based on code collected about 23 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
May 15, 2023 — May 15, 2024 Showing page 27 of 28 Search / Filter on:
Fixes to symbolic pretty-printing.	Manolis Papadakis	More...				almost 14 years ago
Change so that records are not unnecessarily exposed.	Kostis Sagonas	More...				almost 14 years ago
Added description of program.	Kostis Sagonas	More...				almost 14 years ago
Merge branch 'master' of github.com:manopapad/proper	Manolis Papadakis	More...				almost 14 years ago
Added functions support, default/2, renamed sample/2 to pick/1,2.	Manolis Papadakis	More...				almost 14 years ago
Tidier cleanup.	Kostis Sagonas	More...				almost 14 years ago
added various QuickCheck types, updated README, minor fixes	Manolis Papadakis	More...				almost 14 years ago
Merge branch 'master' of github.com:manopapad/proper	Manolis Papadakis	More...				almost 14 years ago
merged	Manolis Papadakis	More...				almost 14 years ago
Added symbolic testcase support, QuickCheck compatibility fixes.	Manolis Papadakis	More...				almost 14 years ago
Changes to README.	Kostis Sagonas	More...				almost 14 years ago
Merge branch 'master' of [email protected]:manopapad/proper	Kostis Sagonas	More...				almost 14 years ago
implemented ?TIMEOUT, some cleanups	Manolis Papadakis	More...				almost 14 years ago
Merge branch 'master' of [email protected]:manopapad/proper	Kostis Sagonas	More...				almost 14 years ago
Took out ?MODULE qualifier.	Kostis Sagonas	More...				almost 14 years ago
implemented ?LAZY macro, updated README	Manolis Papadakis	More...				almost 14 years ago
wrote a proper README, fixed the reporting system	Manolis Papadakis	More...				almost 14 years ago
minor tidier-related fixes	Manolis Papadakis	More...				almost 14 years ago
fixed crypto init and stop, removed unnecessary ?MODULE: and erlang: prefixes	Manolis Papadakis	More...				almost 14 years ago
Merge branch 'master' of [email protected]:manopapad/proper	Kostis Sagonas	More...				almost 14 years ago
Various tidier-related cleanups.	Kostis Sagonas	More...				almost 14 years ago
added reverse generators, full crypto support	Manolis Papadakis	More...				almost 14 years ago
Merge branch 'master', remote branch 'origin/master'	Manolis Papadakis	More...				almost 14 years ago
Merge branch 'master' of [email protected]:manopapad/proper	Kostis Sagonas	More...				almost 14 years ago
Clean ups.	Kostis Sagonas	More...				almost 14 years ago
added two options	Manolis Papadakis	More...				almost 14 years ago
added ?TRAPEXIT support	Manolis Papadakis	More...				almost 14 years ago
cosmetic changes	Manolis Papadakis	More...				almost 14 years ago
exported common header segments to separate file, added binary and bitstring types, minor changes in type-instance testing	Manolis Papadakis	More...				almost 14 years ago
changed type variables from X to T	Manolis Papadakis	More...				almost 14 years ago

←
1
2
…
20
21
22
23
24
25
26
27
28
→