greg/mentat
1
0
Fork 0
Code Issues 294 Pull requests Projects Releases 9 Packages Wiki Activity
mentat/Cargo.toml

74 lines
1.4 KiB
TOML
Raw Normal View History

Initial Rust commit. If you want to go fast, go alone. If you want to go far, go together.
2016-12-16 18:39:08 +00:00
[package]
Fix the authors entry in Cargo.toml (#322)
2017-02-17 07:03:48 +00:00
authors = [
"Richard Newman <rnewman@twinql.com>",
"Nicholas Alexander <nalexander@mozilla.com>",
"Victor Porof <vporof@mozilla.com>",
"Jordan Santell <jsantell@mozilla.com>",
"Joe Walker <jwalker@mozilla.com>",
Add etoop as an author.
2017-12-04 21:10:05 +00:00
"Emily Toop <etoop@mozilla.com>",
Fix the authors entry in Cargo.toml (#322)
2017-02-17 07:03:48 +00:00
]
Rename to Project Mentat (build).
2017-01-07 01:20:00 +00:00
name = "mentat"
Initial Rust commit. If you want to go fast, go alone. If you want to go far, go together.
2016-12-16 18:39:08 +00:00
version = "0.4.0"
Ensure minimum rustc version in a build script. r=nalexander (#326) Printing out failure to meet rustc version helps users during setup with a helpful message if using an older rustc. Rust version checking from http://stackoverflow.com/a/36607492.
2017-02-17 20:04:45 +00:00
build = "build/version.rs"
Mark every project as being part of the workspace. r=nalexander This allows `cargo test --all` to work.
2017-02-20 17:35:32 +00:00
[workspace]
CLI (#493) * Create mentat command line. * Create tools directory containing new crate for mentat_cli. * Add simple cli with mentat prompt. * Remove rustc-serialize dependency * Open DB inside CLI (#452) (#463) * Open named database OR default to in memory database if no name provided Rearrange workspace to allow import of mentat crate in cli crate Create store object inside repl when started for connecting to mentat Use provided DB name to open connection in store Accept DB name as command line arg. Open on CLI start Implement '.open' command to open desired DB from inside CLI * Implement Close command to close current DB. * Closes existing open db and opens new in memory db * Review comment: Use `combine` to parse arguments. Move over to using Result rather than enums with err * Accept and parse EDN Query and Transact commands (#453) (#465) * Parse query and transact commands * Implement is_complete for transactions and queries * Improve query parser. Am still not happy with it though. There must be some way that I can retain the eof() after the `then` that means I don't have to move the skip on spaces and eof Make in process command storing clearer. Add comments around in process commands. Add alternative commands for transact/t and query/q * Address review comments r=nalexander. * Bump rust version number. * Use `bail` when throwing errors. * Improve edn parser. * Remove references to unused `more` flag. * Improve naming of query and transact commands. * Send queries and transactions to mentat and output the results (#466) * Send queries and transactions to mentat and output the results move outputting query and transaction results out of store and into repl * Add query and transact commands to help * Execute queries and transacts passed in at startup * Address review comments =nalexander. * Bump rust version number. * Use `bail` when throwing errors. * Improve edn parser. * Remove references to unused `more` flag. * Improve naming of query and transact commands. * Execute command line args in order * Addressing rebase issues * Exit CLI (#457) (#484) r-rnewman * Implement exit command for cli tool * Address review comments r=rnewman * Include exit commands in help * Show schema of current DB (#487) * Fixing rebase issues * addressing nit * Match updated dependencies on CLI crate and remove unused import
2017-11-21 16:56:16 +00:00
members = ["tools/cli"]
Mark every project as being part of the workspace. r=nalexander This allows `cargo test --all` to work.
2017-02-20 17:35:32 +00:00
Ensure minimum rustc version in a build script. r=nalexander (#326) Printing out failure to meet rustc version helps users during setup with a helpful message if using an older rustc. Rust version checking from http://stackoverflow.com/a/36607492.
2017-02-17 20:04:45 +00:00
[build-dependencies]
rustc_version = "0.1.7"
Initial Rust commit. If you want to go fast, go alone. If you want to go far, go together.
2016-12-16 18:39:08 +00:00
[dependencies]
Update some dependencies. (#492) r=etoop * Update some dependencies. * Update rusqlite to 0.12. * Update error-chain to a forked version that implements Sync. * Fix some compiler warnings. * Remove unused imports in tests. * Parse errors no longer naturally print with the expected symbol.
2017-11-21 16:24:08 +00:00
chrono = "0.4"
error-chain = { git = "https://github.com/rnewman/error-chain", branch = "rnewman/sync" }
Bump dependency versions. r=bgrins. (#441)
2017-05-03 19:53:16 +00:00
time = "0.1"
Start installing SQL schema. (#171) r=rnewman * Start installing the SQLite store and bootstrapping the datom store. * Review comment: Decomplect V2_IDENTS. * Review comment: Decomplect V2_PARTS. * Review comment: Pre: Expose Clojure's merge on Value instances. * Review comment: Decomplect V2_SYMBOLIC_SCHEMA. * Review comment: Decomplect V1_STATEMENTS. * Review comment: Prefer ? to try!. * Review comment: Fix typos; format; add TODOs. * Review comment: Assert that Mentat `Schema` is valid upon creation. * Review comment: Improve conversion to and from SQL values. This patch factors the fundamental SQL conversion maps between (rusqlite::Value, value_type_tag) and (edn::Value, ValueType) through a new Mentat TypedValue. (A future patch might rename this fundamental type mentat::Value.) To make certain conversion functions infallible, I removed placeholders for :db.type/{instant,uuid,uri}. (We could panic instead, but there's no need to do that right now.) * Review comment: Always uses bundled SQLite in rusqlite. This avoids (runtime) failures in Travis CI due to old SQLite versions. See https://github.com/jgallagher/rusqlite/commit/432966ac77e3cb27c4cd67d073788498336988a2. * Review comment: Move semantics in `from_sql_value_pair`. * Review comment: DB_EXCISE_BEFORE_T instead of ...BEFORET (no underscore). * Review comment: Move overview notes to the Wiki.
2017-01-26 00:13:56 +00:00
[dependencies.rusqlite]
Update some dependencies. (#492) r=etoop * Update some dependencies. * Update rusqlite to 0.12. * Update error-chain to a forked version that implements Sync. * Fix some compiler warnings. * Remove unused imports in tests. * Parse errors no longer naturally print with the expected symbol.
2017-11-21 16:24:08 +00:00
version = "0.12"
Start installing SQL schema. (#171) r=rnewman * Start installing the SQLite store and bootstrapping the datom store. * Review comment: Decomplect V2_IDENTS. * Review comment: Decomplect V2_PARTS. * Review comment: Pre: Expose Clojure's merge on Value instances. * Review comment: Decomplect V2_SYMBOLIC_SCHEMA. * Review comment: Decomplect V1_STATEMENTS. * Review comment: Prefer ? to try!. * Review comment: Fix typos; format; add TODOs. * Review comment: Assert that Mentat `Schema` is valid upon creation. * Review comment: Improve conversion to and from SQL values. This patch factors the fundamental SQL conversion maps between (rusqlite::Value, value_type_tag) and (edn::Value, ValueType) through a new Mentat TypedValue. (A future patch might rename this fundamental type mentat::Value.) To make certain conversion functions infallible, I removed placeholders for :db.type/{instant,uuid,uri}. (We could panic instead, but there's no need to do that right now.) * Review comment: Always uses bundled SQLite in rusqlite. This avoids (runtime) failures in Travis CI due to old SQLite versions. See https://github.com/jgallagher/rusqlite/commit/432966ac77e3cb27c4cd67d073788498336988a2. * Review comment: Move semantics in `from_sql_value_pair`. * Review comment: DB_EXCISE_BEFORE_T instead of ...BEFORET (no underscore). * Review comment: Move overview notes to the Wiki.
2017-01-26 00:13:56 +00:00
# System sqlite might be very old.
Use sqlite3_limit instead of hard-coded SQLITE_MAX_VARIABLE_NUMBER (#371) (#288) r=rnewman * Part 1: added limits feature to rusqlite dependencies. * Part 2: replace references to SQLITE_MAX_VARIABLE_NUMBER with sqlite3_limit. * Move assertion check for correct number of variables in repeat_values to before call as this is where the variable is defined. * Part 3: add tests
2017-03-13 16:39:19 +00:00
features = ["bundled", "limits"]
Take on rusqlite dependency. Fixes #148. r=rnewman
2017-01-06 16:24:04 +00:00
Implement a rudimentary Keyword struct and the beginnings of ident/entid.
2016-12-21 16:55:00 +00:00
[dependencies.edn]
Implement basic logging infrastructure. (#205) r=nalexander,victorporof Signed-off-by: Paul Lange <palango@gmx.de>
2017-01-26 18:43:48 +00:00
path = "edn"
Implement a rudimentary Keyword struct and the beginnings of ident/entid.
2016-12-21 16:55:00 +00:00
Rename parser_utils to mentat_parser_utils, clean up imports. (#234) r=vporof
2017-02-02 16:18:04 +00:00
[dependencies.mentat_parser_utils]
Extract assert_parses_to into a parser utility crate, r=rnewman. Fixes #200 Signed-off-by: Victor Porof <vporof@mozilla.com>
2017-02-01 08:45:55 +00:00
path = "parser-utils"
Move db::type::{ValueType,Attribute} into a mentat_core crate.
2017-02-04 00:51:13 +00:00
[dependencies.mentat_core]
path = "core"
Add a rudimentary SQL builder, based on parts of Diesel. (#273) r=nalexander https://github.com/diesel-rs/diesel/
2017-02-16 23:07:52 +00:00
[dependencies.mentat_sql]
path = "sql"
Start installing SQL schema. (#171) r=rnewman * Start installing the SQLite store and bootstrapping the datom store. * Review comment: Decomplect V2_IDENTS. * Review comment: Decomplect V2_PARTS. * Review comment: Pre: Expose Clojure's merge on Value instances. * Review comment: Decomplect V2_SYMBOLIC_SCHEMA. * Review comment: Decomplect V1_STATEMENTS. * Review comment: Prefer ? to try!. * Review comment: Fix typos; format; add TODOs. * Review comment: Assert that Mentat `Schema` is valid upon creation. * Review comment: Improve conversion to and from SQL values. This patch factors the fundamental SQL conversion maps between (rusqlite::Value, value_type_tag) and (edn::Value, ValueType) through a new Mentat TypedValue. (A future patch might rename this fundamental type mentat::Value.) To make certain conversion functions infallible, I removed placeholders for :db.type/{instant,uuid,uri}. (We could panic instead, but there's no need to do that right now.) * Review comment: Always uses bundled SQLite in rusqlite. This avoids (runtime) failures in Travis CI due to old SQLite versions. See https://github.com/jgallagher/rusqlite/commit/432966ac77e3cb27c4cd67d073788498336988a2. * Review comment: Move semantics in `from_sql_value_pair`. * Review comment: DB_EXCISE_BEFORE_T instead of ...BEFORET (no underscore). * Review comment: Move overview notes to the Wiki.
2017-01-26 00:13:56 +00:00
[dependencies.mentat_db]
Implement basic logging infrastructure. (#205) r=nalexander,victorporof Signed-off-by: Paul Lange <palango@gmx.de>
2017-01-26 18:43:48 +00:00
path = "db"
Start installing SQL schema. (#171) r=rnewman * Start installing the SQLite store and bootstrapping the datom store. * Review comment: Decomplect V2_IDENTS. * Review comment: Decomplect V2_PARTS. * Review comment: Pre: Expose Clojure's merge on Value instances. * Review comment: Decomplect V2_SYMBOLIC_SCHEMA. * Review comment: Decomplect V1_STATEMENTS. * Review comment: Prefer ? to try!. * Review comment: Fix typos; format; add TODOs. * Review comment: Assert that Mentat `Schema` is valid upon creation. * Review comment: Improve conversion to and from SQL values. This patch factors the fundamental SQL conversion maps between (rusqlite::Value, value_type_tag) and (edn::Value, ValueType) through a new Mentat TypedValue. (A future patch might rename this fundamental type mentat::Value.) To make certain conversion functions infallible, I removed placeholders for :db.type/{instant,uuid,uri}. (We could panic instead, but there's no need to do that right now.) * Review comment: Always uses bundled SQLite in rusqlite. This avoids (runtime) failures in Travis CI due to old SQLite versions. See https://github.com/jgallagher/rusqlite/commit/432966ac77e3cb27c4cd67d073788498336988a2. * Review comment: Move semantics in `from_sql_value_pair`. * Review comment: DB_EXCISE_BEFORE_T instead of ...BEFORET (no underscore). * Review comment: Move overview notes to the Wiki.
2017-01-26 00:13:56 +00:00
Add query sub-crate, implementing more of the beginnings of the query language.
2017-01-04 13:09:12 +00:00
[dependencies.mentat_query]
Implement basic logging infrastructure. (#205) r=nalexander,victorporof Signed-off-by: Paul Lange <palango@gmx.de>
2017-01-26 18:43:48 +00:00
path = "query"
Add query sub-crate, implementing more of the beginnings of the query language.
2017-01-04 13:09:12 +00:00
Implement projection and querying. (#353) r=nalexander * Add a failing test for EDN parsing '…'. * Expose a SQLValueType trait to get value_type_tag values out of a ValueType. * Add accessors to FindSpec. * Implement querying. * Implement rudimentary projection. * Export mentat_db::new_connection. * Export symbols from mentat. * Add rudimentary end-to-end query tests.
2017-03-06 22:40:10 +00:00
[dependencies.mentat_query_algebrizer]
path = "query-algebrizer"
Use underscores for crate names.
2017-01-07 01:31:01 +00:00
[dependencies.mentat_query_parser]
Implement basic logging infrastructure. (#205) r=nalexander,victorporof Signed-off-by: Paul Lange <palango@gmx.de>
2017-01-26 18:43:48 +00:00
path = "query-parser"
Add tx{-parser} crates; start parsing transactions. (#164) r=rnewman This depends on edn and uses the combine parser combinator library.
2017-01-13 00:08:29 +00:00
Implement projection and querying. (#353) r=nalexander * Add a failing test for EDN parsing '…'. * Expose a SQLValueType trait to get value_type_tag values out of a ValueType. * Add accessors to FindSpec. * Implement querying. * Implement rudimentary projection. * Export mentat_db::new_connection. * Export symbols from mentat. * Add rudimentary end-to-end query tests.
2017-03-06 22:40:10 +00:00
[dependencies.mentat_query_projector]
path = "query-projector"
[dependencies.mentat_query_sql]
path = "query-sql"
Stub out query algebrizer.
2017-02-03 23:52:02 +00:00
Begin serializing queries to SQL. r=nalexander
2017-02-16 23:39:19 +00:00
[dependencies.mentat_query_translator]
path = "query-translator"
Atomic multi-tx (#489). r=emily,nalexander * Pre: rename begin_transaction to begin_tx_application. * Take an EXCLUSIVE transaction when bootstrapping, and an IMMEDIATE transaction when writing. This avoids the remote possibility of another write sneaking in the door while we're preparing to write, avoids us needing to upgrade locks, etc. After a BEGIN IMMEDIATE, no other database connection will be able to write to the database or do a BEGIN IMMEDIATE or BEGIN EXCLUSIVE. Other processes can continue to read from the database, however. An exclusive transaction causes EXCLUSIVE locks to be acquired on all databases. After a BEGIN EXCLUSIVE, no other database connection except for read_uncommitted connections will be able to read the database and no other connection without exception will be able to write the database until the transaction is complete. * Hacky implementation of atomic multi-tx. * Hold the last report, returning the InProgress from each operation. * Rewrite transact in terms of InProgress. * Test rollback. * Remove unused imports. * Don't use Rc for transaction reports. * Pre: break out USER0 as a part boundary constant. * Export TX0 and USER0 from mentat_db. This is for testing. * Review comments: commenting. * Test tempid allocation and rollback.
2017-12-05 15:58:24 +00:00
[dependencies.mentat_tx]
path = "tx"
Add tx{-parser} crates; start parsing transactions. (#164) r=rnewman This depends on edn and uses the combine parser combinator library.
2017-01-13 00:08:29 +00:00
[dependencies.mentat_tx_parser]
Implement basic logging infrastructure. (#205) r=nalexander,victorporof Signed-off-by: Paul Lange <palango@gmx.de>
2017-01-26 18:43:48 +00:00
path = "tx-parser"
Parse without copying; parse keyword maps using macros. This is a big commit, but it breaks into two conceptual pieces. The first is to "parse without copying". We replace a stream of an owned collection of edn::ValueAndSpan and instead have a stream of a borrowed collection of &edn::ValueAndSpan references. (Generally, this is represented as an iterator over a slice, but it can be over other things too.) Cloning such iterators is constant time, which improves on cloning an owned collection of edn::ValueAndSpan, which is linear time in the length of the collection and additional time depending on the complexity of the EDN values. The second conceptual piece is to parse keyword maps using a special parser and a macro to build the parser implementations. Before, we created a new edn::ValueAndSpan::Map to represent a keyword map in vector form; since we're working with &edn::ValueAndSpan references now, we can't create an &edn::ValueAndSpan reference with an appropriate lifetime. Therefore we generalize the concept of iteration slightly and turn keyword maps in map form into linear iterators by flattening the value maps. This is a potentially obscuring transformation, so we have to take care to protect against some failure cases. (See the comments and the tests in the code.) After these changes, parsing using `combine` is linear time (and reasonably fast).
2017-05-04 20:40:41 +00:00
Sync metadata schema and SyncMetadataClient. (#502) r=rnewman
2017-12-13 20:19:05 +00:00
[dependencies.mentat_tolstoy]
path = "tolstoy"
Parse without copying; parse keyword maps using macros. This is a big commit, but it breaks into two conceptual pieces. The first is to "parse without copying". We replace a stream of an owned collection of edn::ValueAndSpan and instead have a stream of a borrowed collection of &edn::ValueAndSpan references. (Generally, this is represented as an iterator over a slice, but it can be over other things too.) Cloning such iterators is constant time, which improves on cloning an owned collection of edn::ValueAndSpan, which is linear time in the length of the collection and additional time depending on the complexity of the EDN values. The second conceptual piece is to parse keyword maps using a special parser and a macro to build the parser implementations. Before, we created a new edn::ValueAndSpan::Map to represent a keyword map in vector form; since we're working with &edn::ValueAndSpan references now, we can't create an &edn::ValueAndSpan reference with an appropriate lifetime. Therefore we generalize the concept of iteration slightly and turn keyword maps in map form into linear iterators by flattening the value maps. This is a potentially obscuring transformation, so we have to take care to protect against some failure cases. (See the comments and the tests in the code.) After these changes, parsing using `combine` is linear time (and reasonably fast).
2017-05-04 20:40:41 +00:00
[profile.release]
debug = true
Reference in a new issue Copy permalink