On Wed, Jul 26, 2023 at 08:34:37AM +, Tage Johansson wrote:
>
> On 7/25/2023 8:03 PM, Stefan Hajnoczi wrote:
> > On Mon, Jul 24, 2023 at 09:04:15PM +0100, Richard W.M. Jones wrote:
> > > On Mon, Jul 24, 2023 at 03:22:56PM -0400, Stefan Hajnoczi wrote:
> > > > On Fri, Jul 21, 2023 at
On 7/25/2023 8:03 PM, Stefan Hajnoczi wrote:
On Mon, Jul 24, 2023 at 09:04:15PM +0100, Richard W.M. Jones wrote:
On Mon, Jul 24, 2023 at 03:22:56PM -0400, Stefan Hajnoczi wrote:
On Fri, Jul 21, 2023 at 11:37:09AM +0100, Richard W.M. Jones wrote:
On Fri, Jul 21, 2023 at 10:13:02AM +, Tage
On Tue, Jul 25, 2023 at 06:46:06AM +, Tage Johansson wrote:
>
> On 7/24/2023 9:22 PM, Stefan Hajnoczi wrote:
> > On Fri, Jul 21, 2023 at 11:37:09AM +0100, Richard W.M. Jones wrote:
> > > On Fri, Jul 21, 2023 at 10:13:02AM +, Tage Johansson wrote:
> > > > On 7/19/2023 4:35 PM, Richard W.M.
On Mon, Jul 24, 2023 at 09:04:15PM +0100, Richard W.M. Jones wrote:
> On Mon, Jul 24, 2023 at 03:22:56PM -0400, Stefan Hajnoczi wrote:
> > On Fri, Jul 21, 2023 at 11:37:09AM +0100, Richard W.M. Jones wrote:
> > > On Fri, Jul 21, 2023 at 10:13:02AM +, Tage Johansson wrote:
> > > >
> > > > On
On 7/24/2023 9:22 PM, Stefan Hajnoczi wrote:
On Fri, Jul 21, 2023 at 11:37:09AM +0100, Richard W.M. Jones wrote:
On Fri, Jul 21, 2023 at 10:13:02AM +, Tage Johansson wrote:
On 7/19/2023 4:35 PM, Richard W.M. Jones wrote:
On Wed, Jul 19, 2023 at 09:09:48AM +, Tage Johansson wrote:
On Mon, Jul 24, 2023 at 03:22:56PM -0400, Stefan Hajnoczi wrote:
> On Fri, Jul 21, 2023 at 11:37:09AM +0100, Richard W.M. Jones wrote:
> > On Fri, Jul 21, 2023 at 10:13:02AM +, Tage Johansson wrote:
> > >
> > > On 7/19/2023 4:35 PM, Richard W.M. Jones wrote:
> > > >On Wed, Jul 19, 2023 at
On Fri, Jul 21, 2023 at 11:37:09AM +0100, Richard W.M. Jones wrote:
> On Fri, Jul 21, 2023 at 10:13:02AM +, Tage Johansson wrote:
> >
> > On 7/19/2023 4:35 PM, Richard W.M. Jones wrote:
> > >On Wed, Jul 19, 2023 at 09:09:48AM +, Tage Johansson wrote:
> > >>Add a new field `cbkind` to the
On Fri, Jul 21, 2023 at 10:13:02AM +, Tage Johansson wrote:
>
> On 7/19/2023 4:35 PM, Richard W.M. Jones wrote:
> >On Wed, Jul 19, 2023 at 09:09:48AM +, Tage Johansson wrote:
> >>Add a new field `cbkind` to the `closure` type in generator/API.ml*.
> >>It tells how many times the closure
On 7/19/2023 4:35 PM, Richard W.M. Jones wrote:
On Wed, Jul 19, 2023 at 09:09:48AM +, Tage Johansson wrote:
Add a new field `cbkind` to the `closure` type in generator/API.ml*.
It tells how many times the closure may be invoked and for how long time
it might be used. More specifically, it
On Wed, Jul 19, 2023 at 09:09:48AM +, Tage Johansson wrote:
> Add a new field `cbkind` to the `closure` type in generator/API.ml*.
> It tells how many times the closure may be invoked and for how long time
> it might be used. More specifically, it can take any of these values:
> -
Add a new field `cbkind` to the `closure` type in generator/API.ml*.
It tells how many times the closure may be invoked and for how long time
it might be used. More specifically, it can take any of these values:
- `CBOnceCommand`: The closure may only be called once and shall not
be called after
11 matches
Mail list logo