Commit Graph

  • 5e9cb58f04 core/io/io_uring: remove unnecessary path prefix for log macros, and replace one unwrap with ? Jorge López 2025-01-12 14:11:37 +01:00
  • b146f5d4cb core/io/io_uring: replace nix and libc calls with their rustix counterparts. Jorge López 2025-01-11 17:06:11 +01:00
  • b1e8f2da73 core/io/unix: minor formatting Jorge López 2025-01-11 17:00:05 +01:00
  • 7b5e5efd14 core/io/unix: replace libc calls and types with their rustix counterparts Jorge López 2025-01-11 16:58:43 +01:00
  • 7808665c92 core: make MAX_IOVECS u32 instead of usize, to match the type expected by io_uring Jorge López 2025-01-11 16:56:18 +01:00
  • d4de451d45 core: enable rustix/io_uring with io_uring feature Jorge López 2025-01-11 16:53:55 +01:00
  • 96148af331 Merge 'Fix 8-bit serial type to encoding' from Preston Thorpe Pekka Enberg 2025-01-13 20:59:54 +02:00
  • 42293115de Merge 'cli: Introduce a selectable IO backend with --io={syscall,io-uring} argument' from Jorge López Tello Pekka Enberg 2025-01-13 20:59:20 +02:00
  • 0b6061de2f Adjust sqlite serial type to account for single byte signed integer PThorpe92 2025-01-13 13:34:46 -05:00
  • 481bd17219 Merge 'docs: add python bindings' from Jean Arhancet Pekka Enberg 2025-01-13 19:06:39 +02:00
  • 44550ab749 cargo fmt Pekka Enberg 2025-01-13 18:58:40 +02:00
  • c7ea2393b3 Merge 'Store cursor types in program state and remove trait Cursor' from Jussi Saurio Pekka Enberg 2025-01-13 18:40:46 +02:00
  • 8769bf82a5 Merge 'fix: flaky test in datetime because compare pre-init now.' from Sonny Pekka Enberg 2025-01-13 18:39:54 +02:00
  • fa6a9ed214 Merge 'bindings/java: Fix naming rules' from Kim Seon Woo Pekka Enberg 2025-01-13 18:39:24 +02:00
  • 9d42a48105 Merge 'Implement json_error_position' from Peter Sooley Pekka Enberg 2025-01-13 18:21:55 +02:00
  • 1e94dbffcc Merge branch 'main' into json-error-position Pekka Enberg 2025-01-13 18:21:37 +02:00
  • fb937eff7b fix non-determinism bug arising from a call to thread_rng while picking which row to check existence for in the result of the select query alpaylan 2025-01-13 17:26:23 +03:00
  • c3ea02783d - add doc comments to generation traits and functions - remove pick_index from places where it's possible to use pick instead - allow multiple values to be inserted in the insert-select property alpaylan 2025-01-13 15:56:10 +03:00
  • 43f6c34408 fix arbitrary_from ergonomics by removing the implicit reference in the trait signature alpaylan 2025-01-13 14:43:12 +03:00
  • 13442808dd update properties to add extensional interactions between them alpaylan 2025-01-13 14:35:42 +03:00
  • 06208af2e8 chore: add todo Jorge Hermo 2025-01-13 01:29:32 +01:00
  • e01b8f8343 feat: initial json_object implementation Jorge Hermo 2025-01-13 01:26:44 +01:00
  • 3785e7c7f8 feat: initial json_object implementation Jorge Hermo 2025-01-13 01:09:48 +01:00
  • 82fcc27a58 this commit fixes query generation; - previous query generation method was faulty, producing wrong assertions - this commit adds a new arbitrary_from implementation for predicates - new implementation takes a table and a row, and produces a predicate that would evaluate to true for the row this commit makes small changes to the main for increasing readability alpaylan 2025-01-13 02:31:19 +03:00
  • 016d9d17ab refactor: json functions vdbe Jorge Hermo 2025-01-13 00:05:14 +01:00
  • c7b831515e feat: initial json_object implementation Jorge Hermo 2025-01-12 22:29:48 +01:00
  • 94ff7ac48c docs: add instructions for creating and using a Python virtual environment JeanArhancet 2025-01-12 18:44:58 +01:00
  • 7365bee984 Merge branch 'tursodatabase:main' into selectable-io-backend Jorge López Tello 2025-01-12 15:11:54 +01:00
  • aca38031a4 cli: pass Io without option to get_io(), since even when running in-memory we get a default Io from Clap. Also remove last pesky Io::clone() Jorge López 2025-01-11 22:44:56 +01:00
  • 486389d6ff cli: remove calls to Io::clone() as it is now Copy Jorge López 2025-01-11 21:54:41 +01:00
  • b630414722 cli: implement Copy for DbLocation and Io, as suggested by [Preston](https://github.com/PThorpe92) Jorge López 2025-01-11 21:50:09 +01:00
  • 0dceb02ec0 Merge pull request #650 from tursodatabase/use-more-expect-arguments-exact Jussi Saurio 2025-01-11 17:43:38 +02:00
  • 92888c54e9 remove get_new_rowid() specific tests that require mocking Jussi Saurio 2025-01-11 17:41:10 +02:00
  • bf48c0ae72 Remove trait Cursor Jussi Saurio 2025-01-11 17:07:51 +02:00
  • 5a45df84db core: add debug line when an IO backend is created. A user can check that the correct one has been selected. Jorge López 2025-01-11 15:33:42 +01:00
  • 9f44d2a7ac Remove unused Table::Index variant and unused Table methods Jussi Saurio 2025-01-11 17:07:30 +02:00
  • 9909539b9d Store cursor type (table,index,pseudo,sorter) when allocating cursor Jussi Saurio 2025-01-11 14:04:14 +02:00
  • 2596e0800e core: expose UnixIO apart from PlatformIO on any Unix, and expose UringIO on Linux with feature io_uring. Jorge López 2025-01-11 15:02:48 +01:00
  • a17464ca5c cli: Add io_uring feature to match core Jorge López 2025-01-11 14:47:29 +01:00
  • e5bd39a8b2 Tiny formatting change, because RustRover keeps redoing it. Having to revert on every commit is not fun. Jorge López 2025-01-11 14:44:56 +01:00
  • ecf7f00cd8 docs: add python bindings JeanArhancet 2025-01-11 14:24:20 +01:00
  • 3e2993f5f5 Merge pull request #626 from psvri/fix_csv_quote_import Jussi Saurio 2025-01-11 13:26:45 +02:00
  • 81332c6dc5 Merge pull request #651 from sonhmai/chore/fix-url Jussi Saurio 2025-01-11 13:25:22 +02:00
  • 46eba6cc77 fix: flaky test in datetime because compare pre-init now. sonhmai 2025-01-11 16:15:58 +07:00
  • d5eb41a0e5 chore: update repository link in Cargo.toml sonhmai 2025-01-11 15:28:19 +07:00
  • ce8600a695 Fix import csv failing when single quote is in string psvri 2025-01-05 17:34:56 +05:30
  • e782f30ffe Add expect_arguments_min!() and use expect_arguments_* macros more universally Jussi Saurio 2025-01-11 09:55:07 +02:00
  • bcc85c37a0 Merge 'Implement -> and ->> operators for json' from Kacper Madej Jussi Saurio 2025-01-11 09:42:16 +02:00
  • 7b2f65f5d0 Merge branch 'tursodatabase:main' into main Alperen Keleş 2025-01-11 09:46:45 +03:00
  • a8bf61f237 Change to SkipNullableCheck 김선우 2025-01-11 13:44:22 +09:00
  • 82ca627d75 Reposition NativeInvocation, VisibleForTesting annotations under annotation package 김선우 2025-01-11 10:16:19 +09:00
  • aa6f2b3827 Add @SkipNullableCheck and @Nullable annotations 김선우 2025-01-11 10:15:58 +09:00
  • 3b4e2bc81f Add dependencies and related licenses 김선우 2025-01-11 10:01:03 +09:00
  • 191b586f05 this commit restructures the interaction generation in order to have better counterexample minimization. alpaylan 2025-01-11 02:20:22 +03:00
  • b5fed15997 implement json_error_position Peter Sooley 2025-01-10 11:12:30 -08:00
  • 002d2e3dde Uncomment failing tests Kacper Madej 2025-01-10 19:26:39 +07:00
  • 7efa87ff31 Merge branch 'main' into right-arrow-json Kacper Madej 2025-01-10 19:25:56 +07:00
  • 59180599fd Add java.sql.Driver to automatically detect JDBC 김선우 2025-01-10 20:41:49 +09:00
  • 71c2bdf37b Add TODO comments 김선우 2025-01-10 20:26:41 +09:00
  • da787edd99 Implement JDBC so that DriverManager can detect limbo connection 김선우 2025-01-10 20:22:58 +09:00
  • b360f0559f Add LimboDataSource.java 김선우 2025-01-10 20:10:49 +09:00
  • bc9e9714f1 Add LimboConfig.java 김선우 2025-01-10 20:10:38 +09:00
  • 3bc86a3cfc Merge 'Add CI for java testing' from Kim Seon Woo Pekka Enberg 2025-01-10 13:05:05 +02:00
  • e8e09cc745 Add JDBC.java 김선우 2025-01-10 20:03:32 +09:00
  • d88204252f Add JDBC4Connection.java 김선우 2025-01-10 19:57:48 +09:00
  • 12bcfc399b Add LimboConnection.java 김선우 2025-01-10 19:55:54 +09:00
  • b796a972dc Fix LimboDB.load to be static method 김선우 2025-01-10 19:50:50 +09:00
  • 84c987d42b Fix naming rules - No underscore for java - When method names are the same, append 0 at the back 김선우 2025-01-10 19:23:38 +09:00
  • 071d9513ab Add CI for java testing 김선우 2025-01-10 17:51:16 +09:00
  • d31ccf2933 Merge 'core/optimizer: do expression rewriting on all expressions' from Jussi Saurio Pekka Enberg 2025-01-10 11:23:51 +02:00
  • 93e4b8d917 Merge 'bindings/java: Enhance exception handling logic' from Kim Seon Woo Pekka Enberg 2025-01-10 11:22:08 +02:00
  • 90258a44b4 Add throwJavaException 김선우 2025-01-10 17:47:27 +09:00
  • 1bcdf99eab core/optimizer: do expression rewriting on all expressions Jussi Saurio 2025-01-10 10:04:07 +02:00
  • 1a46988a73 Fix hardcoded numbers in macros Kacper Madej 2025-01-10 14:50:38 +07:00
  • 1a85601261 Update docs Kacper Madej 2025-01-10 13:41:47 +07:00
  • a2e1ef2439 Use newest SQLite on Github Actions Kacper Madej 2025-01-10 13:19:15 +07:00
  • 3e26e7ebc5 Remove newSQLException and add throwLimboException in the LimboDB.java 김선우 2025-01-10 14:58:35 +09:00
  • 536fbe9d9e Fix imports Kacper Madej 2025-01-10 12:24:08 +07:00
  • 91d4ac3ac0 Fix expression chaining Kacper Madej 2025-01-10 12:14:57 +07:00
  • 0f4e5ad26d Implement simplified json path Kacper Madej 2025-01-10 11:50:43 +07:00
  • 743a8b2d94 Merge branch 'main' into right-arrow-json Kacper Madej 2025-01-10 11:28:13 +07:00
  • 5c38cc88a9 Merge 'Implement open function in Java bindings' from Kim Seon Woo Pekka Enberg 2025-01-09 18:05:42 +02:00
  • 317acb842b Merge 'Implement json_type' from Kacper Madej Pekka Enberg 2025-01-09 14:25:32 +02:00
  • 2bf7e31b64 Merge 'distinguish balance and balance_non_root' from Pere Diaz Bou Pekka Enberg 2025-01-09 14:24:46 +02:00
  • f4e331231b More tests Kacper Madej 2025-01-09 17:22:19 +07:00
  • 74e19e2148 Optimization Kacper Madej 2025-01-09 17:16:58 +07:00
  • 10fd8bb234 Merge 'Support nested parenthesized conditional expressions in translator' from Preston Thorpe Jussi Saurio 2025-01-09 11:58:45 +02:00
  • dd533414ef Implement -> and ->> operators for json Kacper Madej 2025-01-09 11:23:48 +07:00
  • eebf9bfaac Implement json_type Kacper Madej 2025-01-08 19:15:35 +07:00
  • 97d0fc68b2 Add macro and helper to clean up expression translations PThorpe92 2025-01-08 16:54:41 -05:00
  • 183797898b Add tests for nested conditional expressions PThorpe92 2025-01-08 12:04:17 -05:00
  • fa0e7d5729 Support nested parenthesized conditional exprs in translator PThorpe92 2025-01-08 09:47:16 -05:00
  • 6802bb7e6a distinguish balance and balance_non_root Pere Diaz Bou 2025-01-08 19:05:49 +01:00
  • b3762b3e92 Fix clippy 김선우 2025-01-08 23:01:24 +09:00
  • 9e0e3dc81a Update rust side logic to open database 김선우 2025-01-08 22:51:33 +09:00
  • 29e434754b Enhance LimboDB.java open logic 김선우 2025-01-08 22:50:48 +09:00
  • 281ba8d552 Remove unused java files 김선우 2025-01-08 19:41:31 +09:00
  • 0ef4def900 Merge 'Optimizer bugfixes' from Jussi Saurio Pekka Enberg 2025-01-08 09:59:49 +02:00
  • b062a5f528 Fix bug with column being considered rowid alias based on 'primary_key' Jussi Saurio 2025-01-08 08:02:24 +02:00
  • 925bd62cbc fix logic bug in check_index_scan() that swapped lhs/rhs but not the comparison op Jussi Saurio 2025-01-08 08:19:00 +02:00