unofficial mirror of emacs-devel@gnu.org 
 help / color / mirror / code / Atom feed
From: Yuan Fu <casouri@gmail.com>
To: Stefan Monnier <monnier@iro.umontreal.ca>
Cc: "Clément Pit-Claudel" <cpitclaudel@gmail.com>,
	emacs-devel <emacs-devel@gnu.org>
Subject: Re: How to add pseudo vector types
Date: Mon, 19 Jul 2021 11:16:01 -0400	[thread overview]
Message-ID: <DC82148D-FFEB-4B3E-B258-AC58D7124E16@gmail.com> (raw)
In-Reply-To: <jwv4kcseu43.fsf-monnier+emacs@gnu.org>

[-- Attachment #1: Type: text/plain, Size: 1080 bytes --]


> On Jul 17, 2021, at 1:30 PM, Stefan Monnier <monnier@iro.umontreal.ca> wrote:
> 
> In your benchmark , you give numbers for:
> - initial full-text parse (a bit above 1MB/s)
> - cost of update-without-reparse
> 
> but I think it would be nice to see the cost of the reparse after
> those updates (should be much faster than the initial parse).

I have done some more benchmark. Initially I thought tree-sitter doesn’t scale, because re-parsing my JSON file is unexpectedly slow, but then I retired with xdisp.c with tree-sitter's C parser, and that is really fast and matches my expectation of tree-sitter. So from now on I’ll use xdispf.c and the C parser for benchmarking. I guess the json parser is simply bad-written?

I benchmarked with a simple C program. The programs are in main-c.c and main-json.c, and the shell output of the measurements is in benchmark.3.txt.

JSON: Initial parse takes 1.2s, re-parse (with no change) takes 0.7s, uses 307MB memory
C: Initial parse takes 0.14s, re-parse (with no change) takes 0.009s, uses 20MB memory

Yuan


[-- Attachment #2: benchmark.3.txt --]
[-- Type: text/plain, Size: 2875 bytes --]

On benchmark.2.json (1.6M)

One full parse: 1.2s
________________________________________________________
Executed in    1.30 secs   fish           external
   usr time  1210.81 millis  142.00 micros  1210.67 millis
   sys time   87.40 millis  756.00 micros   86.65 millis


One full parse and a re-parse:
________________________________________________________
Executed in    2.40 secs   fish           external
   usr time    1.95 secs  154.00 micros    1.95 secs
   sys time    0.15 secs  763.00 micros    0.15 secs

Re-parse takes 1.95 - 1.21 = 0.74s

Memory usage of full-parse + re-parse:

        2.17 real         2.00 user         0.16 sys
           307269632  maximum resident set size
                   0  average shared memory size
                   0  average unshared data size
                   0  average unshared stack size
               75035  page reclaims
                   0  page faults
                   0  swaps
                   0  block input operations
                   0  block output operations
                   0  messages sent
                   0  messages received
                   0  signals received
                   0  voluntary context switches
                 463  involuntary context switches
         14674957821  instructions retired
          7838514409  cycles elapsed
           306745344  peak memory footprint

307MB for two trees that "shares internal structure".

\f

On xdisp.c (1.2M)

One full paese: 0.139s
________________________________________________________
Executed in  478.23 millis    fish           external
   usr time  139.69 millis  134.00 micros  139.55 millis
   sys time    8.05 millis  829.00 micros    7.22 millis

Full parse and re-parse:
________________________________________________________
Executed in  456.58 millis    fish           external
   usr time  148.23 millis  153.00 micros  148.08 millis
   sys time    9.08 millis  791.00 micros    8.29 millis

148 - 139 = 0.009s

Memory usage of full-parse + re-parse:

        0.16 real         0.15 user         0.00 sys
            20131840  maximum resident set size
                   0  average shared memory size
                   0  average unshared data size
                   0  average unshared stack size
                4932  page reclaims
                   0  page faults
                   0  swaps
                   0  block input operations
                   0  block output operations
                   0  messages sent
                   0  messages received
                   0  signals received
                   0  voluntary context switches
                  28  involuntary context switches
          1070525817  instructions retired
           581557699  cycles elapsed
            19271680  peak memory footprint

20MB

[-- Attachment #3: main-c.c --]
[-- Type: application/octet-stream, Size: 1180 bytes --]

#include <string.h>
#include <stdio.h>
#include <tree_sitter/api.h>

TSLanguage *tree_sitter_c();

struct buffer {
  char *buf;
  long len;
};

const char *read_file(void *payload, uint32_t byte_index,
                TSPoint position, uint32_t *bytes_read) {
  long len = ((struct buffer *) payload)->len;
  if (byte_index >= len) {
    *bytes_read = 0;
    return (char *) "";
  } else {
    *bytes_read = len - byte_index;
    return (char *) (((struct buffer *) payload)->buf) + byte_index;
  }
}

int main() {
  TSParser *parser = ts_parser_new();
  ts_parser_set_language(parser, tree_sitter_c());

  /* Copy the file into BUFFER. */
  FILE *file = fopen("xdisp.c", "rb");
  fseek(file, 0, SEEK_END);
  long length = ftell (file);
  fseek(file, 0, SEEK_SET);
  char *buffer = malloc (length);
  fread(buffer, 1, length, file);
  fclose (file);

  struct buffer buf = {buffer, length};
  TSInput input = {&buf, read_file, TSInputEncodingUTF8};
  
  TSTree *tree = ts_parser_parse(parser, NULL, input);
  TSTree *new_tree = ts_parser_parse(parser, tree, input);
  
  free(buffer);
  ts_tree_delete(tree);
  ts_tree_delete(new_tree);
  ts_parser_delete(parser);

  return 0;
}

[-- Attachment #4: main-json.c --]
[-- Type: application/octet-stream, Size: 1195 bytes --]

#include <string.h>
#include <stdio.h>
#include <tree_sitter/api.h>

TSLanguage *tree_sitter_json();

struct buffer {
  char *buf;
  long len;
};

const char *read_file(void *payload, uint32_t byte_index,
                TSPoint position, uint32_t *bytes_read) {
  long len = ((struct buffer *) payload)->len;
  if (byte_index >= len) {
    *bytes_read = 0;
    return (char *) "";
  } else {
    *bytes_read = len - byte_index;
    return (char *) (((struct buffer *) payload)->buf) + byte_index;
  }
}

int main() {
  TSParser *parser = ts_parser_new();
  ts_parser_set_language(parser, tree_sitter_json());

  /* Copy the file into BUFFER. */
  FILE *file = fopen("benchmark.3.json", "rb");
  fseek(file, 0, SEEK_END);
  long length = ftell (file);
  fseek(file, 0, SEEK_SET);
  char *buffer = malloc (length);
  fread(buffer, 1, length, file);
  fclose (file);

  struct buffer buf = {buffer, length};
  TSInput input = {&buf, read_file, TSInputEncodingUTF8};
  
  TSTree *tree = ts_parser_parse(parser, NULL, input);
  TSTree *new_tree = ts_parser_parse(parser, tree, input);
  
  free(buffer);
  ts_tree_delete(tree);
  ts_tree_delete(new_tree);
  ts_parser_delete(parser);

  return 0;
}

  parent reply	other threads:[~2021-07-19 15:16 UTC|newest]

Thread overview: 370+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2021-07-14 17:37 How to add pseudo vector types Yuan Fu
2021-07-14 17:44 ` Eli Zaretskii
2021-07-14 17:47 ` Stefan Monnier
2021-07-14 23:48   ` Yuan Fu
2021-07-15  0:26     ` Yuan Fu
2021-07-15  2:48       ` Yuan Fu
2021-07-15  6:39         ` Eli Zaretskii
2021-07-15 13:37           ` Fu Yuan
2021-07-15 14:18             ` Eli Zaretskii
2021-07-15 15:17               ` Yuan Fu
2021-07-15 15:50                 ` Eli Zaretskii
2021-07-15 16:19                   ` Yuan Fu
2021-07-15 16:26                     ` Yuan Fu
2021-07-15 16:50                       ` Eli Zaretskii
2021-07-15 16:48                     ` Eli Zaretskii
2021-07-15 18:23                       ` Yuan Fu
2021-07-16  7:30                         ` Eli Zaretskii
2021-07-16 14:27                           ` Yuan Fu
2021-07-16 14:33                             ` Stefan Monnier
2021-07-16 14:53                               ` Yuan Fu
2021-07-16 15:27                             ` Eli Zaretskii
2021-07-16 15:51                               ` Yuan Fu
2021-07-17  2:05                                 ` Yuan Fu
2021-07-17  2:23                                   ` Clément Pit-Claudel
2021-07-17  3:12                                     ` Yuan Fu
2021-07-17  7:18                                       ` Eli Zaretskii
2021-07-17  7:16                                     ` Eli Zaretskii
2021-07-20 20:36                                       ` Clément Pit-Claudel
2021-07-21 11:26                                         ` Eli Zaretskii
2021-07-21 13:38                                           ` Clément Pit-Claudel
2021-07-21 13:51                                             ` Eli Zaretskii
2021-07-22  4:59                                               ` Clément Pit-Claudel
2021-07-22  6:38                                                 ` Eli Zaretskii
2021-07-21 16:29                                         ` Stephen Leake
2021-07-21 16:54                                           ` Clément Pit-Claudel
2021-07-21 19:43                                             ` Eli Zaretskii
2021-07-24  2:57                                               ` Stephen Leake
2021-07-24  3:39                                                 ` Óscar Fuentes
2021-07-24  7:34                                                   ` Eli Zaretskii
2021-07-25 16:49                                                   ` Stephen Leake
2021-07-24  7:06                                                 ` Eli Zaretskii
2021-07-25 17:48                                                   ` Stephen Leake
2021-07-24  3:55                                               ` Clément Pit-Claudel
2021-07-21 21:54                                             ` Stephen Leake
2021-07-22  4:40                                               ` Clément Pit-Claudel
2021-07-17 17:30                                     ` Stefan Monnier
2021-07-17 17:54                                       ` Eli Zaretskii
2021-07-24 14:08                                         ` Stefan Monnier
2021-07-24 14:32                                           ` Eli Zaretskii
2021-07-24 15:10                                             ` Stefan Monnier
2021-07-24 15:51                                               ` Eli Zaretskii
2021-07-19 15:16                                       ` Yuan Fu [this message]
2021-07-22  3:10                                         ` Yuan Fu
2021-07-22  8:23                                           ` Eli Zaretskii
2021-07-22 13:47                                             ` Yuan Fu
2021-07-22 14:11                                               ` Óscar Fuentes
2021-07-22 17:09                                                 ` Eli Zaretskii
2021-07-22 19:29                                                   ` Óscar Fuentes
2021-07-23  5:21                                                     ` Eli Zaretskii
2021-07-24  9:38                                                     ` Stephen Leake
2021-07-22 17:00                                               ` Eli Zaretskii
2021-07-22 17:47                                                 ` Yuan Fu
2021-07-22 19:05                                                   ` Eli Zaretskii
2021-07-23 13:25                                                     ` Yuan Fu
2021-07-23 19:10                                                       ` Eli Zaretskii
2021-07-23 20:01                                                         ` Perry E. Metzger
2021-07-24  5:52                                                           ` Eli Zaretskii
2021-07-23 20:22                                                         ` Yuan Fu
2021-07-24  6:00                                                           ` Eli Zaretskii
2021-07-25 18:01                                                             ` Stephen Leake
2021-07-25 19:09                                                               ` Eli Zaretskii
2021-07-26  5:10                                                                 ` Stephen Leake
2021-07-26 12:56                                                                   ` Eli Zaretskii
2021-07-24 15:04                                                           ` Yuan Fu
2021-07-24 15:48                                                             ` Eli Zaretskii
2021-07-24 17:14                                                               ` Yuan Fu
2021-07-24 17:20                                                                 ` Eli Zaretskii
2021-07-24 17:40                                                                   ` Yuan Fu
2021-07-24 17:46                                                                     ` Eli Zaretskii
2021-07-24 18:06                                                                       ` Yuan Fu
2021-07-24 18:21                                                                         ` Eli Zaretskii
2021-07-24 18:55                                                                           ` Stefan Monnier
2021-07-25 18:44                                                                           ` Stephen Leake
2021-07-26 14:38                                                               ` Perry E. Metzger
2021-07-24 16:14                                                             ` Eli Zaretskii
2021-07-24 17:32                                                               ` Yuan Fu
2021-07-24 17:42                                                                 ` Eli Zaretskii
2021-07-23 14:07                                                 ` Stefan Monnier
2021-07-23 14:45                                                   ` Yuan Fu
2021-07-23 19:13                                                   ` Eli Zaretskii
2021-07-23 20:28                                                     ` Stefan Monnier
2021-07-24  6:02                                                       ` Eli Zaretskii
2021-07-24 14:19                                                         ` Stefan Monnier
2021-07-24  9:42                                                 ` Stephen Leake
2021-07-24 11:22                                                   ` Eli Zaretskii
2021-07-25 18:21                                                     ` Stephen Leake
2021-07-25 19:03                                                       ` Eli Zaretskii
2021-07-26 16:40                                                         ` Yuan Fu
2021-07-26 16:49                                                           ` Eli Zaretskii
2021-07-26 17:09                                                             ` Yuan Fu
2021-07-26 18:55                                                               ` Eli Zaretskii
2021-07-26 19:06                                                                 ` Yuan Fu
2021-07-26 19:19                                                                   ` Perry E. Metzger
2021-07-26 19:31                                                                     ` Eli Zaretskii
2021-07-26 19:20                                                                   ` Eli Zaretskii
2021-07-26 19:45                                                                     ` Yuan Fu
2021-07-26 19:57                                                                       ` Dmitry Gutov
2021-07-27  6:13                                                               ` Stephen Leake
2021-07-27 14:56                                                                 ` Yuan Fu
2021-07-28  3:40                                                                   ` Stephen Leake
2021-07-28 16:36                                                                     ` Yuan Fu
2021-07-28 16:41                                                                       ` Eli Zaretskii
2021-07-29 22:58                                                                         ` Stephen Leake
2021-07-30  6:00                                                                           ` Eli Zaretskii
2021-07-28 16:43                                                                       ` Eli Zaretskii
2021-07-28 17:47                                                                         ` Yuan Fu
2021-07-28 17:54                                                                           ` Eli Zaretskii
2021-07-28 18:46                                                                             ` Yuan Fu
2021-07-28 19:00                                                                               ` Eli Zaretskii
2021-07-29 14:35                                                                                 ` Yuan Fu
2021-07-29 15:28                                                                                   ` Eli Zaretskii
2021-07-29 15:57                                                                                     ` Yuan Fu
2021-07-29 16:21                                                                                       ` Eli Zaretskii
2021-07-29 16:59                                                                                         ` Yuan Fu
2021-07-29 17:38                                                                                           ` Eli Zaretskii
2021-07-29 17:55                                                                                             ` Yuan Fu
2021-07-29 18:37                                                                                               ` Eli Zaretskii
2021-07-29 18:57                                                                                                 ` Yuan Fu
2021-07-30  6:47                                                                                                   ` Eli Zaretskii
2021-07-30 14:17                                                                                                     ` Yuan Fu
2021-08-03 10:24                                                                                                       ` Fu Yuan
2021-08-03 11:42                                                                                                         ` Eli Zaretskii
2021-08-03 11:53                                                                                                           ` Fu Yuan
2021-08-03 12:21                                                                                                             ` Eli Zaretskii
2021-08-03 12:50                                                                                                               ` Fu Yuan
2021-08-03 13:03                                                                                                                 ` Eli Zaretskii
2021-08-03 13:08                                                                                                                   ` Fu Yuan
2021-08-03 11:47                                                                                                       ` Eli Zaretskii
2021-08-03 12:00                                                                                                         ` Fu Yuan
2021-08-03 12:24                                                                                                           ` Eli Zaretskii
2021-08-03 13:00                                                                                                             ` Fu Yuan
2021-08-03 13:28                                                                                                             ` Stefan Monnier
2021-08-03 13:34                                                                                                               ` Eli Zaretskii
2021-08-06  3:22                                                                                                                 ` Yuan Fu
2021-08-06  6:37                                                                                                                   ` Eli Zaretskii
2021-08-07  5:31                                                                                                                     ` Tree-sitter api (Was: Re: How to add pseudo vector types) Fu Yuan
2021-08-07  6:26                                                                                                                       ` Eli Zaretskii
2021-08-07 15:47                                                                                                                       ` Tree-sitter api Stefan Monnier
2021-08-07 18:40                                                                                                                         ` Theodor Thornhill
2021-08-07 19:53                                                                                                                           ` Stefan Monnier
2021-08-17  6:18                                                                                                                             ` Yuan Fu
2021-08-18 18:27                                                                                                                               ` Stephen Leake
2021-08-18 21:30                                                                                                                                 ` Yuan Fu
2021-08-20  0:12                                                                                                                                   ` [SPAM UNSURE] " Stephen Leake
2021-08-23  6:51                                                                                                                                 ` Yuan Fu
2021-08-24 14:59                                                                                                                                   ` [SPAM UNSURE] " Stephen Leake
2021-08-27  5:18                                                                                                                                     ` [SPAM UNSURE] " Yuan Fu
2021-08-31  0:48                                                                                                                                       ` Stephen Leake
2021-08-24 22:51                                                                                                                                   ` Stefan Monnier
2021-08-22  2:43                                                                                                                               ` Yuan Fu
2021-08-22  3:46                                                                                                                                 ` Yuan Fu
2021-08-22  6:16                                                                                                                                   ` Eli Zaretskii
2021-08-22  6:15                                                                                                                                 ` Eli Zaretskii
2021-08-25  0:21                                                                                                                               ` Stefan Monnier
2021-08-27  5:45                                                                                                                                 ` Yuan Fu
2021-09-03 19:16                                                                                                                                   ` Theodor Thornhill
     [not found]                                                                                                                                     ` <AF64EB2C-CCEC-4C98-8FE3-37697BEC9098@gmail.com>
2021-09-04 12:49                                                                                                                                       ` Tuấn-Anh Nguyễn
2021-09-04 13:04                                                                                                                                         ` Eli Zaretskii
2021-09-04 14:49                                                                                                                                           ` Tuấn-Anh Nguyễn
2021-09-04 15:00                                                                                                                                             ` Eli Zaretskii
2021-09-05 16:34                                                                                                                                               ` Tuấn-Anh Nguyễn
2021-09-05 16:45                                                                                                                                                 ` Eli Zaretskii
2021-09-04 15:31                                                                                                                                         ` Yuan Fu
2021-09-05 16:45                                                                                                                                           ` Tuấn-Anh Nguyễn
2021-09-05 20:19                                                                                                                                             ` Yuan Fu
2021-09-06  0:03                                                                                                                                               ` Tuấn-Anh Nguyễn
2021-09-06  0:23                                                                                                                                                 ` Yuan Fu
2021-09-06  5:33                                                                                                                                                   ` Eli Zaretskii
2021-09-07 15:38                                                                                                                                                     ` Tuấn-Anh Nguyễn
2021-09-07 16:16                                                                                                                                                       ` Eli Zaretskii
2021-09-08  3:06                                                                                                                                                         ` Yuan Fu
2021-09-10  2:06                                                                                                                                                           ` Yuan Fu
2021-09-10  6:32                                                                                                                                                             ` Eli Zaretskii
2021-09-10 19:57                                                                                                                                                               ` Yuan Fu
2021-09-11  3:41                                                                                                                                                                 ` Tuấn-Anh Nguyễn
2021-09-11  4:11                                                                                                                                                                   ` Yuan Fu
2021-09-11  7:23                                                                                                                                                                     ` Tuấn-Anh Nguyễn
2021-09-11 19:02                                                                                                                                                                       ` Yuan Fu
2021-09-11  5:51                                                                                                                                                                 ` Eli Zaretskii
2021-09-11 19:00                                                                                                                                                                   ` Yuan Fu
2021-09-11 19:14                                                                                                                                                                     ` Eli Zaretskii
2021-09-11 19:17                                                                                                                                                                       ` Eli Zaretskii
2021-09-11 20:29                                                                                                                                                                         ` Yuan Fu
2021-09-12  5:39                                                                                                                                                                           ` Eli Zaretskii
2021-09-13  4:15                                                                                                                                                                             ` Yuan Fu
2021-09-13 11:47                                                                                                                                                                               ` Eli Zaretskii
2021-09-13 18:01                                                                                                                                                                                 ` Yuan Fu
2021-09-13 18:07                                                                                                                                                                                   ` Eli Zaretskii
2021-09-13 18:29                                                                                                                                                                                     ` Yuan Fu
2021-09-13 18:37                                                                                                                                                                                       ` Eli Zaretskii
2021-09-14  0:13                                                                                                                                                                                         ` Yuan Fu
2021-09-14  2:29                                                                                                                                                                                           ` Eli Zaretskii
2021-09-14  4:27                                                                                                                                                                                             ` Yuan Fu
2021-09-14 11:29                                                                                                                                                                                               ` Eli Zaretskii
2021-09-15  0:50                                                                                                                                                                                                 ` Yuan Fu
2021-09-15  6:15                                                                                                                                                                                                   ` Eli Zaretskii
2021-09-15 15:56                                                                                                                                                                                                     ` Yuan Fu
2021-09-15 16:02                                                                                                                                                                                                       ` Eli Zaretskii
2021-09-15 18:19                                                                                                                                                                                                         ` Stefan Monnier
2021-09-15 18:48                                                                                                                                                                                                           ` Eli Zaretskii
2021-09-16 21:46                                                                                                                                                                                                             ` Yuan Fu
2021-09-17  6:06                                                                                                                                                                                                               ` Eli Zaretskii
2021-09-17  6:56                                                                                                                                                                                                                 ` Yuan Fu
2021-09-17  7:38                                                                                                                                                                                                                   ` Eli Zaretskii
2021-09-17 20:30                                                                                                                                                                                                                     ` Yuan Fu
2021-09-18  2:22                                                                                                                                                                                                                       ` Tuấn-Anh Nguyễn
2021-09-18  6:38                                                                                                                                                                                                                         ` Yuan Fu
2021-09-18 12:33                                                                                                                                                                                                                     ` Stephen Leake
2021-09-20 16:48                                                                                                                                                                                                                       ` Yuan Fu
2021-09-20 18:48                                                                                                                                                                                                                         ` Eli Zaretskii
2021-09-20 19:09                                                                                                                                                                                                                           ` John Yates
2021-09-21 22:20                                                                                                                                                                                                                             ` Yuan Fu
2021-09-27  4:42                                                                                                                                                                                                                               ` Yuan Fu
2021-09-27  5:37                                                                                                                                                                                                                                 ` Eli Zaretskii
2021-09-27 19:17                                                                                                                                                                                                                                 ` Stefan Monnier
2021-09-28  5:33                                                                                                                                                                                                                                   ` Yuan Fu
2021-09-28  7:02                                                                                                                                                                                                                                     ` Eli Zaretskii
2021-09-28 16:10                                                                                                                                                                                                                                       ` Yuan Fu
2021-09-28 16:28                                                                                                                                                                                                                                         ` Eli Zaretskii
2021-12-13  6:54                                                                                                                                                                                                                                           ` Yuan Fu
2021-12-13 12:56                                                                                                                                                                                                                                             ` Eli Zaretskii
2021-12-14  7:19                                                                                                                                                                                                                                               ` Yuan Fu
2021-12-17  0:14                                                                                                                                                                                                                                                 ` Yuan Fu
2021-12-17  7:15                                                                                                                                                                                                                                                   ` Eli Zaretskii
2021-12-18 14:45                                                                                                                                                                                                                                               ` Philipp
2021-12-18 14:57                                                                                                                                                                                                                                                 ` Eli Zaretskii
2021-12-19  2:51                                                                                                                                                                                                                                                   ` Yuan Fu
2021-12-19  7:11                                                                                                                                                                                                                                                     ` Eli Zaretskii
2021-12-19  7:52                                                                                                                                                                                                                                                       ` Yuan Fu
2021-12-24 10:04                                                                                                                                                                                                                                                         ` Yoav Marco
2021-12-24 10:21                                                                                                                                                                                                                                                           ` Yoav Marco
2021-12-25  8:31                                                                                                                                                                                                                                                             ` Yuan Fu
2021-12-25 10:13                                                                                                                                                                                                                                                               ` Eli Zaretskii
2021-12-26  9:50                                                                                                                                                                                                                                                                 ` Yuan Fu
2021-12-26 10:23                                                                                                                                                                                                                                                                   ` Eli Zaretskii
2021-12-30  0:59                                                                                                                                                                                                                                                                     ` Yuan Fu
2021-12-30  6:35                                                                                                                                                                                                                                                                       ` Eli Zaretskii
2022-01-04 18:31                                                                                                                                                                                                                                                                         ` Yuan Fu
2022-03-13  6:22                                                                                                                                                                                                                                                                           ` Yuan Fu
2022-03-13  6:25                                                                                                                                                                                                                                                                             ` Yuan Fu
2022-03-13  7:13                                                                                                                                                                                                                                                                               ` Po Lu
2022-03-14  0:23                                                                                                                                                                                                                                                                                 ` Yuan Fu
2022-03-14  1:10                                                                                                                                                                                                                                                                                   ` Po Lu
2022-03-14  3:31                                                                                                                                                                                                                                                                                   ` Eli Zaretskii
2022-03-14  3:43                                                                                                                                                                                                                                                                                     ` Yuan Fu
2022-03-29 16:40                                                                                                                                                                                                                                                                               ` Eli Zaretskii
2022-03-30  0:35                                                                                                                                                                                                                                                                                 ` Po Lu
2022-03-30  0:49                                                                                                                                                                                                                                                                                 ` Yuan Fu
2022-03-30  0:51                                                                                                                                                                                                                                                                                   ` Yuan Fu
2022-03-30  2:13                                                                                                                                                                                                                                                                                   ` Po Lu
2022-03-30  3:01                                                                                                                                                                                                                                                                                     ` Yuan Fu
2022-03-30  3:10                                                                                                                                                                                                                                                                                       ` Vitaly Ankh
2022-03-30  3:24                                                                                                                                                                                                                                                                                         ` Yuan Fu
2022-03-30  3:39                                                                                                                                                                                                                                                                                       ` Po Lu
2022-03-30  4:29                                                                                                                                                                                                                                                                                         ` Yuan Fu
2022-03-30  5:19                                                                                                                                                                                                                                                                                           ` Phil Sainty
2022-03-30  5:39                                                                                                                                                                                                                                                                                             ` Phil Sainty
2022-03-30 13:46                                                                                                                                                                                                                                                                                         ` João Távora
2022-03-30  2:31                                                                                                                                                                                                                                                                                   ` Eli Zaretskii
2022-03-30  2:59                                                                                                                                                                                                                                                                                     ` Yuan Fu
2022-03-30  9:04                                                                                                                                                                                                                                                                                       ` Lars Ingebrigtsen
2022-03-30 11:48                                                                                                                                                                                                                                                                                         ` Daniel Martín
2022-03-30 15:00                                                                                                                                                                                                                                                                                           ` [External] : " Drew Adams
2022-03-31  4:27                                                                                                                                                                                                                                                                                       ` Richard Stallman
2022-03-31  5:36                                                                                                                                                                                                                                                                                         ` Eli Zaretskii
2022-03-31 11:13                                                                                                                                                                                                                                                                                           ` Lars Ingebrigtsen
2022-03-31 12:46                                                                                                                                                                                                                                                                                             ` John Yates
2022-03-31 17:37                                                                                                                                                                                                                                                                                               ` Phil Sainty
2022-04-01  1:56                                                                                                                                                                                                                                                                                                 ` Po Lu
2022-04-01  6:36                                                                                                                                                                                                                                                                                                   ` Eli Zaretskii
2022-04-01  7:56                                                                                                                                                                                                                                                                                                     ` Po Lu
2022-04-01 10:45                                                                                                                                                                                                                                                                                                       ` Eli Zaretskii
2022-03-31 17:58                                                                                                                                                                                                                                                                                               ` Stefan Monnier
2022-04-04 10:29                                                                                                                                                                                                                                                                                                 ` Jostein Kjønigsen
2022-03-31 16:23                                                                                                                                                                                                                                                                                           ` [External] : " Drew Adams
2022-03-31 19:33                                                                                                                                                                                                                                                                                           ` Filipp Gunbin
2022-03-31 16:35                                                                                                                                                                                                                                                                                 ` Yuan Fu
2022-03-31 23:00                                                                                                                                                                                                                                                                                 ` Yuan Fu
2022-03-31 23:53                                                                                                                                                                                                                                                                                   ` Yuan Fu
2022-04-01  6:20                                                                                                                                                                                                                                                                                   ` Eli Zaretskii
2022-04-01 16:48                                                                                                                                                                                                                                                                                     ` Yuan Fu
2022-04-01 17:59                                                                                                                                                                                                                                                                                       ` Eli Zaretskii
2022-04-02  6:26                                                                                                                                                                                                                                                                                         ` Yuan Fu
2022-04-04  7:38                                                                                                                                                                                                                                                                                           ` Robert Pluim
2022-04-04 20:41                                                                                                                                                                                                                                                                                             ` Yuan Fu
2022-04-20 20:14                                                                                                                                                                                                                                                                                               ` Theodor Thornhill
2022-04-21  1:36                                                                                                                                                                                                                                                                                                 ` Yuan Fu
2022-04-21  5:48                                                                                                                                                                                                                                                                                                   ` Eli Zaretskii
2022-04-21 11:37                                                                                                                                                                                                                                                                                                     ` Lars Ingebrigtsen
2022-04-21 12:10                                                                                                                                                                                                                                                                                                       ` Theodor Thornhill
2022-04-22  2:54                                                                                                                                                                                                                                                                                                         ` Yuan Fu
2022-04-22  4:58                                                                                                                                                                                                                                                                                                           ` Theodor Thornhill
2022-04-22  7:08                                                                                                                                                                                                                                                                                                             ` Yuan Fu
2022-04-22  8:02                                                                                                                                                                                                                                                                                                               ` Theodor Thornhill
2022-04-22 11:41                                                                                                                                                                                                                                                                                                                 ` Theodor Thornhill
2021-12-18 13:39                                                                                                                                                                                                                                             ` Daniel Martín
2021-12-19  2:48                                                                                                                                                                                                                                               ` Yuan Fu
2021-09-17 12:11                                                                                                                                                                                                                   ` Tuấn-Anh Nguyễn
2021-09-17 13:14                                                                                                                                                                                                                     ` Stefan Monnier
2021-09-17 13:39                                                                                                                                                                                                                       ` Tuấn-Anh Nguyễn
2021-09-17 17:18                                                                                                                                                                                                                         ` Stefan Monnier
2021-09-18  2:16                                                                                                                                                                                                                           ` Tuấn-Anh Nguyễn
2021-09-17 12:23                                                                                                                                                                                                                 ` Stefan Monnier
2021-09-17 13:03                                                                                                                                                                                                                   ` Tuấn-Anh Nguyễn
2021-09-04 15:14                                                                                                                                       ` Tuấn-Anh Nguyễn
2021-09-04 15:33                                                                                                                                         ` Eli Zaretskii
2021-09-05 16:48                                                                                                                                           ` Tuấn-Anh Nguyễn
2021-09-04 15:39                                                                                                                                         ` Yuan Fu
2021-09-05 21:15                                                                                                                                       ` Theodor Thornhill
2021-09-05 23:58                                                                                                                                         ` Yuan Fu
2021-08-08 22:56                                                                                                                         ` Yuan Fu
2021-08-08 23:24                                                                                                                           ` Stefan Monnier
2021-08-09  0:06                                                                                                                             ` Yuan Fu
2021-07-29 23:06                                                                               ` How to add pseudo vector types Stephen Leake
2021-07-30  0:35                                                                               ` Richard Stallman
2021-07-30  0:46                                                                                 ` Alexandre Garreau
2021-07-30  6:35                                                                                 ` Eli Zaretskii
2021-07-29 23:01                                                                             ` Stephen Leake
2021-07-26 18:32                                                             ` chad
2021-07-26 18:44                                                               ` Perry E. Metzger
2021-07-26 19:13                                                                 ` Eli Zaretskii
2021-07-26 19:09                                                               ` Eli Zaretskii
2021-07-26 19:48                                                                 ` chad
2021-07-26 20:05                                                                   ` Óscar Fuentes
2021-07-26 21:30                                                                     ` Clément Pit-Claudel
2021-07-26 21:46                                                                       ` Óscar Fuentes
2021-07-27 14:02                                                                     ` Eli Zaretskii
2021-07-27 13:59                                                                   ` Eli Zaretskii
2021-07-26 23:40                                                           ` Ergus
2021-07-27 14:49                                                             ` Yuan Fu
2021-07-27 16:50                                                               ` Ergus
2021-07-27 16:59                                                                 ` Eli Zaretskii
2021-07-28  3:45                                                                   ` Stephen Leake
2021-07-24  9:33                                               ` Stephen Leake
2021-07-24 22:54                                                 ` Dmitry Gutov
2021-07-20 16:32                                       ` Stephen Leake
2021-07-20 16:48                                         ` Eli Zaretskii
2021-07-20 17:38                                           ` Stefan Monnier
2021-07-20 17:36                                         ` Stefan Monnier
2021-07-20 18:05                                           ` Clément Pit-Claudel
2021-07-21 16:02                                           ` Stephen Leake
2021-07-21 17:16                                             ` Stefan Monnier
2021-07-20 18:04                                         ` Clément Pit-Claudel
2021-07-20 18:24                                           ` Eli Zaretskii
2021-07-21 16:54                                           ` [SPAM UNSURE] " Stephen Leake
2021-07-21 17:12                                             ` Clément Pit-Claudel
2021-07-21 19:49                                               ` Eli Zaretskii
2021-07-22  5:09                                                 ` Clément Pit-Claudel
2021-07-22  6:44                                                   ` Eli Zaretskii
2021-07-22 14:43                                                     ` Clément Pit-Claudel
2021-07-17  6:56                                   ` Eli Zaretskii
2021-07-20 16:28                           ` Stephen Leake
2021-07-20 16:27                         ` Stephen Leake
2021-07-20 16:25                       ` Stephen Leake
2021-07-20 16:45                         ` Eli Zaretskii
2021-07-21 15:49                           ` Stephen Leake
2021-07-21 19:37                             ` Eli Zaretskii
2021-07-24  2:00                               ` Stephen Leake
2021-07-24  6:51                                 ` Eli Zaretskii
2021-07-25 16:16                                   ` Stephen Leake
     [not found] <casouri/emacs/issues/5@github.com>

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=DC82148D-FFEB-4B3E-B258-AC58D7124E16@gmail.com \
    --to=casouri@gmail.com \
    --cc=cpitclaudel@gmail.com \
    --cc=emacs-devel@gnu.org \
    --cc=monnier@iro.umontreal.ca \
    /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).