Pekka Enberg 9369f06699 Merge 'Initial support for wal_checkpoint pragma' from Sonny ...

Wire pragma wal_checkpoint to checkpoint infra
- add basic support for parsing and instruction emitting `pragma
wal_checkpoint;`
- checkpoint opcode for instruction
- checkpoint execution in `virtual machine`
- cli test
Part of #696.
Before
```
limbo> pragma wal_checkpoint;

  × Parse error: Not a valid pragma name
```
After
```
Enter ".help" for usage hints.
limbo> pragma wal_checkpoint;
0|0|0
```
```

Closes #694

2025-01-20 09:57:58 +02:00

..

builder.rs

Modified changes and total_changes scalarfuncs to be more like sqlite

2025-01-19 20:51:13 -05:00

datetime.rs

syntactic changes: remove unneeded mut, lifetimes,references that get instantaneously dereferenced and casts

2025-01-18 18:43:47 +01:00

explain.rs

Merge 'Initial support for wal_checkpoint pragma' from Sonny

2025-01-20 09:57:58 +02:00

insn.rs

Merge 'Initial support for wal_checkpoint pragma' from Sonny

2025-01-20 09:57:58 +02:00

likeop.rs

syntactic changes: replace explicit while let Some in iterator with for..in loop (see https://rust-lang.github.io/rust-clippy/master/index.html#while_let_on_iterator)

2025-01-18 19:20:11 +01:00

mod.rs

Merge 'Initial support for wal_checkpoint pragma' from Sonny

2025-01-20 09:57:58 +02:00

sorter.rs

Remove trait Cursor

2025-01-11 17:19:25 +02:00