mentat

greg/mentat

Fork 0

Commit graph

Select branches

Hide pull requests

benchmarks-travis-test

bgrins-patch-1

bgrins-patch-1-1

build-android-sdk

buildtools-27.0.3-ndk-r15c-ndk-version-21-rust-stable-rust-beta

cli

clojure

coverage

database-explorer

dependabot/add-v2-config-file

dependabot/cargo/combine-approx-4.6

dependabot/cargo/env_logger-approx-0.9

dependabot/cargo/rusqlite-approx-0.25

dependabot/cargo/rustc_version-approx-0.4

dependabot/cargo/tempfile-approx-3.2

dependabot/cargo/time-0.3.0

doc-site-theme

entity-builder

export_top_level_items

fluffemily/attributes

fluffyemily/android-sdk-framework

fluffyemily/cli

fluffyemily/execute-edn

fluffyemily/expand_type_tags

fluffyemily/ffi-cache

fluffyemily/ffi_store

fluffyemily/ios-ci

fluffyemily/ios-docs

fluffyemily/ios-sdk-framework

fluffyemily/jekyll-docs

fluffyemily/not-not-join

fluffyemily/not-not-join-rebased

fluffyemily/parse-not-not-join

fluffyemily/query-builder

fluffyemily/query-builder-take1

fluffyemily/read-from-file

fluffyemily/run-android-tests-travis

fluffyemily/start_mentat_in_cli

fluffyemily/store-management

fluffyemily/tx-id-check

fluffyemily/type_tag_expansion

fluffyemily/update_uuid

gburd/replace-option-option

generic-automation-images

gh-pages

gh-pages-api-docs

grisha/androidBuild

grisha/disable-ssl-add-issue-comments

grisha/enumset

grisha/gradlePublish

grisha/observers-sync

grisha/sdkSample

grisha/syncable

grisha/tolstoy-concrete-error

grisha/tolstoy-reader

grisha/type_composition

grisha/update-failure

grisha/updateGradle

master

moz-pr/798

mozilla-eoger/tx-assertions

mozilla-grisha/tolstoy-reader

other-crates

revert-ffi

rnewman/arc

rnewman/basic-pull

rnewman/bump-versions

rnewman/dedupe-args

rnewman/edn-optimize

rnewman/edn-printing

rnewman/firefox

rnewman/fulltext-parse

rnewman/generic-or

rnewman/joins

rnewman/negation

rnewman/nn

rnewman/no-ref

rnewman/order-by-js

rnewman/parse-tx

rnewman/parser-utils

rnewman/pull-keyword

rnewman/pull-nest

rnewman/query

rnewman/rebase-edn

rnewman/renumber

rnewman/retract-schema

rnewman/simple-aggregates-2

rnewman/source-switcher

rnewman/transact-watcher

rnewman/tutorial

rnewman/tx-assertions

rnewman/tx-cardinality-one

rnewman/tx-log-observer

rnewman/tx-pred

rnewman/type-constraining-from-predicate

rnewman/type-hinting-nits

rnewman/unbound

rnewman/uuid

rnewman/with

rust

sqlite-factory

sqlite-schema

static_manager

transact

transact-rewrite

v0.8.2

#1

#2

#297

#298

#299

#3

#300

#301

#302

#303

#304

#305

#306

#307

#308

#309

#310

#311

#311

#312

#313

#314

#315

#316

#316

#318

#319

#320

#320

#321

#321

#322

#323

0.11.1

0.3.1

v0.10.0

v0.11.0

v0.11.0-2

v0.11.0-3

v0.3.1

v0.8.0

v0.8.1

v0.9.0

579829d091 CLI quality-of-life fixes. (#521) r=rnewman Thom 2018-01-17 23:33:22 -0500
53951ff44c WIP TEST rnewman/type-constraining-from-predicate Richard Newman 2018-01-17 15:12:13 -0800
340b613de6 DEBUGGING Richard Newman 2018-01-17 15:12:06 -0800
95e95d735e

Correct an assert relating Datalog projection and SQL column counts. (#519) r=tcsc Richard Newman 2018-01-17 16:36:15 -0600
1589104841

Force SQLite temp files to be stored in memory (#505) r=rnewman (#506) Grisha Kruglov 2017-12-20 01:52:09 -0500
c61bc79b99 Sync metadata schema and SyncMetadataClient. (#502) r=rnewman Grisha Kruglov 2017-12-13 14:19:05 -0600
e8ec59e464

Implement a simple direct lookup API. Fixes #111 (#503) r=grisha Richard Newman 2017-12-11 11:08:10 -0800
b7fb44a5a6 Add a comment to InProgress. Richard Newman 2017-12-07 12:19:59 -0800
a3b8fd3022 Add results type unwrapping helpers. Richard Newman 2017-12-06 14:34:48 -0800
75bcb76dd5 Be slightly more specific about mentat_core exporting Uuid. Richard Newman 2017-12-06 12:42:59 -0800
1f0c4e3107 Add common From coercions for TypedValue. Richard Newman 2017-12-06 12:29:11 -0800
6301924c54 Export TxReport export_top_level_items Emily Toop 2017-12-06 10:24:02 +0000
4c39d45d59 Export TxReport Emily Toop 2017-12-06 10:22:17 +0000
133a43fc7a Export Uuid as a top level type Emily Toop 2017-12-06 10:15:38 +0000
2fc4cb5a2d Clear the CLI buffer when an incorrect command is added. (#500) r=rnewman Emily Toop 2017-12-05 23:10:10 +0100
95b9c7f7f5

Atomic multi-tx (#489). r=emily,nalexander Richard Newman 2017-12-05 07:58:24 -0800
1b72f5bbb6

Example databases (#499). r=emily Richard Newman 2017-12-05 07:42:19 -0800
03fee722e9 Add etoop as an author. Richard Newman 2017-12-04 13:10:05 -0800
a7b10872e0 Failing test. rnewman/simple-aggregates-2 Richard Newman 2017-10-10 12:52:50 -0700
e2e9fae660 DEBUG Richard Newman 2017-10-10 12:52:41 -0700
4aa647ddc5 Newtype VariableIterator. Richard Newman 2017-06-30 09:14:29 -0700
5fe3d50762 Review comment. Richard Newman 2017-06-29 16:11:01 -0700
8e5d7830ee Review comments. Richard Newman 2017-06-29 13:34:59 -0700
971e166779 Review comments for simple aggregation. Richard Newman 2017-06-28 14:51:37 -0700
3eb898566b Add commented-out failing tests for type code expansion. Richard Newman 2017-06-20 09:12:19 -0700
de4d58f614 Parse and algebrize simple aggregates. (#312) Richard Newman 2017-06-16 13:31:47 -0700
df90c366af

Partial work from simple aggregates work (#497) r=nalexander Richard Newman 2017-11-30 15:02:07 -0800
8f125c04dd Update cargo import for uuid to enable the V4 features for creating new Uuids fluffyemily/update_uuid Emily Toop 2017-11-29 17:36:58 +0000
55588209c2

CLI (#493) Emily Toop 2017-11-21 16:56:16 +0000
7b923e6826 Match updated dependencies on CLI crate and remove unused import fluffyemily/cli Emily Toop 2017-11-21 16:51:08 +0000
29ac9cdcac addressing nit Emily Toop 2017-11-21 16:34:24 +0000
2b6398be55 Fixing rebase issues Emily Toop 2017-11-21 16:27:46 +0000
edb5755b1e Show schema of current DB (#487) Emily Toop 2017-06-23 15:03:13 +0100
6ba3fc9f06 Exit CLI (#457) (#484) r-rnewman Emily Toop 2017-06-22 12:52:43 +0100
4627a2f993 Open DB inside CLI (#452) (#463) Emily Toop 2017-05-30 11:05:58 +0100
b76dd74108 Remove rustc-serialize dependency Emily Toop 2017-05-09 11:10:13 +0100
86a25b68e1 Create mentat command line. * Create tools directory containing new crate for mentat_cli. * Add simple cli with mentat prompt. Emily Toop 2017-05-09 10:54:11 +0100
c600152d78

Update some dependencies. (#492) r=etoop Richard Newman 2017-11-21 16:24:08 +0000
eb09f9a5d1 Simply no argument parsing fluffemily/attributes Emily Toop 2017-06-29 13:35:09 -0700
9932a98c6f show attributes of current database Emily Toop 2017-06-28 16:58:29 -0700
c15973f269 Support tx places in queries (#485) r=rnewman Emily Toop 2017-06-28 18:20:16 +0100
a9c05ba9b7 Show schema of current DB (#487) Emily Toop 2017-06-23 15:03:13 +0100
7231969ae8 Provide query with db partition map so we can check that tx_ids are in range fluffyemily/tx-id-check Emily Toop 2017-06-23 13:10:39 +0100
58e43a878a Address review comments r=rnewman Emily Toop 2017-06-23 12:59:54 +0100
ecc926086a Exit CLI (#457) (#484) r-rnewman Emily Toop 2017-06-22 12:52:43 +0100
9c677a5bb1 Support tx places in queries Emily Toop 2017-06-21 11:42:44 +0100
13be228ab7 Remove everything except adding matching type tag constraints. fluffyemily/type_tag_expansion Emily Toop 2017-06-19 17:31:48 +0100
d1ad3c47f7 Follow-up: clean up imports. Richard Newman 2017-06-16 13:30:41 -0700
eaf3e7fc4b Extend inequalities to Instants. (#439) r=fluffyemily,nalexander Richard Newman 2017-06-14 16:17:25 -0700
ea0e9d4c7b Allow instants to pass through schema validation. (#481) r=fluffyemily Richard Newman 2017-06-16 09:15:29 -0700
aa5f569df5 There are one million microseconds in a second, not one hundred thousand. (#480) r=fluffyemily Richard Newman 2017-06-16 08:00:14 -0700
20aa11dcbd Support variable fulltext searches. (#479) r=nalexander Richard Newman 2017-06-14 14:44:16 -0700
dd39f6df5b Implement fulltext. (#477) r=nalexander Richard Newman 2017-06-15 10:32:40 -0700
3f264e9eb2 Implement fulltext. (#477) r=nalexander Richard Newman 2017-06-12 14:19:35 -0700
565a0e9ff9 Implement MATCHES throughout SQL machinery. Richard Newman 2017-06-12 14:24:56 -0700
17c59bbff6 Apply newly bound values to existing columns. Richard Newman 2017-06-12 17:33:40 -0700
f7a3fd5b17 Refactor arg conversion and ground into separate files. Richard Newman 2017-06-12 14:22:47 -0700
54bdd382fb Add a test that late inputs aren't allowed in ground. Richard Newman 2017-06-12 11:38:46 -0700
c2ec1a6bdf Pre: move Either to mentat_core::util. Richard Newman 2017-06-14 14:42:34 -0700
03c0930285 Pre: implement IntoIterator for ValueTypeSet. Richard Newman 2017-06-12 14:23:41 -0700
5d5e85bcba Pre: ensure that constant floats end up as floats in SQL, never integers. Richard Newman 2017-06-13 17:26:53 -0700
f785110536 Call expand_type_tags when algebrizing. Emily Toop 2017-06-14 14:24:07 +0100
4ad7fed33f Expand type tags Emily Toop 2017-06-12 15:37:56 +0100
fc83dc7272 add by default fluffyemily/expand_type_tags Emily Toop 2017-05-08 14:12:34 +0100
c5914684c6 Expand type tags Emily Toop 2017-05-05 16:54:31 +0100
8c3a464c07 Expand type code when applying ground. (#475) Richard Newman 2017-06-09 07:40:32 -0700
9ae89d9eaa Part 3: Handle ground. (#469) r=nalexander,rnewman Nick Alexander 2017-04-26 15:50:17 -0700
56e6e8b011 Part 2: refactor projector to be reusable from translator. Nick Alexander 2017-06-07 10:59:25 -0700
69c4425c3c Part 1: Parse functions in where clauses. Nick Alexander 2017-04-03 16:46:11 -0700
a10df0b7dc Pre: make rule_vars return unique vars. Richard Newman 2017-06-02 15:36:12 -0700
595d686658 Pre: take a dependency on maplit to allow BTreeSet literals. Richard Newman 2017-06-02 15:34:53 -0700
cfaf4f424b Pre: derive Debug. Richard Newman 2017-06-06 09:24:36 -0700
9332446577 Pre: add ConjoiningClauses::known_type_set. Richard Newman 2017-06-05 20:00:06 -0700
68dfc28ce8 Pre: add ConjoiningClauses::bind_value. Richard Newman 2017-06-05 19:59:53 -0700
7908edcab6 Pre: Modify predicate implementation in preparation for functions that bind. Nick Alexander 2017-04-26 09:50:09 -0700
754508382c Pre: Generalize NonNumericArgument to InvalidArgument. Nick Alexander 2017-04-26 15:31:09 -0700
626d3ecfb4 Pre: Make it easier to debug binding errors. Nick Alexander 2017-04-26 15:17:02 -0700
06db237219 Pre: Move PushComputed up module hierarchy; make it public. Nick Alexander 2017-04-26 10:17:15 -0700
a26254d335 Pre: simplify values SQL expansion. Richard Newman 2017-06-02 13:34:02 -0700
480503d1a4 Pre: flatten the representation of VALUES. Richard Newman 2017-06-02 13:03:16 -0700
37e38f058a Pre: Add Values to query-sql. Nick Alexander 2017-04-19 13:00:14 -0700
deace25351 Pre: Accept EDN vectors in FnArg arguments. Nick Alexander 2017-04-19 11:10:24 -0700
6bca824a62 Pre: Handle SrcVar. Nick Alexander 2017-04-05 15:30:22 -0700
04b57d4d08 Pre: make ValueTypeSet Copy, as it only newtypes EnumSet, which is Copy. Richard Newman 2017-06-09 20:13:13 -0700
c2cb6565e1 Pre: add helpers to ValueTypeSet. Richard Newman 2017-06-05 20:02:41 -0700
ab96811dc5 Don't allow callers to specify arbitrary new entity IDs. (#447) r=nalexander Richard Newman 2017-05-07 20:00:04 -0700
64aa16c3d7 Post: Reject at parse-time reversed attributes in direct notation with bad values. Nick Alexander 2017-06-07 14:17:56 -0700
5b03c4acf1 Review comments: another test, add unreversed(). Nick Alexander 2017-06-07 13:37:40 -0700
f8ffcca0e7 Post: Indent. Nick Alexander 2017-06-06 15:38:38 -0700
d72a5d4631 Handle :attribute/_reverse in transactor. Fixes #187 Nick Alexander 2017-06-06 15:21:51 -0700
a2c0bf3afb Pre: Extract entity_*_into_term_* helpers. Nick Alexander 2017-06-06 13:18:47 -0700
9a73df891c Pre: Push bookkeeping into an InProcess struct. Nick Alexander 2017-06-06 12:59:54 -0700
13509c3c8e Pre: Use ValueType rather than Attribute to convert edn::Value to TypedValue. Nick Alexander 2017-06-07 13:09:11 -0700
15c49643dc Pre: Intern lookup_ref by reference. Nick Alexander 2017-06-05 20:31:39 -0700
e3b622204f Pre: Crib map_{left,right} for Either. Nick Alexander 2017-06-06 13:18:31 -0700
df176fccda Review comment: generalize from Uuid SQL arguments to byte arrays. Richard Newman 2017-06-07 11:55:05 -0700
2ea135bbb1 Dedupe SQL arguments. Richard Newman 2017-06-06 18:21:07 -0700
e5ed25f1e4 Fix typo in README. Richard Newman 2017-06-06 19:01:27 +0000
8ec24f01f6 Handle ground. (#469) r=nalexander Richard Newman 2017-06-09 20:20:16 -0700
e1e549440f Expand type code when applying ground. (#475) Richard Newman 2017-06-09 07:40:32 -0700