From: Tom Tromey <tom@tromey.com>
To: Andy Moreton <andrewjmoreton@gmail.com>
Cc: emacs-devel@gnu.org
Subject: Re: bignum branch
Date: Sat, 04 Aug 2018 10:39:45 -0600 [thread overview]
Message-ID: <87ftzum6ge.fsf@tromey.com> (raw)
In-Reply-To: <861sbgz3dm.fsf@gmail.com> (Andy Moreton's message of "Fri, 03 Aug 2018 01:43:17 +0100")
>>>>> "Andy" == Andy Moreton <andrewjmoreton@gmail.com> writes:
Andy> The patch has been tested with the attached ccl-tests.el ERT tests to
Andy> check that ash/lsh shifts behave properly, and that the CCL machinery
Andy> uses its 28bit codewords correctly in a bignum build.
Andy> Please check this works for you, and feel free to commit it to the
Andy> bignum branch.
I've applied the patch but the new test fails for me.
I've appended the log.
I'm still going to push your patch to the branch in a minute, because I
read through it and I agree with all the changes. Thanks again for
doing this.
I fixed a couple of trivial formatting issues in your patch, and I also
added a comment by ccl-fixnum, but otherwise it's what you wrote.
Tom
Running 7 tests (2018-08-04 10:37:28-0600, selector `(not (tag :unstable))')
passed 1/7 ccl-compile-midi (0.000601 sec)
passed 2/7 ccl-compile-pgg (0.000303 sec)
Test ccl-dump-midi backtrace:
signal(ert-test-failed (((should (equal (buffer-string) prog-midi-du
ert-fail(((should (equal (buffer-string) prog-midi-dump)) :form (equ
(if (unwind-protect (setq value-92 (apply fn-90 args-91)) (setq form
(let (form-description-94) (if (unwind-protect (setq value-92 (apply
(let ((value-92 'ert-form-evaluation-aborted-93)) (let (form-descrip
(let* ((fn-90 #'equal) (args-91 (condition-case err (let ((signal-ho
(progn (ccl-dump prog-midi-code) (let* ((fn-90 #'equal) (args-91 (co
(unwind-protect (progn (ccl-dump prog-midi-code) (let* ((fn-90 #'equ
(save-current-buffer (set-buffer temp-buffer) (unwind-protect (progn
(let ((temp-buffer (generate-new-buffer " *temp*"))) (save-current-b
(lambda nil (let ((temp-buffer (generate-new-buffer " *temp*"))) (sa
ert--run-test-internal(#s(ert--test-execution-info :test #s(ert-test
ert-run-test(#s(ert-test :name ccl-dump-midi :documentation nil :bod
ert-run-or-rerun-test(#s(ert--stats :selector (not (tag :unstable))
ert-run-tests((not (tag :unstable)) #f(compiled-function (event-type
ert-run-tests-batch((not (tag :unstable)))
ert-run-tests-batch-and-exit((not (tag :unstable)))
eval((ert-run-tests-batch-and-exit '(not (tag :unstable))))
command-line-1(("-L" ":." "-l" "ert" "-l" "lisp/international/ccl-te
command-line()
normal-top-level()
Test ccl-dump-midi condition:
(ert-test-failed
((should
(equal
(buffer-string)
prog-midi-dump))
:form
(equal "Out-buffer must be 2 times bigger than in-buffer.
Main-body:
2:[read-jump-cond-expr-const] read r0, if !(r0 < 128), jump to 22(+20)
5:[branch] jump to array[r3] of length 4
11 12 15 18 22
11:[jump] jump to 2(-9)
12:[set-register] r1 = r0
13:[set-register] r0 = r4
14:[jump] jump to 41(+27)
15:[set-register] r1 = r0
16:[set-short-const] r3 = 3
17:[jump] jump to 2(-15)
18:[set-register] r2 = r0
19:[set-short-const] r3 = 2
20:[set-register] r0 = r4
21:[jump] jump to 41(+20)
22:[jump-cond-expr-const] if !(r0 >= 248), jump to 26(+4)
25:[jump] jump to 41(+16)
26:[jump-cond-expr-const] if !(r0 < 240), jump to 39(+13)
29:[set-register] r4 = r0
30:[set-expr-const] r7 = r0 & 224
32:[jump-cond-expr-const] if !(r7 == 192), jump to 37(+5)
35:[set-short-const] r3 = 1
36:[jump] jump to 38(+2)
37:[set-short-const] r3 = 2
38:[jump] jump to 2(-36)
39:[set-short-const] r3 = 0
40:[jump] jump to 2(-38)
41:[set-expr-const] r7 = r0 & 240
43:[jump-cond-expr-const] if !(r7 == 144), jump to 59(+16)
46:[jump-cond-expr-const] if !(r2 == 0), jump to 52(+6)
49:[set-assign-expr-const] r0 -= 16
51:[jump] jump to 59(+8)
52:[set-assign-expr-const] r0 &= 15
54:[write-const-string] write char \".\"
55:[write-register] write r0 (2 remaining)
56:[write-register] write r1 (1 remaining)
57:[write-register] write r2 (0 remaining)
58:[jump] jump to 2(-56)
59:[set-expr-const] r7 = r0 & 240
61:[jump-cond-expr-const] if !(r7 == 128), jump to 71(+10)
64:[set-assign-expr-const] r0 &= 15
66:[write-const-string] write char \".\"
67:[write-register] write r0 (2 remaining)
68:[write-register] write r1 (1 remaining)
69:[write-register] write r2 (0 remaining)
70:[jump] jump to 2(-68)
71:[jump] jump to 2(-69)
At EOF:
72:[end] end
" "Out-buffer must be 2 times bigger than in-buffer.
Main-body:
2:[read-jump-cond-expr-const] read r0, if !(r0 < 128), jump to 22(+20)
5:[branch] jump to array[r3] of length 4
11 12 15 18 22
11:[jump] jump to 2(-9)
12:[set-register] r1 = r0
13:[set-register] r0 = r4
14:[jump] jump to 41(+27)
15:[set-register] r1 = r0
16:[set-short-const] r3 = 3
17:[jump] jump to 2(-15)
18:[set-register] r2 = r0
19:[set-short-const] r3 = 2
20:[set-register] r0 = r4
21:[jump] jump to 41(+20)
22:[jump-cond-expr-const] if !(r0 >= 248), jump to 26(+4)
25:[jump] jump to 41(+16)
26:[jump-cond-expr-const] if !(r0 < 240), jump to 39(+13)
29:[set-register] r4 = r0
30:[set-expr-const] r7 = r0 & 224
32:[jump-cond-expr-const] if !(r7 == 192), jump to 37(+5)
35:[set-short-const] r3 = 1
36:[jump] jump to 38(+2)
37:[set-short-const] r3 = 2
38:[jump] jump to 2(-36)
39:[set-short-const] r3 = 0
40:[jump] jump to 2(-38)
41:[set-expr-const] r7 = r0 & 240
43:[jump-cond-expr-const] if !(r7 == 144), jump to 59(+16)
46:[jump-cond-expr-const] if !(r2 == 0), jump to 52(+6)
49:[set-assign-expr-const] r0 -= 16
51:[jump] jump to 59(+8)
52:[set-assign-expr-const] r0 &= 15
54:[write-const-string] write char \".\"
55:[write-register] write r0 (2 remaining)
56:[write-register] write r1 (1 remaining)
57:[write-register] write r2 (0 remaining)
58:[jump] jump to 2(-56)
59:[set-expr-const] r7 = r0 & 240
61:[jump-cond-expr-const] if !(r7 == 128), jump to 71(+10)
64:[set-assign-expr-const] r0 &= 15
66:[write-const-string] write char \".\"
67:[write-register] write r0 (2 remaining)
68:[write-register] write r1 (1 remaining)
69:[write-register] write r2 (0 remaining)
70:[jump] jump to 2(-68)
71:[jump] jump to 2(-69)
At EOF:
72:[end] end
")
:value nil :explanation
(arrays-of-different-length 1843 1842 "Out-buffer must be 2 times bigger than in-buffer.
Main-body:
2:[read-jump-cond-expr-const] read r0, if !(r0 < 128), jump to 22(+20)
5:[branch] jump to array[r3] of length 4
11 12 15 18 22
11:[jump] jump to 2(-9)
12:[set-register] r1 = r0
13:[set-register] r0 = r4
14:[jump] jump to 41(+27)
15:[set-register] r1 = r0
16:[set-short-const] r3 = 3
17:[jump] jump to 2(-15)
18:[set-register] r2 = r0
19:[set-short-const] r3 = 2
20:[set-register] r0 = r4
21:[jump] jump to 41(+20)
22:[jump-cond-expr-const] if !(r0 >= 248), jump to 26(+4)
25:[jump] jump to 41(+16)
26:[jump-cond-expr-const] if !(r0 < 240), jump to 39(+13)
29:[set-register] r4 = r0
30:[set-expr-const] r7 = r0 & 224
32:[jump-cond-expr-const] if !(r7 == 192), jump to 37(+5)
35:[set-short-const] r3 = 1
36:[jump] jump to 38(+2)
37:[set-short-const] r3 = 2
38:[jump] jump to 2(-36)
39:[set-short-const] r3 = 0
40:[jump] jump to 2(-38)
41:[set-expr-const] r7 = r0 & 240
43:[jump-cond-expr-const] if !(r7 == 144), jump to 59(+16)
46:[jump-cond-expr-const] if !(r2 == 0), jump to 52(+6)
49:[set-assign-expr-const] r0 -= 16
51:[jump] jump to 59(+8)
52:[set-assign-expr-const] r0 &= 15
54:[write-const-string] write char \".\"
55:[write-register] write r0 (2 remaining)
56:[write-register] write r1 (1 remaining)
57:[write-register] write r2 (0 remaining)
58:[jump] jump to 2(-56)
59:[set-expr-const] r7 = r0 & 240
61:[jump-cond-expr-const] if !(r7 == 128), jump to 71(+10)
64:[set-assign-expr-const] r0 &= 15
66:[write-const-string] write char \".\"
67:[write-register] write r0 (2 remaining)
68:[write-register] write r1 (1 remaining)
69:[write-register] write r2 (0 remaining)
70:[jump] jump to 2(-68)
71:[jump] jump to 2(-69)
At EOF:
72:[end] end
" "Out-buffer must be 2 times bigger than in-buffer.
Main-body:
2:[read-jump-cond-expr-const] read r0, if !(r0 < 128), jump to 22(+20)
5:[branch] jump to array[r3] of length 4
11 12 15 18 22
11:[jump] jump to 2(-9)
12:[set-register] r1 = r0
13:[set-register] r0 = r4
14:[jump] jump to 41(+27)
15:[set-register] r1 = r0
16:[set-short-const] r3 = 3
17:[jump] jump to 2(-15)
18:[set-register] r2 = r0
19:[set-short-const] r3 = 2
20:[set-register] r0 = r4
21:[jump] jump to 41(+20)
22:[jump-cond-expr-const] if !(r0 >= 248), jump to 26(+4)
25:[jump] jump to 41(+16)
26:[jump-cond-expr-const] if !(r0 < 240), jump to 39(+13)
29:[set-register] r4 = r0
30:[set-expr-const] r7 = r0 & 224
32:[jump-cond-expr-const] if !(r7 == 192), jump to 37(+5)
35:[set-short-const] r3 = 1
36:[jump] jump to 38(+2)
37:[set-short-const] r3 = 2
38:[jump] jump to 2(-36)
39:[set-short-const] r3 = 0
40:[jump] jump to 2(-38)
41:[set-expr-const] r7 = r0 & 240
43:[jump-cond-expr-const] if !(r7 == 144), jump to 59(+16)
46:[jump-cond-expr-const] if !(r2 == 0), jump to 52(+6)
49:[set-assign-expr-const] r0 -= 16
51:[jump] jump to 59(+8)
52:[set-assign-expr-const] r0 &= 15
54:[write-const-string] write char \".\"
55:[write-register] write r0 (2 remaining)
56:[write-register] write r1 (1 remaining)
57:[write-register] write r2 (0 remaining)
58:[jump] jump to 2(-56)
59:[set-expr-const] r7 = r0 & 240
61:[jump-cond-expr-const] if !(r7 == 128), jump to 71(+10)
64:[set-assign-expr-const] r0 &= 15
66:[write-const-string] write char \".\"
67:[write-register] write r0 (2 remaining)
68:[write-register] write r1 (1 remaining)
69:[write-register] write r2 (0 remaining)
70:[jump] jump to 2(-68)
71:[jump] jump to 2(-69)
At EOF:
72:[end] end
" first-mismatch-at 196)))
FAILED 3/7 ccl-dump-midi (0.001107 sec)
passed 4/7 ccl-dump-pgg (0.000431 sec)
passed 5/7 pgg-parse-crc24 (0.009028 sec)
passed 6/7 pgg-parse-crc24-dump (0.000449 sec)
passed 7/7 shift (0.000209 sec)
Ran 7 tests, 6 results as expected, 1 unexpected (2018-08-04 10:37:28-0600, 0.093933 sec)
1 unexpected results:
FAILED ccl-dump-midi
next prev parent reply other threads:[~2018-08-04 16:39 UTC|newest]
Thread overview: 205+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-07-13 4:26 bignum branch Tom Tromey
2018-07-13 7:38 ` Eli Zaretskii
2018-07-13 8:45 ` Robert Pluim
2018-07-13 9:51 ` Robert Pluim
2018-07-13 11:59 ` Eli Zaretskii
2018-07-13 13:31 ` Robert Pluim
2018-07-13 18:06 ` Tom Tromey
2018-07-13 12:04 ` Eli Zaretskii
2018-07-13 12:14 ` Eli Zaretskii
2018-07-13 13:02 ` Robert Pluim
2018-07-13 13:50 ` Eli Zaretskii
2018-07-15 16:29 ` Andy Moreton
2018-07-17 18:10 ` Robert Pluim
2018-07-17 18:24 ` Eli Zaretskii
2018-07-17 19:06 ` Eli Zaretskii
2018-07-17 20:00 ` Robert Pluim
2018-07-17 21:17 ` Clément Pit-Claudel
2018-07-18 1:01 ` Stefan Monnier
2018-07-18 9:28 ` Andy Moreton
2018-07-18 13:21 ` Robert Pluim
2018-07-18 13:32 ` Stefan Monnier
2018-07-18 16:01 ` Eli Zaretskii
2018-07-18 16:21 ` Robert Pluim
2018-07-18 16:47 ` Eli Zaretskii
2018-07-13 12:34 ` Robert Pluim
2018-07-13 14:28 ` Andy Moreton
2018-07-13 14:42 ` Eli Zaretskii
2018-07-13 14:53 ` Andy Moreton
2018-07-13 15:03 ` Eli Zaretskii
2018-07-13 15:30 ` Andy Moreton
2018-07-13 19:35 ` Andy Moreton
2018-07-14 16:20 ` Eli Zaretskii
2018-07-14 20:04 ` Andy Moreton
2018-07-15 13:46 ` Tom Tromey
2018-07-15 15:01 ` Eli Zaretskii
2018-07-16 12:19 ` Stefan Monnier
2018-07-16 14:40 ` Eli Zaretskii
2018-07-16 16:09 ` Stefan Monnier
2018-07-16 18:06 ` Eli Zaretskii
2018-07-16 18:32 ` Stefan Monnier
2018-07-16 18:42 ` Eli Zaretskii
2018-07-16 14:35 ` Tom Tromey
2018-07-16 22:28 ` Andy Moreton
2018-07-21 15:35 ` Andy Moreton
2018-07-22 16:43 ` Tom Tromey
2018-07-22 17:41 ` Andy Moreton
2018-08-03 0:43 ` Andy Moreton
2018-08-03 6:23 ` Eli Zaretskii
2018-08-03 9:01 ` Andy Moreton
2018-08-03 9:47 ` Eli Zaretskii
2018-08-03 10:07 ` Andy Moreton
2018-08-03 13:16 ` Eli Zaretskii
2018-08-03 14:05 ` Andy Moreton
2018-08-03 17:44 ` Eli Zaretskii
2018-08-03 19:54 ` Andy Moreton
2018-08-04 6:11 ` Eli Zaretskii
2018-08-04 11:14 ` Andy Moreton
2018-08-04 11:29 ` Eli Zaretskii
2018-08-03 20:17 ` Tom Tromey
2018-08-03 21:02 ` Paul Eggert
2018-08-03 21:19 ` Tom Tromey
2018-08-04 1:22 ` Paul Eggert
2018-08-04 6:18 ` Eli Zaretskii
2018-08-04 10:49 ` Achim Gratz
2018-08-04 11:07 ` Eli Zaretskii
2018-08-04 10:43 ` Achim Gratz
2018-08-04 16:33 ` Tom Tromey
2018-08-04 18:28 ` Achim Gratz
2018-08-04 6:20 ` Eli Zaretskii
2018-08-04 11:17 ` Andy Moreton
2018-08-04 16:41 ` Tom Tromey
2018-08-06 10:18 ` Robert Pluim
2018-08-07 0:36 ` Tom Tromey
2018-08-07 8:38 ` Andy Moreton
2018-08-08 0:25 ` Tom Tromey
2018-08-04 17:10 ` Tom Tromey
2018-08-03 17:30 ` Tom Tromey
2018-08-03 19:16 ` Andy Moreton
2018-08-04 6:07 ` Eli Zaretskii
2018-08-05 11:36 ` Andy Moreton
2018-08-05 15:18 ` Eli Zaretskii
2018-08-06 18:12 ` Andy Moreton
2018-08-07 0:41 ` Tom Tromey
2018-08-07 2:03 ` Paul Eggert
2018-08-07 3:59 ` Tom Tromey
2018-08-07 4:02 ` Tom Tromey
2018-08-07 11:22 ` Andy Moreton
2018-08-07 16:53 ` Paul Eggert
2018-08-07 17:12 ` Eli Zaretskii
2018-08-07 17:52 ` Paul Eggert
2018-08-08 0:23 ` Tom Tromey
2018-08-07 11:17 ` Andy Moreton
2018-08-08 0:26 ` Tom Tromey
2018-08-08 14:24 ` Andy Moreton
2018-08-08 16:35 ` Andy Moreton
2018-08-08 23:14 ` Tom Tromey
2018-08-09 2:33 ` Eli Zaretskii
2018-08-09 7:59 ` Michael Albinus
2018-08-09 13:01 ` Eli Zaretskii
2018-08-09 17:31 ` Paul Eggert
2018-08-09 18:32 ` Eli Zaretskii
2018-08-09 19:22 ` Stefan Monnier
2018-08-09 16:34 ` Tom Tromey
2018-08-09 18:28 ` Eli Zaretskii
2018-08-09 19:30 ` Tom Tromey
2018-08-08 23:37 ` Tom Tromey
2018-08-09 0:07 ` Andy Moreton
2018-08-09 2:03 ` Tom Tromey
2018-08-09 9:19 ` Andy Moreton
2018-08-09 20:49 ` Andy Moreton
2018-08-10 5:45 ` Eli Zaretskii
2018-08-10 7:43 ` Andy Moreton
2018-08-10 7:59 ` Paul Eggert
2018-08-10 9:48 ` Eli Zaretskii
2018-08-10 20:58 ` Paul Eggert
2018-08-11 7:08 ` Eli Zaretskii
2018-08-11 8:02 ` Paul Eggert
2018-08-11 10:50 ` Eli Zaretskii
2018-08-11 12:57 ` Stefan Monnier
2018-08-11 19:38 ` Paul Eggert
2018-08-10 11:18 ` Andy Moreton
2018-08-10 11:56 ` Andreas Schwab
2018-08-10 12:25 ` Eli Zaretskii
2018-08-10 12:27 ` Andy Moreton
2018-08-10 18:37 ` Achim Gratz
2018-08-10 12:26 ` Eli Zaretskii
2018-08-10 12:46 ` Andy Moreton
2018-08-10 9:46 ` Eli Zaretskii
2018-08-10 11:39 ` Andy Moreton
2018-08-10 12:33 ` Eli Zaretskii
2018-08-10 14:05 ` Andy Moreton
2018-08-10 19:57 ` Eli Zaretskii
2018-08-11 15:21 ` Andy Moreton
2018-08-11 15:25 ` Tom Tromey
2018-08-11 16:04 ` Eli Zaretskii
2018-08-11 16:16 ` Eli Zaretskii
2018-08-11 16:54 ` Andy Moreton
2018-08-11 17:34 ` Eli Zaretskii
2018-08-11 17:56 ` Andy Moreton
2018-08-11 18:10 ` Eli Zaretskii
2018-08-11 18:15 ` Andy Moreton
2018-08-11 19:08 ` Eli Zaretskii
2018-08-11 22:15 ` Andy Moreton
2018-08-12 18:54 ` Eli Zaretskii
2018-08-12 19:44 ` Andy Moreton
2018-08-13 15:02 ` Eli Zaretskii
2018-08-13 23:13 ` Andy Moreton
2018-08-14 14:55 ` Eli Zaretskii
2018-08-14 15:11 ` Andy Moreton
2018-08-14 15:19 ` Eli Zaretskii
2018-08-14 16:16 ` Andy Moreton
2018-08-15 17:01 ` Eli Zaretskii
2018-08-11 17:00 ` Andy Moreton
2018-08-10 15:25 ` Stefan Monnier
2018-08-10 16:45 ` Andy Moreton
2018-08-10 19:34 ` Eli Zaretskii
2018-08-09 3:49 ` Stefan Monnier
2018-08-09 9:21 ` Andy Moreton
2018-08-09 2:37 ` Eli Zaretskii
2018-08-03 20:13 ` Tom Tromey
2018-08-04 16:39 ` Tom Tromey [this message]
2018-08-04 17:24 ` Tom Tromey
2018-08-05 10:46 ` Andy Moreton
2018-08-05 18:59 ` Tom Tromey
2018-08-06 18:17 ` Andy Moreton
2018-07-15 15:00 ` Eli Zaretskii
2018-07-15 17:31 ` Paul Eggert
2018-07-15 18:27 ` Eli Zaretskii
2018-07-16 19:02 ` Paul Eggert
2018-07-17 2:42 ` Eli Zaretskii
2018-07-17 15:53 ` Paul Eggert
2018-07-17 17:03 ` Eli Zaretskii
2018-07-17 17:24 ` Paul Eggert
2018-07-17 17:38 ` Eli Zaretskii
2018-07-17 17:41 ` Paul Eggert
2018-07-17 17:53 ` Eli Zaretskii
2018-07-17 18:55 ` Paul Eggert
2018-07-17 19:04 ` Eli Zaretskii
2018-07-17 22:39 ` Paul Eggert
2018-07-18 2:41 ` Eli Zaretskii
2018-07-18 7:39 ` Paul Eggert
2018-07-18 11:14 ` Andy Moreton
2018-07-18 11:57 ` Paul Eggert
2018-07-18 13:09 ` Clément Pit-Claudel
2018-07-18 13:18 ` Stefan Monnier
2018-07-18 13:43 ` Clément Pit-Claudel
2018-07-18 14:06 ` Andy Moreton
2018-07-18 19:25 ` Achim Gratz
2018-07-18 20:41 ` Stefan Monnier
2018-07-19 2:36 ` Eli Zaretskii
2018-07-19 20:32 ` Paul Eggert
2018-07-20 20:02 ` Achim Gratz
2018-07-20 20:58 ` Paul Eggert
2018-07-20 21:48 ` Stefan Monnier
2018-07-22 19:49 ` Achim Gratz
2018-07-18 18:29 ` Paul Eggert
2018-07-18 11:10 ` Andy Moreton
2018-07-18 18:34 ` Paul Eggert
2018-07-25 21:02 ` Andy Moreton
2018-08-09 14:26 ` Charles A. Roelli
2018-08-09 15:17 ` Andy Moreton
2018-08-09 16:23 ` Charles A. Roelli
2018-08-09 16:25 ` Tom Tromey
2018-08-09 17:08 ` Andy Moreton
2018-08-09 19:29 ` Tom Tromey
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://www.gnu.org/software/emacs/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=87ftzum6ge.fsf@tromey.com \
--to=tom@tromey.com \
--cc=andrewjmoreton@gmail.com \
--cc=emacs-devel@gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/emacs.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).