summaryrefslogtreecommitdiff
path: root/test/lisp/emacs-lisp/comp-cstr-tests.el
Commit message (Expand)AuthorAgeFilesLines
* Update copyright year to 2025Paul Eggert2025-01-011-1/+1
* * test/lisp/emacs-lisp/comp-cstr-tests.el (comp-cstr-test-93): Add test.Andrea Corallo2024-03-191-3/+2
* Revert "Update some native comp tests"Stefan Monnier2024-03-041-1/+1
* * test/lisp/emacs-lisp/comp-cstr-tests.el (comp-cstr-test-62): Revert change.Andrea Corallo2024-03-031-2/+2
* Update some native comp testsAndrea Corallo2024-02-151-2/+2
* * test/lisp/emacs-lisp/comp-cstr-tests.el: Use macros in a simpler wayStefan Monnier2024-01-181-210/+204
* Merge from savannah/emacs-29Po Lu2024-01-021-1/+1
|\
| * ; Add 2024 to copyright yearsPo Lu2024-01-021-1/+1
* | comp-cstr.el: The type hierarchy is a DAG, not a treeStefan Monnier2023-10-301-4/+8
* | Add two missing 'number-or-marker' entries to the cl machinery (bug#66615)Andrea Corallo2023-10-191-1/+1
* | Improve cstr typeset normalizationAndrea Corallo2023-10-191-1/+10
|/
* ; Update my mail addressAndrea Corallo2023-06-081-1/+1
* ; Add 2023 to copyright years.Eli Zaretskii2023-01-011-1/+1
* ; 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-13 21:11:03 +0000