P

proper

Settings | Report Duplicate

0

I Use This!

Very Low Activity

Commits : Listings

Analyzed 4 days ago. based on code collected 4 days ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
May 28, 2023 — May 28, 2024 Showing page 25 of 28 Search / Filter on:
PropEr now catches exits by default.	Manolis Papadakis	More...				over 13 years ago
Added spec-constraints support to Auto-ADT.	Manolis Papadakis	More...				over 13 years ago
Typeserver and parse transform refactoring.	Manolis Papadakis	More...				over 13 years ago
Added documentation for Symbolic Datatypes and Auto-ADT.	Manolis Papadakis	More...				over 13 years ago
Various changes in typeserver.	Manolis Papadakis	More...				over 13 years ago
First commit of Auto-ADT (not tested yet), minor transformer bugfix.	Manolis Papadakis	More...				almost 14 years ago
Added unit tests for new typeserver.	Manolis Papadakis	More...				almost 14 years ago
First commit of improved typeserver.	Manolis Papadakis	More...				almost 14 years ago
Added some ?LET macro tests.	Manolis Papadakis	More...				almost 14 years ago
Introduced separate retest/2,3 functions for re-checking, minor refactoring.	Manolis Papadakis	More...				almost 14 years ago
Added helper distlist type.	Manolis Papadakis	More...				almost 14 years ago
?LETSHRINK now accepts list and vector types.	Manolis Papadakis	More...				almost 14 years ago
Fixed a bug on the handling of non-empty recursive lists.	Manolis Papadakis	More...				almost 14 years ago
Inserted some @private declarations.	Manolis Papadakis	More...				almost 14 years ago
The Makefile should set itself any environment variables it needs.	Kostis Sagonas	More...				almost 14 years ago
Unit tests and bugfixes for the parse transform.	Manolis Papadakis	More...				almost 14 years ago
Documented new parse transform.	Manolis Papadakis	More...				almost 14 years ago
Code sharing refactoring between typeserver and transformer.	Manolis Papadakis	More...				almost 14 years ago
Typeserver refactoring.	Manolis Papadakis	More...				almost 14 years ago
Fixes and cleanups to typeserver and transformer.	Manolis Papadakis	More...				almost 14 years ago
First commit of parse transform, not tested yet.	Manolis Papadakis	More...				almost 14 years ago
Preparation changes.	Manolis Papadakis	More...				almost 14 years ago
PropEr now catches errors too.	Manolis Papadakis	More...				almost 14 years ago
One more example.	Kostis Sagonas	More...				almost 14 years ago
Implemented re-checking of counterexamples, cleaned-up I/O code.	Manolis Papadakis	More...				almost 14 years ago
Minor spec fix.	Manolis Papadakis	More...				almost 14 years ago
Bugfixes, documentation and tests for new typeserver.	Manolis Papadakis	More...				almost 14 years ago
Minor refactoring to user-exposed is_instance testing.	Manolis Papadakis	More...				almost 14 years ago
Remove ?OPAQUE support.	Manolis Papadakis	More...				almost 14 years ago
Initial commit of revamped typeserver.	Manolis Papadakis	More...				almost 14 years ago

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