summaryrefslogtreecommitdiff
path: root/lisp/emacs-lisp/comp-cstr.el
Commit message (Expand)AuthorAgeFilesLines
* * Improve reproducibility of inferred values by native compAndrea Corallo2024-02-111-0/+2
* ; Add 2024 to copyright yearsPo Lu2024-01-021-1/+1
* ; Fix typosStefan Kangas2023-12-031-1/+1
* ; Update my mail addressAndrea Corallo2023-06-081-1/+1
* ; 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
* Fix inverted logic in constraint comparison (bug#46540)Andrea Corallo2021-02-171-4/+4
* Do not add unnecesary arg constraints (bug#45812 bug#45705 bug#45751).Andrea Corallo2021-01-191-0/+3
* Fix type inference for bug#45635Andrea Corallo2021-01-041-0/+16
* Fix `functionp' contraining (bug#45576)Andrea Corallo2021-01-021-5/+1
* * Fix two predicates for missing negation handlingAndrea Corallo2021-01-011-5/+7
* * lisp/emacs-lisp/comp-cstr.el (comp-cstr): Better `comp-value-to-cstr'.Andrea Corallo2020-12-291-4/+7
* Constrain mvars under compare and branch with built-in predicatesAndrea Corallo2020-12-291-0/+11
* * lisp/emacs-lisp/comp-cstr.el (comp-cstr): Better `comp-type-to-cstr'.Andrea Corallo2020-12-291-1/+10
* Add 1+ 1- integer range propagation supportAndrea Corallo2020-12-271-0/+4
* Add sum/subtraction integer range propagation supportAndrea Corallo2020-12-271-0/+63
* * lisp/emacs-lisp/comp-cstr.el (comp-cstr-set-cmp-range): Improve.Andrea Corallo2020-12-271-1/+4
* * Add comp-cstr-greatest-in-range comp-cstr-smallest-in-rangeAndrea Corallo2020-12-271-4/+12
* Fix missing float handling into `comp-cstr-set-cmp-range'Andrea Corallo2020-12-261-1/+1
* Enable integer range narrowing under compare and branchAndrea Corallo2020-12-261-0/+68
* * Memoize `comp-subtype-p'Andrea Corallo2020-12-241-1/+8
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-08 04:52:19 +0000