summaryrefslogtreecommitdiff
path: root/test/lisp/emacs-lisp/comp-cstr-tests.el
Commit message (Expand)AuthorAge
* ; Add 2023 to copyright years.Eli Zaretskii2023-01-01
* ; Add 2022 to copyright years.Eli Zaretskii2022-01-01
* Have `comp-cstr-intersection-no-mem' intersect pos neg value setsAndrea Corallo2021-04-27
* Rework where `comp-ctxt' is defined.Andrea Corallo2021-04-26
* * Fix comp-cstr tests for vanilla build (bug#48021)Andrea Corallo2021-04-26
* ; Add 2021 to copyright yearsGlenn Morris2021-04-25
* * Fix two comp-cstr testsAndrea Corallo2021-04-13
* * Fix union constraint for mixed pos/neg constraintsAndrea Corallo2021-02-22
* * Add a type specifier testAndrea Corallo2021-01-07
* * Fix a type specifier testAndrea Corallo2021-01-04
* Fix type inference for bug#45635Andrea Corallo2021-01-04
* Symplify (not t) => nil and (not nil) => tAndrea Corallo2020-12-24
* Fix native compiler tests when they are bytecompiledAndrea Corallo2020-12-21
* Simplify correctly (or (integer 1 1) (not (integer 1 1))) as tAndrea Corallo2020-12-21
* Symplify type specifier (not t) as nilAndrea Corallo2020-12-21
* * Add a type specifier test to comp-cstr-tests.elAndrea Corallo2020-12-21
* * Fix a number of type specifier simplification testsAndrea Corallo2020-12-21
* * Add initial negated non-negegated intersection supportAndrea Corallo2020-12-13
* Normalize cstrs for cache hint effectiveness and test stabilityAndrea Corallo2020-12-12
* * Enumerate type specifier tests to ease debuggingAndrea Corallo2020-12-12
* Couple of `comp-cstr-union-1-no-mem' improvements for mixed neg pos unionAndrea Corallo2020-12-06
* More improvements to `comp-cstr-union-1' for mixed positive/negative casesAndrea Corallo2020-12-05
* Fix union of homogeneously negated input constraintsAndrea Corallo2020-12-05
* Initial support for union of negated constraintsAndrea Corallo2020-12-05
* Initial constraint negation supportAndrea Corallo2020-12-05
* Add intersection support into comp-cstr.elAndrea Corallo2020-11-27
* Move some tests from comp-tests.el to comp-cstr-tests.elAndrea Corallo2020-11-26
* Add comp-cstr.el and comp-cstr-tests.elAndrea Corallo2020-11-26