summaryrefslogtreecommitdiff
path: root/lisp/emacs-lisp/comp-cstr.el
Commit message (Expand)AuthorAgeFilesLines
* ; Fix typos in symbol namesStefan Kangas2024-01-211-1/+1
* Merge from savannah/emacs-29Po Lu2024-01-021-1/+1
|\
| * ; Add 2024 to copyright yearsPo Lu2024-01-021-1/+1
* | Merge from origin/emacs-29Eli Zaretskii2023-12-091-1/+1
|\|
| * ; Fix typosStefan Kangas2023-12-031-1/+1
* | * lisp/emacs-lisp/comp-cstr.el (comp--direct-supertype): Remove unused.Andrea Corallo2023-11-031-10/+0
* | lisp/emacs-lisp/comp-cstr.el: Fix bootstrapStefan Monnier2023-10-311-1/+1
* | ; * lisp/emacs-lisp/comp-cstr.el (comp-subtype-p): Hoist above use.Mattias Engdegård2023-10-301-8/+8
* | comp-cstr.el: The type hierarchy is a DAG, not a treeStefan Monnier2023-10-301-64/+92
* | ; * lisp/emacs-lisp/comp-cstr.el: Fix punctuation.Eli Zaretskii2023-10-201-3/+3
* | Improve cstr typeset normalizationAndrea Corallo2023-10-191-4/+49
* | Merge from origin/emacs-29Eli Zaretskii2023-06-101-1/+1
|\|
| * ; Update my mail addressAndrea Corallo2023-06-081-1/+1
* | * lisp/emacs-lisp/comp-cstr.el (cl-macs): Require it.Andrea Corallo2023-06-041-0/+1
* | * Have `comp-cstr-to-type-spec' handle comp-cstr-f as wellAndrea Corallo2023-06-041-2/+16
* | comp: Recompute type slots after byte compilation for user typesAndrea Corallo2023-05-291-8/+23
* | comp: Propagate pre slot access type checkAndrea Corallo2023-05-231-0/+17
* | comp: Make use of predicates in propagation for non builtin typesAndrea Corallo2023-05-231-0/+8
* | comp: Account non builtin types in type hierarchyAndrea Corallo2023-05-231-2/+22
|/
* ; Fix typoStefan Kangas2023-02-181-1/+1
* ; Add 2023 to copyright years.Eli Zaretskii2023-01-011-1/+1
* ; Fix several symbol name typosStefan Kangas2022-10-261-1/+1
* * Rename `comp--typeof-builtin-types'Andrea Corallo2022-08-181-5/+5
* * lisp/emacs-lisp/comp-cstr.el (comp--all-builtin-types): RemoveAndrea Corallo2022-08-181-4/+0
* ; Fix two mail addressesAndrea Corallo2022-05-161-1/+1
* Merge from origin/emacs-28Stefan Kangas2022-02-101-12/+14
|\
| * Fix integer arithmetic miss-compilation (bug#53451)Andrea Corallo2022-02-091-12/+14
* | Merge from origin/emacs-28Eli Zaretskii2022-01-011-1/+1
|\|
| * ; Add 2022 to copyright years.Eli Zaretskii2022-01-011-1/+1
* | Make use of `comp-cstr-shallow-copy'Andrea Corallo2021-12-011-37/+15
* | * Redefine `comp-cstr-shallow-copy'Andrea Corallo2021-12-011-2/+10
|/
* Don't quote nil and t in doc strings and commentsLars Ingebrigtsen2021-09-211-1/+1
* ; Fix typosStefan Kangas2021-09-031-1/+1
* * Improve `comp-normalize-valset' reproducibility (bug#48021)Andrea Corallo2021-04-291-7/+12
* Have `comp-cstr-intersection-no-mem' intersect pos neg value setsAndrea Corallo2021-04-271-1/+3
* * lisp/emacs-lisp/comp-cstr.el (comp-ctxt): Initialize it.Andrea Corallo2021-04-261-1/+1
* Rework where `comp-ctxt' is defined.Andrea Corallo2021-04-261-0/+4
* ; Add 2021 to copyright yearsGlenn Morris2021-04-251-2/+1
* * lisp/emacs-lisp/comp-cstr.el (comp-cstr-union-1-no-mem): (not null) => t.Andrea Corallo2021-04-131-1/+9
* * lisp/emacs-lisp/comp-cstr.el (comp-normalize-valset): Remove duplicates.Andrea Corallo2021-04-131-6/+8
* ; Remove two unnecessary quotesAndrea Corallo2021-03-211-1/+1
* Use `length=' and family where possible in native comp codeAndrea Corallo2021-03-071-2/+2
* Fix `comp-cstr-intersection-no-hashcons' for negated result cstrAndrea Corallo2021-03-061-13/+19
* Fix `=' propagation to handle -0.0 0.0 caseAndrea Corallo2021-03-061-2/+6
* Fix two compiler ICEs dealing with nan and infinityAndrea Corallo2021-03-031-3/+6
* Fix = propagation semantic for constrained inputsAndrea Corallo2021-03-021-11/+30
* Fix `eql' `equal' propagation of non hash consed values (bug#46843)Andrea Corallo2021-03-011-0/+22
* Don't treat '=' as simple equality emitting constraints (bug#46812)Andrea Corallo2021-02-281-0/+12
* Migrate and rename a bunch of functions from comp.el to comp-cstr.elAndrea Corallo2021-02-281-0/+70
* * Fix union constraint for mixed pos/neg constraintsAndrea Corallo2021-02-221-0/+6
generated by cgit v1.2.3 (git 2.39.1) at 2025-07-20 06:06:46 +0000