summaryrefslogtreecommitdiff
path: root/lisp/emacs-lisp/comp-cstr.el
Commit message (Expand)AuthorAge
* ; Fix typoStefan Kangas2023-02-18
* ; Add 2023 to copyright years.Eli Zaretskii2023-01-01
* ; Fix several symbol name typosStefan Kangas2022-10-26
* * Rename `comp--typeof-builtin-types'Andrea Corallo2022-08-18
* * lisp/emacs-lisp/comp-cstr.el (comp--all-builtin-types): RemoveAndrea Corallo2022-08-18
* ; Fix two mail addressesAndrea Corallo2022-05-16
* Merge from origin/emacs-28Stefan Kangas2022-02-10
|\
| * Fix integer arithmetic miss-compilation (bug#53451)Andrea Corallo2022-02-09
* | Merge from origin/emacs-28Eli Zaretskii2022-01-01
|\|
| * ; Add 2022 to copyright years.Eli Zaretskii2022-01-01
* | Make use of `comp-cstr-shallow-copy'Andrea Corallo2021-12-01
* | * Redefine `comp-cstr-shallow-copy'Andrea Corallo2021-12-01
|/
* Don't quote nil and t in doc strings and commentsLars Ingebrigtsen2021-09-21
* ; Fix typosStefan Kangas2021-09-03
* * Improve `comp-normalize-valset' reproducibility (bug#48021)Andrea Corallo2021-04-29
* Have `comp-cstr-intersection-no-mem' intersect pos neg value setsAndrea Corallo2021-04-27
* * lisp/emacs-lisp/comp-cstr.el (comp-ctxt): Initialize it.Andrea Corallo2021-04-26
* Rework where `comp-ctxt' is defined.Andrea Corallo2021-04-26
* ; Add 2021 to copyright yearsGlenn Morris2021-04-25
* * lisp/emacs-lisp/comp-cstr.el (comp-cstr-union-1-no-mem): (not null) => t.Andrea Corallo2021-04-13
* * lisp/emacs-lisp/comp-cstr.el (comp-normalize-valset): Remove duplicates.Andrea Corallo2021-04-13
* ; Remove two unnecessary quotesAndrea Corallo2021-03-21
* Use `length=' and family where possible in native comp codeAndrea Corallo2021-03-07
* Fix `comp-cstr-intersection-no-hashcons' for negated result cstrAndrea Corallo2021-03-06
* Fix `=' propagation to handle -0.0 0.0 caseAndrea Corallo2021-03-06
* Fix two compiler ICEs dealing with nan and infinityAndrea Corallo2021-03-03
* Fix = propagation semantic for constrained inputsAndrea Corallo2021-03-02
* Fix `eql' `equal' propagation of non hash consed values (bug#46843)Andrea Corallo2021-03-01
* Don't treat '=' as simple equality emitting constraints (bug#46812)Andrea Corallo2021-02-28
* Migrate and rename a bunch of functions from comp.el to comp-cstr.elAndrea Corallo2021-02-28
* * Fix union constraint for mixed pos/neg constraintsAndrea Corallo2021-02-22
* Fix inverted logic in constraint comparison (bug#46540)Andrea Corallo2021-02-17
* Do not add unnecesary arg constraints (bug#45812 bug#45705 bug#45751).Andrea Corallo2021-01-19
* Fix type inference for bug#45635Andrea Corallo2021-01-04
* Fix `functionp' contraining (bug#45576)Andrea Corallo2021-01-02
* * Fix two predicates for missing negation handlingAndrea Corallo2021-01-01
* * lisp/emacs-lisp/comp-cstr.el (comp-cstr): Better `comp-value-to-cstr'.Andrea Corallo2020-12-29
* Constrain mvars under compare and branch with built-in predicatesAndrea Corallo2020-12-29
* * lisp/emacs-lisp/comp-cstr.el (comp-cstr): Better `comp-type-to-cstr'.Andrea Corallo2020-12-29
* Add 1+ 1- integer range propagation supportAndrea Corallo2020-12-27
* Add sum/subtraction integer range propagation supportAndrea Corallo2020-12-27
* * lisp/emacs-lisp/comp-cstr.el (comp-cstr-set-cmp-range): Improve.Andrea Corallo2020-12-27
* * Add comp-cstr-greatest-in-range comp-cstr-smallest-in-rangeAndrea Corallo2020-12-27
* Fix missing float handling into `comp-cstr-set-cmp-range'Andrea Corallo2020-12-26
* Enable integer range narrowing under compare and branchAndrea Corallo2020-12-26
* * Memoize `comp-subtype-p'Andrea Corallo2020-12-24
* Symplify (not t) => nil and (not nil) => tAndrea Corallo2020-12-24
* Negate only values while constraining variables (bug#45376)Andrea Corallo2020-12-23
* * Fix non range cstr union operationAndrea Corallo2020-12-23
* Make input constraints into memoization hash immutable (bug#45376)Andrea Corallo2020-12-23
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-18 05:09:09 +0000