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

Commit graph

  • 7024978517 Track ever-shrinking sets of types for variables, not a single type. (#381) r=nalexander Richard Newman 2017-03-20 14:11:32 +0000
  • 97749833d0 Algebrize and translate numeric constraints. (#306) r=nalexander Richard Newman 2017-03-16 19:23:48 +0000
  • d83c8620cd Implement parsing of query predicates. (#380) r=nalexander Richard Newman 2017-03-16 14:44:56 +0000
  • 1c4e30a906 Pre: switch to taking Patterns by move, not by reference, when algebrizing. Richard Newman 2017-03-16 19:19:06 +0000
  • f5aa6b2c2c Pre: add mentat_query_algebrizer::errors. Richard Newman 2017-03-16 19:16:56 +0000
  • d8d36140a9 Pre: add tests for CC constraint intersection. Richard Newman 2017-03-14 15:27:05 +0000
  • 11a9a30d35 Pre: reformat query parser code. Richard Newman 2017-03-16 14:45:14 +0000
  • fe307f8b7a Pre: remove dead code in cc.rs. Richard Newman 2017-03-15 11:39:14 +0000
  • 3d66cb5d0f Pre: move query algebrizer types to their own file. Richard Newman 2017-03-15 11:37:17 +0000
  • 2129514e86 Support transacting :db/fulltext true attributes. Fixes #189. (#375) r=rnewman Nick Alexander 2017-03-21 13:12:10 -0700
  • 55291b4d30 Check sqlite version. Fixes #366. (#376) r=rnewman Emily Toop 2017-03-21 16:50:31 +0000
  • 15b4195a6e Schema alteration. Fixes #294 and #295. (#370) r=rnewman Nick Alexander 2017-03-20 13:18:59 -0700
  • 8beea55e39 Collect tempids after upsert resolution. Fixes #299. (#365) r=rnewman Nick Alexander 2017-03-20 11:34:38 -0700
  • 1801db2a77 Convert EDN transaction tests to Rust code. Fixes #271. (#364) r=rnewman Nick Alexander 2017-03-20 11:29:17 -0700
  • 70e5759b5f Ensure that variable bindings are used when selecting a table. r=nalexander,etoop Richard Newman 2017-03-13 01:11:33 -0700
  • dc6a7a4128 Add a VSCode test configuration for cargo test --all. Richard Newman 2017-03-13 00:39:25 -0700
  • fddc57d548 Use sqlite3_limit instead of hard-coded SQLITE_MAX_VARIABLE_NUMBER (#371) (#288) r=rnewman Emily Toop 2017-03-13 16:39:19 +0000
  • 6109a63249 Support input bindings in ConjoiningClauses. r=nalexander Richard Newman 2017-03-09 14:59:11 -0800
  • 914902cf9e Ignore build output in VSCode. Richard Newman 2017-03-09 11:47:20 -0800
  • 30804e033a Use rusqlite 0.10.1. (#367) r=nalexander Richard Newman 2017-03-09 12:30:36 -0800
  • 39440895ab Add basic VSCode file ignore settings. Richard Newman 2017-03-09 11:30:48 -0800
  • 77f7fab525 Tweak testing commands. Richard Newman 2017-03-09 09:00:46 -0800
  • bf38105fef (#362) Part 4: handle unknown attributes by expanding type codes. r=nalexander Richard Newman 2017-03-06 20:18:38 -0800
  • b5867e9131 (#362) Part 3: implement querying against simple keywords. r=nalexander Richard Newman 2017-03-06 20:17:08 -0800
  • ce3a9bdf87 (#362) Part 2: use constrain_attribute. r=nalexander Richard Newman 2017-03-06 20:16:45 -0800
  • 8935d6a8a5 (#362) Part 1: if a variable's type becomes known, don't extract it. r=nalexander Richard Newman 2017-03-06 20:16:14 -0800
  • 1961815acd Pre: add an interpose macro for SQL output. Richard Newman 2017-03-07 10:31:28 -0800
  • 7bcf311db9 Pre: move SQLValueType to core, because it's so central. Richard Newman 2017-03-06 20:14:50 -0800
  • e898df8842 Implement basic query limits. (#361) r=nalexander Richard Newman 2017-03-06 16:27:13 -0800
  • 85f3b79f75 Support a limited set of '.'-prefixed non-keyword symbols. (#352) r=nalexander Richard Newman 2017-03-06 14:55:14 -0800
  • 70b112801c Implement projection and querying. (#353) r=nalexander Richard Newman 2017-03-06 14:40:10 -0800
  • f86b24001f Add top-level Conn. Fixes #296. (#342) r=rnewman Nick Alexander 2017-03-03 15:03:59 -0800
  • ecf56395b9 Add discussion of storage difficulties. r=nalexander (#344) Richard Newman 2017-02-27 15:50:17 -0800
  • d7f323d15d Wire in the start of querying and error_chain at top level. (#349) r=nalexander Richard Newman 2017-02-23 21:16:19 -0800
  • 48312e1ff0 Rebased conversion of mentat_query_parser to use error-chain. r=nalexander Richard Newman 2017-02-23 21:13:04 -0800
  • b2f22952c1 Convert mentat_sql to use error-chain. r=nalexander Richard Newman 2017-02-23 19:52:17 -0800
  • 9a9dfb502a Add discussion of storage difficulties. r=nalexander (#344) clojure Richard Newman 2017-02-27 15:50:17 -0800
  • dcd9bcb1ce Extract partial storage abstraction; use error-chain throughout. Fixes #328. r=rnewman (#341) Nick Alexander 2017-02-24 15:32:41 -0800
  • 5e3cdd1fc2 Implement query-translator. (#301) r=nalexander Richard Newman 2017-02-21 19:57:00 -0800
  • 91c75f26c8 Expand query algebrizer. r=nalexander Richard Newman 2017-02-21 19:55:27 -0800
  • 76f51015d9 Support accumulating TypedValue instances into a SQL query. (#339) r=nalexander Richard Newman 2017-02-21 18:47:06 -0800
  • b0120aa446 Pre: fix query/Cargo.toml indenting. Richard Newman 2017-02-21 19:53:25 -0800
  • 14972fa6d7 Pre: use Option::cloned() instead of a cloning closure. Richard Newman 2017-02-23 09:20:23 -0800
  • 40bca2df6d Remove most uses of use foo::* Joe Walker 2017-02-20 13:13:16 +0000
  • 60b2e6f885 Improve Debug output for ConjoiningClauses; r=rnewman Joe Walker 2017-02-16 15:16:04 +0000
  • 7fc2a22d68 Implement a basic edn matcher, r=ncalexan (#271) (#338) Victor Porof 2017-02-23 09:11:34 +0100
  • bf707acbc3 Lint for the clippy gods in the edn crate (#340) Victor Porof 2017-02-22 18:11:05 +0100
  • 0d3b8e4b29 Avoid code duplication for common Value trait implementations, r=ncalexan Victor Porof 2017-02-21 11:15:22 +0100
  • 1b26e23d02 Implement edn pretty printing using pretty.rs. Fixes #195. (#245) Victor Porof 2017-02-21 20:48:08 +0100
  • 7476d0c0c8 More Rust notes. Richard Newman 2017-02-21 10:45:21 -0800
  • e18a0e9fdc Discuss Rust contributions. Richard Newman 2017-02-21 10:43:36 -0800
  • 6fa907d2df Simplify .travis.yml to use cargo test --all. Richard Newman 2017-02-20 10:58:56 -0800
  • a10f68fdb7 Mark every project as being part of the workspace. r=nalexander Richard Newman 2017-02-20 09:35:32 -0800
  • 42ae26ab46 Add new stuff to Travis. Richard Newman 2017-02-16 15:39:58 -0800
  • 9ecd02ef95 Begin serializing queries to SQL. r=nalexander Richard Newman 2017-02-16 15:39:19 -0800
  • a9cd9b1e87 Export symbols and string helpers from mentat_query_algebrizer. Richard Newman 2017-02-16 15:38:53 -0800
  • f890995202 Add a rudimentary SQL builder, based on parts of Diesel. (#273) r=nalexander Richard Newman 2017-02-16 15:07:52 -0800
  • bc2b2ec4c8 Change to_namespaced_keyword(s) to return a Result rather than Option to (#333) Jordan Santell 2017-02-17 16:10:34 -0800
  • 6f67f8563b TypedValue::Keyword now wraps a NamespacedKeyword rather than a String. Fixes #203. r=nalexander" (#329) Jordan Santell 2017-02-17 14:07:57 -0800
  • a59f9583ac Store Idents as NamespacedKeywords, rather than Strings. Fixes #291. (#300) Jordan Santell 2017-02-17 13:55:36 -0800
  • ec2bbb8e83 Ensure minimum rustc version in a build script. r=nalexander (#326) Jordan Santell 2017-02-17 12:04:45 -0800
  • 74861447e4 Accept :db/id in nested maps. (Fixes #178.) (#206) r=rnewman Nick Alexander 2017-02-17 11:39:51 -0800
  • 896d7f8f88 Add a span component to edn::Value, r=ncalexan Victor Porof 2017-02-14 16:43:32 +0100
  • d9b699b588 Fix the authors entry in Cargo.toml (#322) Joe Walker 2017-02-17 07:03:48 +0000
  • 89949fb451 Update README for edn; r=me Joe Walker 2017-02-16 18:32:36 +0000
  • 5af7082165 Partly flesh out query algebrizer. (#243) r=nalexander Richard Newman 2017-02-03 16:52:03 -0800
  • f36a78e61e Test mentat_core and mentat_query_algebrizer on Travis. Richard Newman 2017-02-14 10:17:16 -0800
  • 42f03f55a2 Stub out query algebrizer. Richard Newman 2017-02-03 15:52:02 -0800
  • b165a0b2ad Implement Schema::attribute_for_ident. Richard Newman 2017-02-15 15:53:13 -0800
  • 16e9740d8a Implement upsert resolution algorithm. (#186, #283). r=rnewman, f=jsantell Nick Alexander 2017-02-14 16:50:40 -0800
  • bfb62302cb Add docstrings for Schema methods. Richard Newman 2017-02-13 19:39:47 -0800
  • a87e5a3ec7 Move Schema from mentat_db to mentat_core, improve API. (#290) Richard Newman 2017-02-13 19:20:20 -0800
  • 2e303f4837 Stub out mentat::q_once. (#289) r=nalexander Richard Newman 2017-02-13 10:30:02 -0800
  • 4e81733eed Change expecteddatoms and expectedtransaction to their kebab-case counterparts, for valid EDN style. Fixes #270. r=nalexander (#287) Jordan Santell 2017-02-11 12:06:09 -0800
  • 4f5c94891a Add octal, hexadecimal, and arbitrary base integers to the EDN parser. Fixes #277. r=rnewman (#286) Jordan Santell 2017-02-10 16:03:35 -0800
  • 6ce5d526a3 Store a bitfield in temporary search tables and expand to bit flags in the datoms table to investigate performance difference. Fixes #226. r=nalexander (#242) Jordan Santell 2017-02-10 12:03:49 -0800
  • f591c90738 Use mentat-parser-utils in tx-parser. Fixes #235; r=rnewman,victorporof Joe Walker 2017-02-06 16:21:43 +0000
  • 1deed24f42 Remove usage of global imports in db module. Fixes #251. r=nalexander (#253) Jordan Santell 2017-02-10 09:09:13 -0800
  • 49f91b05b0 Expose EDN into_ methods that consume the edn value, r=jwalker. Fixes 256 Victor Porof 2017-02-09 20:00:17 +0100
  • cb40a0f581 Expose EDN as_ methods that return copied values, not references; r=ncalexan,jwalker Joe Walker 2017-02-10 12:09:13 +0000
  • 8e2359d3ab Implement TypedValue::is_congruent_with and ::matches_type. r=jsantell Richard Newman 2017-02-09 17:12:55 -0800
  • b56b7c2a3f ValueType is Copy. r=jsantell Richard Newman 2017-02-09 16:59:46 -0800
  • fc73bfce75 Implement NonIntegerConstant::into_typed_value. r=jsantell Richard Newman 2017-02-09 16:59:35 -0800
  • 1aa33423dc Derive PartialOrd and Ord for Variable. r=jsantell Richard Newman 2017-02-08 12:50:35 -0800
  • 1122960462 Re-export NamespacedKeyword and PlainSymbol out of query. r=jsantell Richard Newman 2017-02-03 16:51:57 -0800
  • 9be487ca7d Run pragmas to configure SQLite store and connection when we open a DB, r=ncalexan (#275) Victor Porof 2017-02-09 21:23:04 +0100
  • 4366f6d61f Expose EDN as_ methods that return copied values, not references. rnewman/no-ref Richard Newman 2017-02-09 10:21:35 -0800
  • 42580539b8 Properly handle whitespace for Infinity and NaN, r=rnewman (#246) Victor Porof 2017-02-09 18:13:44 +0100
  • 7db74953d6 mentat_core doesn't need rusqlite. r=nalexander Richard Newman 2017-02-08 14:34:06 -0800
  • 21f7bdf493 Consolidate Entity::{Add, Retract} to Entity::AddOrRetract. Fixes #255. r=nalexander (#265) Jordan Santell 2017-02-08 15:45:09 -0800
  • 688a644bd9 Ensure :db/index true for :db/unique _. Fixes #254. r=nalexander (#267) Jordan Santell 2017-02-08 15:26:45 -0800
  • 9fcf9f3318 Remove Entity::{RetractEntity, RetractAttribute} for now. Fixes #257. r=nalexander (#266) Jordan Santell 2017-02-08 15:19:47 -0800
  • c111d4daff Move TypedValue into mentat_core. r=jsantell,nalexander Richard Newman 2017-02-08 13:59:56 -0800
  • afafcd64a0 [tx] Start implementing bulk SQL insertion algorithms (#214). r=rnewman,jsantell Nick Alexander 2017-02-08 14:04:32 -0800
  • c585715224 Don't depend on num and ordered-float in the db and query crates, r=ncalexan (#223) Victor Porof 2017-02-08 12:19:16 +0100
  • 4d83aafa2a Ensure printing/parsing edn strings is isomorphic Victor Porof 2017-02-04 08:45:51 +0100
  • a627f532f0 Relax whitespace rules for edn vectors, lists, sets and maps Victor Porof 2017-02-04 08:45:31 +0100
  • 419db388da Relax whitespace rules for Infinity and NaN Victor Porof 2017-02-04 08:45:02 +0100
  • 00c99196a2 Move db::type::{ValueType,Attribute} into a mentat_core crate. Richard Newman 2017-02-03 16:51:13 -0800
  • 0b20d7691b Parse and display EDN values for NaN, +Infinity and -Infinity. Fixes #232 (#238) r=victorporof Jordan Santell 2017-02-03 10:14:23 -0800