summaryrefslogtreecommitdiff
path: root/test/lisp/emacs-lisp/comp-cstr-tests.el
Commit message (Expand)AuthorAgeFilesLines
* ; Add 2022 to copyright years.Eli Zaretskii2022-01-011-1/+1
* Have `comp-cstr-intersection-no-mem' intersect pos neg value setsAndrea Corallo2021-04-271-8/+12
* Rework where `comp-ctxt' is defined.Andrea Corallo2021-04-261-2/+0
* * Fix comp-cstr tests for vanilla build (bug#48021)Andrea Corallo2021-04-261-0/+2
* ; Add 2021 to copyright yearsGlenn Morris2021-04-251-1/+1
* * Fix two comp-cstr testsAndrea Corallo2021-04-131-2/+2
* * Fix union constraint for mixed pos/neg constraintsAndrea Corallo2021-02-221-1/+3
* * Add a type specifier testAndrea Corallo2021-01-071-1/+3
* * Fix a type specifier testAndrea Corallo2021-01-041-1/+1
* Fix type inference for bug#45635Andrea Corallo2021-01-041-1/+3
* Symplify (not t) => nil and (not nil) => tAndrea Corallo2020-12-241-1/+5
* Fix native compiler tests when they are bytecompiledAndrea Corallo2020-12-211-174/+176
* Simplify correctly (or (integer 1 1) (not (integer 1 1))) as tAndrea Corallo2020-12-211-1/+3
* Symplify type specifier (not t) as nilAndrea Corallo2020-12-211-1/+5
* * Add a type specifier test to comp-cstr-tests.elAndrea Corallo2020-12-211-1/+3
* * Fix a number of type specifier simplification testsAndrea Corallo2020-12-211-12/+28
* * Add initial negated non-negegated intersection supportAndrea Corallo2020-12-131-1/+23
* Normalize cstrs for cache hint effectiveness and test stabilityAndrea Corallo2020-12-121-6/+6
* * Enumerate type specifier tests to ease debuggingAndrea Corallo2020-12-121-6/+60
* Couple of `comp-cstr-union-1-no-mem' improvements for mixed neg pos unionAndrea Corallo2020-12-061-2/+5
* More improvements to `comp-cstr-union-1' for mixed positive/negative casesAndrea Corallo2020-12-051-2/+13
* Fix union of homogeneously negated input constraintsAndrea Corallo2020-12-051-1/+3
* Initial support for union of negated constraintsAndrea Corallo2020-12-051-1/+8
* Initial constraint negation supportAndrea Corallo2020-12-051-1/+2
* Add intersection support into comp-cstr.elAndrea Corallo2020-11-271-5/+18
* Move some tests from comp-tests.el to comp-cstr-tests.elAndrea Corallo2020-11-261-4/+16
* Add comp-cstr.el and comp-cstr-tests.elAndrea Corallo2020-11-261-0/+68
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-10 07:35:08 +0000