summaryrefslogtreecommitdiff
path: root/lisp/emacs-lisp/comp-cstr.el
Commit message (Expand)AuthorAgeFilesLines
* * Improve constraint simplification logic in comp-cstr.elAndrea Corallo2020-12-211-113/+131
* * Memoize `comp-cstr-intersection'Andrea Corallo2020-12-131-24/+44
* * Add initial negated non-negegated intersection supportAndrea Corallo2020-12-131-21/+93
* Normalize cstrs for cache hint effectiveness and test stabilityAndrea Corallo2020-12-121-15/+42
* * Add `comp-split-pos-neg' functionAndrea Corallo2020-12-121-86/+91
* * Code rework add `comp-cstrs-homogeneous'Andrea Corallo2020-12-121-12/+19
* * Unify common fallback exit point in `comp-cstr-union-1-no-mem'.Andrea Corallo2020-12-061-112/+106
* Couple of `comp-cstr-union-1-no-mem' improvements for mixed neg pos unionAndrea Corallo2020-12-061-9/+23
* * Memoize `comp-cstr-union-1'Andrea Corallo2020-12-051-7/+42
* More improvements to `comp-cstr-union-1' for mixed positive/negative casesAndrea Corallo2020-12-051-34/+54
* * Fix `comp-cstr-to-type-spec'Andrea Corallo2020-12-051-41/+44
* Fix union of homogeneously negated input constraintsAndrea Corallo2020-12-051-0/+2
* * Add `with-comp-cstr-accessors' macro.Andrea Corallo2020-12-051-79/+94
* Initial support for union of negated constraintsAndrea Corallo2020-12-051-15/+118
* * lisp/emacs-lisp/comp-cstr.el (comp-cstr-union-no-range): Cosmetic.Andrea Corallo2020-12-051-20/+20
* Initial constraint negation supportAndrea Corallo2020-12-051-17/+48
* Add intersection support into comp-cstr.elAndrea Corallo2020-11-271-7/+73
* Add comp-cstr.el and comp-cstr-tests.elAndrea Corallo2020-11-261-0/+363
generated by cgit v1.2.3 (git 2.39.1) at 2025-07-02 13:24:38 +0000