Re: [PATCH v3 05/13] verification/rvgen: Convert... | linux-trace-kernel

[PATCH v3 00/13] rv: Convert rvgen to Lark · Nam Cao <hidden> · 2026-06-08
[PATCH v3 02/13] verification/rvgen: Introduce a parse tree for automata using Lark · Nam Cao <hidden> · 2026-06-08
[PATCH v3 03/13] verification/rvgen: Implement state and transition parser based on Lark · Nam Cao <hidden> · 2026-06-08
Re: [PATCH v3 03/13] verification/rvgen: Implement state and transition parser based on Lark · Gabriele Monaco <gmonaco@redhat.com> · 2026-06-09
Re: [PATCH v3 03/13] verification/rvgen: Implement state and transition parser based on Lark · Gabriele Monaco <gmonaco@redhat.com> · 2026-06-09
[PATCH v3 01/13] verification/rvgen: Switch LTL parser to Lark · Nam Cao <hidden> · 2026-06-08
[PATCH v3 04/13] verification/rvgen: Convert __fill_verify_invariants_func() to Lark · Nam Cao <hidden> · 2026-06-08
[PATCH v3 05/13] verification/rvgen: Convert __fill_setup_invariants_func() to Lark · Nam Cao <hidden> · 2026-06-08
Re: [PATCH v3 05/13] verification/rvgen: Convert __fill_setup_invariants_func() to Lark · Gabriele Monaco <gmonaco@redhat.com> · 2026-06-09
Re: [PATCH v3 05/13] verification/rvgen: Convert __fill_setup_invariants_func() to Lark · Nam Cao <hidden> · 2026-06-16
[PATCH v3 08/13] verification/rvgen: Simplify the generation for clock variables · Nam Cao <hidden> · 2026-06-08
Re: [PATCH v3 08/13] verification/rvgen: Simplify the generation for clock variables · Gabriele Monaco <gmonaco@redhat.com> · 2026-06-11
[PATCH v3 10/13] verification/rvgen: Switch __get_event_variables() to Lark · Nam Cao <hidden> · 2026-06-08
Re: [PATCH v3 10/13] verification/rvgen: Switch __get_event_variables() to Lark · Gabriele Monaco <gmonaco@redhat.com> · 2026-06-10
[PATCH v3 06/13] verification/rvgen: Convert __fill_verify_guards_func() to Lark · Nam Cao <hidden> · 2026-06-08
[PATCH v3 11/13] verification/rvgen: Switch __create_matrix() to Lark · Nam Cao <hidden> · 2026-06-08
Re: [PATCH v3 11/13] verification/rvgen: Switch __create_matrix() to Lark · Gabriele Monaco <gmonaco@redhat.com> · 2026-06-10
[PATCH v3 09/13] verification/rvgen: Delete __parse_constraint() · Nam Cao <hidden> · 2026-06-08
Re: [PATCH v3 09/13] verification/rvgen: Delete __parse_constraint() · Gabriele Monaco <gmonaco@redhat.com> · 2026-06-10
Re: [PATCH v3 09/13] verification/rvgen: Delete __parse_constraint() · Nam Cao <hidden> · 2026-06-17
Re: [PATCH v3 09/13] verification/rvgen: Delete __parse_constraint() · Gabriele Monaco <gmonaco@redhat.com> · 2026-06-18
Re: [PATCH v3 09/13] verification/rvgen: Delete __parse_constraint() · Nam Cao <hidden> · 2026-06-18
[PATCH v3 07/13] rv: Simplify hybrid automata monitors's clock variables · Nam Cao <hidden> · 2026-06-08
[PATCH v3 12/13] verification/rvgen: Remove the old state variables · Nam Cao <hidden> · 2026-06-08
Re: [PATCH v3 12/13] verification/rvgen: Remove the old state variables · Gabriele Monaco <gmonaco@redhat.com> · 2026-06-10
[PATCH v3 13/13] verification/rvgen: Remove dead code · Nam Cao <hidden> · 2026-06-08

Re: [PATCH v3 05/13] verification/rvgen: Convert __fill_setup_invariants_func() to Lark

From: Nam Cao <hidden>
Date: 2026-06-16 09:00:57
Also in: lkml

Gabriele Monaco [off-list ref] writes:

val is a string, doing val * 1000 repeats the string 1000 times in python!

Oh crap.

`h`	back out one level
`j`	next message in thread
`k`	previous message in thread
`l`	drill in
`Esc`	close help / fold thread tree
`?`	toggle this help