Commit Graph

  • 90d9e5cc71 Merge 'stress: reopen db / reconnect to db every now and then' from Jussi Saurio Pekka Enberg 2025-06-25 12:57:07 +03:00
  • b1f5dd8b3e Merge 'sim: add Fault::ReopenDatabase' from Jussi Saurio Pekka Enberg 2025-06-25 12:57:02 +03:00
  • 1221cab41e Merge 'Fix database header initialization' from Diego Reis Pekka Enberg 2025-06-25 12:56:56 +03:00
  • 1e28e44e4e use uv run instead of uvx pedrocarlo 2025-06-24 15:36:29 -03:00
  • 480f0a04b5 make clippy happy about mutating database_size immediately after default construction Jussi Saurio 2025-06-24 19:33:51 +03:00
  • f21cde9501 post-rebase fixes Jussi Saurio 2025-06-24 00:01:39 +03:00
  • f306547ff3 booleans are hard Jussi Saurio 2025-06-23 23:40:30 +03:00
  • 920e88a6a9 clippy Jussi Saurio 2025-06-23 23:35:36 +03:00
  • 1921fcb943 Add comments to clarify current behaviour Diego Reis 2025-06-18 18:47:10 -03:00
  • 6ae196d7b3 Add mutex to allocating page1 Diego Reis 2025-06-18 16:06:55 -03:00
  • a1b7b3c6f6 Fix clippy complains Diego Reis 2025-06-18 13:10:09 -03:00
  • a5d71a65be clippy doesnt get it Jussi Saurio 2025-06-18 13:56:17 +03:00
  • 133d498724 Implement a header_accessor module so that DatabaseHeader structs arent initialized on every access Jussi Saurio 2025-06-18 12:17:48 +03:00
  • ad20e306f7 dont panic on cache clear error Jussi Saurio 2025-06-18 10:57:06 +03:00
  • 2dc9b1cf7f Fix: use either db_size>0 or wal max frame>0 to decide when to read schema Jussi Saurio 2025-06-18 10:40:54 +03:00
  • ba3bfa058d Delete unused stuff Jussi Saurio 2025-06-18 09:18:25 +03:00
  • 6091d5abd7 Add todo comment Jussi Saurio 2025-06-18 09:15:33 +03:00
  • fcc070c27e Remove unused method Jussi Saurio 2025-06-18 09:08:50 +03:00
  • 8d4ed110c0 alloc page1 on first tx (read OR write) - otherwise e.g. select * from sqlite_schema panics Jussi Saurio 2025-06-18 08:19:04 +03:00
  • d05030ed64 fix autovacuum test Jussi Saurio 2025-06-18 08:04:05 +03:00
  • 4b5151d2c6 Fix not setting Database::maybe_shared_wal to Some after creating WAL Jussi Saurio 2025-06-18 07:52:12 +03:00
  • 43aa2577cd Implement size for JS and WASM storages Diego Reis 2025-06-17 10:54:19 -03:00
  • af193ef76a Move first page allocation logic to begin_write_tx Diego Reis 2025-06-17 10:50:25 -03:00
  • 62e52e0148 only initialize pager in empty state when no WAL and db file size 0 Jussi Saurio 2025-06-17 14:39:38 +03:00
  • acafe71d9e Dont allocate fresh page1 if it's in the WAL Jussi Saurio 2025-06-17 13:53:54 +03:00
  • dc13d88900 Read schema from nonempty WAL if present Jussi Saurio 2025-06-17 13:52:52 +03:00
  • 9aae1ff00a sim: add Fault::ReopenDatabase Jussi Saurio 2025-06-17 11:51:28 +03:00
  • f0f9ad4844 core: Get rid of maybe_init_database_file Diego Reis 2025-06-17 02:50:07 -03:00
  • ce73025202 core: Only actually allocate page1 on first write transaction Diego Reis 2025-06-17 02:11:26 -03:00
  • 2f33c799e3 core: Set default database_size to 0 Diego Reis 2025-06-17 02:10:23 -03:00
  • 75fdbd73c6 core: Add count of pages in Pager and fix page1 initialization Diego Reis 2025-06-17 02:10:05 -03:00
  • 9c7330c01c core: Add size method to DatabaseStorage trait Diego Reis 2025-06-17 02:08:22 -03:00
  • cc2e14b11c Read page 1 from pager always, no separate db_header Jussi Saurio 2025-06-13 13:09:09 +03:00
  • 4999d0ed95 stress: reopen db / reconnect to db every now and then Jussi Saurio 2025-06-24 16:34:13 +03:00
  • f01516378b Merge 'Add Pedro to email recipients for antithesis' from Pedro Muniz Pekka Enberg 2025-06-24 16:12:31 +03:00
  • 2313c33015 Merge 'bindings/rust: Implement Debug for Connection' from Charlie Pekka Enberg 2025-06-24 16:11:54 +03:00
  • b1cd7229c7 Merge 'sim: when loading bug, dont panic if there are no runs' from Jussi Saurio Pekka Enberg 2025-06-24 16:07:52 +03:00
  • 69d8162e61 Merge 'sim: fix singlequote escaping and unescaping' from Jussi Saurio Pekka Enberg 2025-06-24 16:07:43 +03:00
  • 28c2d24931 antithesis: Relax connect failure check Pekka Enberg 2025-06-24 15:47:21 +03:00
  • 73db450b8b sim: when loading bug, dont panic if there are no runs Jussi Saurio 2025-06-24 15:46:15 +03:00
  • cff96964df Fix singlequote escaping and unescaping Jussi Saurio 2025-06-24 14:58:25 +03:00
  • 6c8aa4e043 antithesis: Run experiment for 60 minutes Pekka Enberg 2025-06-24 14:16:09 +03:00
  • f8c2c7387f antithesis: Reduce number of stress iterations Pekka Enberg 2025-06-24 14:15:46 +03:00
  • 0a94ee5572 Merge 'Fix btree balance and seek after overwritten cell overflows' from Jussi Saurio Jussi Saurio 2025-06-24 13:29:53 +03:00
  • 27b2c2530b test/stress: only do integrity_check every 100 queries Jussi Saurio 2025-06-24 13:13:31 +03:00
  • bdfbb8fe54 Fix erroneous early return Jussi Saurio 2025-06-24 11:26:00 +03:00
  • 5878724d0e fix/btree: balance and seek after overwritten cell overflows Jussi Saurio 2025-06-24 11:08:22 +03:00
  • a99833ba8d Merge 'Bring back some merge conflicts code' from Pedro Muniz Pekka Enberg 2025-06-24 09:07:32 +03:00
  • 13a55948d5 bring back some merge conflicts code pedrocarlo 2025-06-23 19:58:43 -03:00
  • e2d8d11738 Merge 'chore: fix clippy warnings' from Nils Koch Jussi Saurio 2025-06-23 23:22:21 +03:00
  • 4c7fcafe77 ci: fail on all clippy warnings Nils Koch 2025-06-22 18:41:04 +01:00
  • 2827b86917 chore: fix clippy warnings Nils Koch 2025-06-13 21:20:26 +01:00
  • 1a0d4f500f Merge 'simulator: integrity check per query' from Pedro Muniz Pekka Enberg 2025-06-23 20:17:32 +03:00
  • 8686d9bb49 Merge 'don't emit Delete for UPDATE statement' from Pere Diaz Bou Pekka Enberg 2025-06-23 20:16:16 +03:00
  • 404b5fad8a clippy Pere Diaz Bou 2025-06-23 18:19:44 +02:00
  • b7fd4f1e18 update nchanges on op_insert Pere Diaz Bou 2025-06-23 18:11:58 +02:00
  • 43d8799f55 Merge 'stress: Improve progress reporting' from Pekka Enberg Pekka Enberg 2025-06-23 17:48:55 +03:00
  • c0fd559f92 Merge 'Fix: add uv sync to all packages for pytest github action' from Pedro Muniz Pekka Enberg 2025-06-23 17:48:44 +03:00
  • 963d7b7daf stress: Improve progress reporting Pekka Enberg 2025-06-22 13:11:08 +03:00
  • c7e9b3a546 don't emit Delete for UPDATE statement Pere Diaz Bou 2025-06-23 15:44:34 +02:00
  • c9b11dd173 simulator integrity check per query pedrocarlo 2025-06-22 21:47:17 -03:00
  • efc1516d7b add uv sync to all packages pedrocarlo 2025-06-22 15:45:07 -03:00
  • 3bb0374401 impl Debug for Connection CM-IV 2025-06-22 11:41:07 -05:00
  • b07e95b892 Merge 'Fix CI errors' from Piotr Rżysko Pekka Enberg 2025-06-22 09:24:12 +03:00
  • ddd5417978 Add sqlite_test_ext to Dockerfile.antithesis Piotr Rzysko 2025-06-21 19:57:03 +02:00
  • 0f3efe2fbb Copy sqlite_test_ext to Dockerfile.simulator Piotr Rzysko 2025-06-21 19:50:19 +02:00
  • dda1ee86e2 Fix ruff errors Piotr Rzysko 2025-06-21 19:31:51 +02:00
  • d0f9df1f97 Merge 'Improve extension compatibility testing' from Piotr Rżysko Jussi Saurio 2025-06-21 19:09:33 +03:00
  • a549f2971d Merge 'Ephemeral Table in Update' from Pedro Muniz Jussi Saurio 2025-06-21 19:07:32 +03:00
  • cac23d5b31 Merge 'Fix infinite aggregation loop when sorting is not required' from Piotr Rżysko Jussi Saurio 2025-06-21 19:06:44 +03:00
  • 64b83a45e8 Fix infinite aggregation loop when sorting is not required Piotr Rzysko 2025-06-21 10:03:10 +02:00
  • 9ae4f6ec40 fix merge conflict problems pedrocarlo 2025-06-20 16:38:10 -03:00
  • 6596ee28a8 introduce EphemeralTable query destination pedrocarlo 2025-06-16 11:39:15 -03:00
  • e53a290a48 move ephemeral table logic to update plan and reuse select logic for ephemeral index pedrocarlo 2025-06-15 19:35:39 -03:00
  • b3351dc709 tests + adjustment to halt error message pedrocarlo 2025-06-14 15:43:47 -03:00
  • 9048ad398b modify loop functions to accomodate for ephemeral tables pedrocarlo 2025-06-14 14:55:05 -03:00
  • eda9d20a0b tests pedrocarlo 2025-06-12 19:59:13 -03:00
  • 74beac5ea8 ephemeral table for update when rowid is being update pedrocarlo 2025-06-12 19:59:05 -03:00
  • edc6eb9a36 Merge 'Use UV more in python related scripts and actions' from Pedro Muniz Jussi Saurio 2025-06-20 22:04:56 +03:00
  • f396528d53 Merge 'Fix DELETE not emitting constant WhereTerms' from Pedro Muniz Jussi Saurio 2025-06-20 22:00:32 +03:00
  • 8b8f43334e remove python makefile as it is obsolete with UV pedrocarlo 2025-06-19 17:00:51 -03:00
  • 80ccca8827 ruff lint fix pedrocarlo 2025-06-19 16:59:49 -03:00
  • 50c8b2ca2e extract ruff lint rules to workspace pedrocarlo 2025-06-19 16:51:00 -03:00
  • 46135e43ce use uv in github actions pedrocarlo 2025-06-19 16:37:49 -03:00
  • b21b6db448 adjust project config to use UV pedrocarlo 2025-06-19 16:15:15 -03:00
  • c69047106c Merge 'Implement RowData opcode' from meteorgan Jussi Saurio 2025-06-20 21:58:47 +03:00
  • 38f6b8c031 Merge 'Support indent for Goto opcode when executing explain' from meteorgan Jussi Saurio 2025-06-20 21:57:40 +03:00
  • 020f083b98 Merge 'Fix handling of non-aggregate expressions' from Piotr Rżysko Jussi Saurio 2025-06-20 21:56:35 +03:00
  • ca3a482d48 Merge 'Fix fuzz issue #1763 by using the log2 & log10 functions where applicable' from Luca Muscat Pere Diaz Bou 2025-06-20 17:58:54 +02:00
  • 7cf77fb35b Fix fuzz issue #1763 by using the log2 & log10 functions where applicable Luca Muscat 2025-06-20 10:46:32 +02:00
  • 62c8a97c10 Merge 'Copy instrumented image and symbols in Dockerfile.antithesis' from eric-dinh-antithesis Pekka Enberg 2025-06-20 09:23:45 +03:00
  • 64a0333119 Fix missing column references in non-aggregate expressions Piotr Rzysko 2025-06-17 05:52:06 +02:00
  • 08c1767ba7 Collect non-aggregate columns in one place Piotr Rzysko 2025-06-18 09:30:54 +02:00
  • 61a102e620 add Pedro to email recipients for antithesis pedrocarlo 2025-06-19 19:44:08 -03:00
  • dbdea044c2 copy instrumented image and symbols in Dockerfile.antithesis eric-dinh-antithesis 2025-06-19 17:08:25 -04:00
  • fcff306f98 emit constant where terms in init_loop pedrocarlo 2025-06-19 13:44:33 -03:00
  • b1706ae849 change location where WhereTerms are emitted pedrocarlo 2025-06-19 13:15:04 -03:00
  • 86ea224069 add delete where basic functionality pedrocarlo 2025-06-15 00:21:15 -03:00
  • 74fc789719 antithesis: Add integritycheck parallel driver Pekka Enberg 2025-06-19 13:55:36 +03:00
  • 7684dc98d0 Merge ' op_transaction end_read_tx in case of begin_write_tx is busy ' from Pere Diaz Bou Pekka Enberg 2025-06-19 14:27:59 +03:00