Ziyang Hu
|
776e8e26a5
|
finished preliminary implementation of HNSW
|
1 year ago |
Ziyang Hu
|
a03af029db
|
query runs
|
1 year ago |
Ziyang Hu
|
84163915a1
|
HNSW compilation redux
|
1 year ago |
Ziyang Hu
|
2141731cab
|
HNSW compilation
|
1 year ago |
Ziyang Hu
|
36286c5659
|
more program validation
|
1 year ago |
Ziyang Hu
|
1b7d96f93f
|
HNSW through magic rewrite
|
1 year ago |
Ziyang Hu
|
bf479c3a64
|
parsing of HNSW search query
|
1 year ago |
Ziyang Hu
|
e352c762f1
|
hnsw index auto insert/remove
|
1 year ago |
Ziyang Hu
|
2e84ce275d
|
higher level hnsw removal
|
1 year ago |
Ziyang Hu
|
becf49eefc
|
removal
|
1 year ago |
Ziyang Hu
|
9e84392798
|
hash stuff
|
1 year ago |
Ziyang Hu
|
02c3358362
|
insertion now compiles
|
1 year ago |
Ziyang Hu
|
9462409b90
|
pre-insertions for HNSW
|
1 year ago |
Ziyang Hu
|
6ccdf71892
|
hnsw preliminary
|
1 year ago |
Ziyang Hu
|
a8f946a719
|
function int_range
|
1 year ago |
Ziyang Hu
|
5aec17f6ad
|
hnsw backing table
|
1 year ago |
Ziyang Hu
|
1c1bedd2a7
|
parse index construction config
|
1 year ago |
Ziyang Hu
|
3af821a497
|
visibility changes
|
1 year ago |
Ziyang Hu
|
22054f9340
|
queries now have a default timeout
|
1 year ago |
Ziyang Hu
|
2b9a94955f
|
prepare for indexing
|
1 year ago |
Ziyang Hu
|
f579b971da
|
vector functions
|
1 year ago |
Ziyang Hu
|
4bdc9a5bd1
|
bump rocksdb version
|
1 year ago |
Ziyang Hu
|
f10cbfe019
|
hnsw indexing ops
|
1 year ago |
Ziyang Hu
|
ef92dd62f4
|
fix leak
|
1 year ago |
Ziyang Hu
|
44ee2e939a
|
use ndarray to represent vector
|
1 year ago |
Ziyang Hu
|
a67dcda7bc
|
format
|
1 year ago |
Ziyang Hu
|
833d155027
|
vec values and typings
|
1 year ago |
Ziyang Hu
|
01b5dfca9b
|
additional types
|
1 year ago |
Ziyang Hu
|
5a64821eca
|
resolves https://github.com/cozodb/cozo/issues/49
|
1 year ago |
Ziyang Hu
|
473774fc75
|
Merge branch 'main' into dev
|
2 years ago |
Ziyang Hu
|
5f38aa35ca
|
bump version
|
2 years ago |
Ziyang Hu
|
b517b396c9
|
Merge branch 'main' into dev
|
2 years ago |
Ziyang Hu
|
6750c9083c
|
fix import with JSON
|
2 years ago |
Ziyang Hu
|
2744673c0a
|
Merge branch 'dev' of gitee.com:cozodb/cozo into dev
|
2 years ago |
Ziyang Hu
|
9e743f0310
|
fixed rules support namespace
|
2 years ago |
Ziyang Hu
|
7bb09a27c0
|
Merge branch 'main' into dev
|
2 years ago |
Goldstein
|
07af70899c
|
add FixedRulePayload::inputs_count()
|
2 years ago |
Ziyang Hu
|
6233111fa5
|
fix typo and improve example
As discussed in https://github.com/cozodb/cozo/issues/37
|
2 years ago |
Ziyang Hu
|
f97c497d31
|
make imperative scripts stoppable
|
2 years ago |
Ziyang Hu
|
f975f2eec0
|
forbid unregister default rules
|
2 years ago |
Ziyang Hu
|
f8af23a19e
|
disallow destroying relations with indices
|
2 years ago |
Ziyang Hu
|
b07e28c420
|
disallow destroying relations with indices
|
2 years ago |
Ziyang Hu
|
0b0830d1ba
|
use axum for server; implement callback SSE
|
2 years ago |
Ziyang Hu
|
b30ebf7b77
|
fix compilation
|
2 years ago |
Ziyang Hu
|
99a12b6868
|
multi-transactions
|
2 years ago |
Ziyang Hu
|
91ebe758c1
|
make DB Clone again
|
2 years ago |
Ziyang Hu
|
9ccb891233
|
formatting
|
2 years ago |
Ziyang Hu
|
6411e42e9c
|
improve python API
|
2 years ago |
Ziyang Hu
|
525cfeff59
|
Don't go through JSON
|
2 years ago |
Ziyang Hu
|
8bff4eb92e
|
change channel fixed rule signature
|
2 years ago |
Ziyang Hu
|
5bb68486f5
|
Python callbacks and fixed rules
|
2 years ago |
Ziyang Hu
|
a5ad6b5633
|
change language APIs to match the new Rust API
|
2 years ago |
Ziyang Hu
|
e374f5afe1
|
fixed rules can now be unregistered at will
|
2 years ago |
Ziyang Hu
|
cbf53bfbef
|
Listing fixed rules
|
2 years ago |
Ziyang Hu
|
5326a16595
|
db does not need to be Clone
|
2 years ago |
Ziyang Hu
|
6938b98be4
|
multiple returns
|
2 years ago |
Ziyang Hu
|
1f5949e4a3
|
simple fixed rule
|
2 years ago |
Ziyang Hu
|
e98942aa78
|
be conservative in index selection
|
2 years ago |
Ziyang Hu
|
b1a585fdea
|
remove outdated test parts
|
2 years ago |
Ziyang Hu
|
359b58246c
|
better inline docs
|
2 years ago |
Ziyang Hu
|
3c83761ec6
|
better inline docs
|
2 years ago |
Ziyang Hu
|
4545fbfe0b
|
better inline docs
|
2 years ago |
Ziyang Hu
|
890ef14f80
|
better inline docs
|
2 years ago |
Ziyang Hu
|
c880c6a330
|
better inline docs
|
2 years ago |
Ziyang Hu
|
caa41419ae
|
more guardrails for preventing messing up indices
|
2 years ago |
Ziyang Hu
|
6a5f55db64
|
fix doc link
|
2 years ago |
Ziyang Hu
|
bcf37ddc52
|
expanded the public API
|
2 years ago |
Ziyang Hu
|
b91e456237
|
update dependencies
|
2 years ago |
Ziyang Hu
|
348f17b2cf
|
restructure code
|
2 years ago |
Ziyang Hu
|
758f7392f0
|
tests for custom fixed rules
|
2 years ago |
Ziyang Hu
|
bf48a44030
|
tests for index
|
2 years ago |
Ziyang Hu
|
de9cfb2bd8
|
fix old collection
|
2 years ago |
Ziyang Hu
|
b9bd7bbcb0
|
improve tests for triggers
|
2 years ago |
Ziyang Hu
|
2ddb91ad9f
|
version check on startup
|
2 years ago |
Ziyang Hu
|
e7fd785584
|
disable callbacks for WASM
|
2 years ago |
Ziyang Hu
|
a6a9419a35
|
implemented index
|
2 years ago |
Ziyang Hu
|
a375eff792
|
index creation and deletion; fix trigger decoding
|
2 years ago |
Ziyang Hu
|
92928dfef2
|
index op parser
|
2 years ago |
Ziyang Hu
|
4e99083664
|
prepare for index locks
|
2 years ago |
Ziyang Hu
|
381f024ac4
|
RwLock -> ShardedLock
|
2 years ago |
Ziyang Hu
|
172280a3a7
|
fix callbacks not running
|
2 years ago |
Ziyang Hu
|
798facf94d
|
implemented callbacks
|
2 years ago |
Ziyang Hu
|
4437800bdf
|
path mess
|
2 years ago |
Ziyang Hu
|
523cc8a2ac
|
simplify imperative scripts
|
2 years ago |
Ziyang Hu
|
f6ac1a63d5
|
imperative scripts
|
2 years ago |
Ziyang Hu
|
8c8840957a
|
implemented imperative script
|
2 years ago |
Ziyang Hu
|
e795a2cb9a
|
prepare for imperative scripts
|
2 years ago |
Ziyang Hu
|
e4d082ddc4
|
fix mod precedence
|
2 years ago |
Ziyang Hu
|
f9725edcad
|
fix conditional jumps
|
2 years ago |
Ziyang Hu
|
f9be50cab7
|
rename stuff
|
2 years ago |
Ziyang Hu
|
c110f3be45
|
use stack-based bytecodes instead of tree-walking for evaluating expressions
|
2 years ago |
Ziyang Hu
|
985c0d758a
|
Merge branch 'dev' of gitee.com:cozodb/cozo into dev
|
2 years ago |
Ziyang Hu
|
5963b35aac
|
replace yields with temp stores
|
2 years ago |
Ziyang Hu
|
722175e2ff
|
prepare for imperative scripts
|
2 years ago |
Ziyang Hu
|
0c7f2a3d27
|
python wrapper no longer goes through strings
|
2 years ago |
Ziyang Hu
|
c3c674950f
|
cleanup of type conversion
|
2 years ago |
Ziyang Hu
|
2d5921a4e8
|
extract error format function
|
2 years ago |
Ziyang Hu
|
7914885889
|
bump version
|
2 years ago |
Ziyang Hu
|
ba333c3883
|
Do not use JSON for intermediate results
|
2 years ago |
Ziyang Hu
|
14c9813fd4
|
shorter WASM32 conditional tests
|
2 years ago |