Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | * Memoize `comp-cstr-union-1' | Andrea Corallo | 2020-12-05 | 1 | -7/+42 | |
* | More improvements to `comp-cstr-union-1' for mixed positive/negative cases | Andrea Corallo | 2020-12-05 | 1 | -34/+54 | |
* | * Fix `comp-cstr-to-type-spec' | Andrea Corallo | 2020-12-05 | 1 | -41/+44 | |
* | Fix union of homogeneously negated input constraints | Andrea Corallo | 2020-12-05 | 1 | -0/+2 | |
* | * Add `with-comp-cstr-accessors' macro. | Andrea Corallo | 2020-12-05 | 1 | -79/+94 | |
* | Initial support for union of negated constraints | Andrea Corallo | 2020-12-05 | 1 | -15/+118 | |
* | * lisp/emacs-lisp/comp-cstr.el (comp-cstr-union-no-range): Cosmetic. | Andrea Corallo | 2020-12-05 | 1 | -20/+20 | |
* | Initial constraint negation support | Andrea Corallo | 2020-12-05 | 1 | -17/+48 | |
* | Add intersection support into comp-cstr.el | Andrea Corallo | 2020-11-27 | 1 | -7/+73 | |
* | Add comp-cstr.el and comp-cstr-tests.el | Andrea Corallo | 2020-11-26 | 1 | -0/+363 |