History of include @1401d13d-63e6-458a-af41-44f07b123fad/main
- Update copyright years Kostis Sagonas 7 years ago
- Remove support for OTP versions that do not support type declarations Kostis Sagonas (commit: Kostis Sagonas) 7 years ago
- Integration of Target (SBST) for PropEr (#142) Andreas Löscher (commit: Kostis Sagonas) 7 years ago
- Implementation of a ?SETUP macro (#138) Andreas Löscher (commit: Kostis Sagonas) 7 years ago
- Use the rand module in 19.x instead of deprecated random (if not SFMT) Kostis Sagonas 7 years ago
- Move anno() define to proper_internal.hrl Kostis Sagonas 7 years ago
- Introduce AT_LEAST_19 macro and use it to obtain better type information Kostis Sagonas 8 years ago
- Merge pull request #42 from zmstone/no-unused-import Kostis Sagonas 8 years ago
- Isolate proper_unicode to its own module Motiejus Jakštys 10 years ago
- UTF8 generator Motiejus Jakštys 10 years ago
- Update copyright year Kostis Sagonas 11 years ago
- remove unused imports Stone Shi 11 years ago
- Smarter integer range generation for wide ranges Manolis Papadakis 11 years ago
- Add pointers to erl_parse types Kostis Sagonas 12 years ago
- Allow to choose RNG at configure time Thomas Charbonnel 12 years ago
- Allow reproducible runs through RNG seeding Thomas Charbonnel 12 years ago
- Add +debug_info compiler option and up copyright year Kostis Sagonas 12 years ago
- Set compilation flags automatically according to OTP version Manolis Papadakis 12 years ago
- Use include_lib in proper.hrl to make it painless to include_lib proper/include/proper.hrl without having to add proper/include to the list of include paths Yurii Rashkovskii 12 years ago
- Remove e-mail addresses from EDoc output Manolis Papadakis 12 years ago
- Fix copyright notices Manolis Papadakis 13 years ago
- Documentation fixes Manolis Papadakis 13 years ago
- Add flag to disable auto-importing Manolis Papadakis 13 years ago
- Simplify function generator, fixes bug found by Tuncer Ayaz Manolis Papadakis 13 years ago
- Typeserver now parses untyped records too Manolis Papadakis 13 years ago
- Delay the calculation of initial state until actual command generation eirini 13 years ago
- implemented with_parameters/3 eirini 13 years ago
- moved command generators to proper_statem.erl eirini 13 years ago
- first unit tests for command generation eirini 13 years ago
- merge master branch to statem eirini 13 years ago