Tpt
03f7641355
Enables docker cross compilation to arm64
2 years ago
Tpt
8c68cf4041
Makes SPARQL AVG aggregate function simpler
2 years ago
Tpt
1f89bef860
Python doc: cleans up links to RDF specifications
2 years ago
Tpt
ac61adc9c2
CI: Temporarily disable SPARQL XML results fuzzing
...
CI is always failing because of https://github.com/tafia/quick-xml/issues/608
2 years ago
Tpt
edec370f0a
Makes xsd:dateTime year parsing stricter
...
Do not allow syntaxes not allowed by the grammar
2 years ago
Tpt
5f2c9a3b92
Cleans up documentation links to RDF specifications
2 years ago
Tpt
8c62137a01
Upgrades PyO3 to 0.19
2 years ago
Tpt
f72a9600ae
CI: Makes sure to update APT cache before installing packages
2 years ago
Tpt
57d39cad24
Makes Clippy happy
2 years ago
Tpt
a7758484a5
Python: Annotates immutable classes as frozen
2 years ago
Tpt
5d253c6afb
SPARQL XML results: circumvent quick-xml crash
2 years ago
Tpt
3e51020222
CI: Fuzz SPARQL query results I/O
2 years ago
Tpt
adda2d2d7e
Makes hash join into for loop join optimization more aggressive
2 years ago
Tpt
22f990344f
Fixes hash left join into for loop left join optimization
...
It can inject variables into projections
2 years ago
Tpt
4cc9e4008b
Fixes empty IN expression optimization
2 years ago
Tpt
0a064a8704
SPARQL: Prevents ForLoopLeftJoin with MINUS
...
It can flip the MINUS operation out of the "disjoint" case
2 years ago
Thomas
d2804d8a8d
Python: fixes parsing from text I/O with not-ASCII char
...
Python text IO is counting by number of character
and not by number of bytes.
However, we were asking to read a number of bytes
and not a number of character,
leading to strange I/O exceptions being raised.
2 years ago
Tpt
d500614fcc
Fuzzer: do not consider OFFSET and LIMIT for now
...
Result order is not kept by the optimizer.
We can't assume it is unchanged.
2 years ago
Tpt
2650c5ed13
Speeds up sparql_eval fuzzer by hardcoding size_hint
...
For some reasons size_hint() computation takes a lot of time.
Hardcoding allows to increase the iter speed from 0.2iter/s to 1250iter/s
2 years ago
Tpt
7b9e9f9694
SPARQL: Makes average function works with yearMonthDuration and dayTimeDuration
2 years ago
Tpt
d992fb7545
Fixes cross compilation of RocksDB with zig targeting macOS
2 years ago
Tpt
b2d625e10e
XSD: Drops nom dependency
2 years ago
Tpt
63945638ea
XSD: Adds checked_neg operation
2 years ago
Tpt
5bfbbdbd3f
Python: Adds Store.contains_named_graph
2 years ago
Tpt
eb40457d5c
Upgrades RDF-tests
2 years ago
Tpt
d24461fc42
XSD: Improves arithmetic computations
...
Avoids internal overflow inside some decimal operations
2 years ago
Tpt
8bec2e2ff9
SPARQL-star parser: align with SPARQL 1.2 draft
...
Relevant PR: https://github.com/w3c/sparql-query/pull/78
2 years ago
Tpt
9a6233b511
SPARQL parser: removes reference to rule numbers
...
They are not stable and are changing with SPARQL 1.2.
Let's avoid the hassle of maintaining them.
We got the rule name to quickly match the code with the grammar.
2 years ago
Tpt
d26731432c
Server: Use target graph name as base URI
...
Task: #498
2 years ago
Tpt
38af275451
Server: Improves systemd support
...
Closes #499
2 years ago
Tpt
cb89166380
RocksDB: Avoids building twice util/crc32c_arm64.cc on aarch64
2 years ago
Tpt
5ce24dda01
Dependabot: Adds JS dependencies
2 years ago
Tpt
05fbb0e071
JS: Upgrades Rome formatter
2 years ago
Thomas Tanon
8f3af5a7fc
Revert "Python: drops compatibility with Musl 1.1"
...
This reverts commit f9d7b93abf
.
2 years ago
dependabot[bot]
a25bf55919
Update maturin requirement from ~=0.14.0 to ~=0.15.1 in /python
...
Updates the requirements on [maturin](https://github.com/pyo3/maturin ) to permit the latest version.
- [Release notes](https://github.com/pyo3/maturin/releases )
- [Changelog](https://github.com/PyO3/maturin/blob/main/Changelog.md )
- [Commits](https://github.com/pyo3/maturin/compare/v0.14.0...v0.15.1 )
---
updated-dependencies:
- dependency-name: maturin
dependency-type: direct:development
...
Signed-off-by: dependabot[bot] <support@github.com>
2 years ago
Tpt
f9d7b93abf
Python: drops compatibility with Musl 1.1
...
Rust is moving to 1.2+: https://blog.rust-lang.org/2023/05/09/Updating-musl-targets.html
2 years ago
Tpt
e96672a2a8
SPARQL plan: allows AND and OR to have more than 2 children
...
Adds tests on VALUES cardinality validation
2 years ago
Tpt
cfe52db3a3
Spargebra: Makes GroundTermPattern::Triple properly gated with the rdf-star feature
...
It is only RDF-star specific
2 years ago
Tpt
7175784356
Improves Clippy lint list
2 years ago
Tpt
a2d8bcaaa3
Starts 0.3.17 dev
2 years ago
Tpt
f520de8893
Releases v0.3.16
2 years ago
Tpt
8e3ee3b6dd
Upgrades RocksDB to 8.1.1
2 years ago
Yaroslav Halchenko
6f37c4c9c9
Move shellcheck into tests workflow collecting all kinds of testing
2 years ago
Yaroslav Halchenko
aeeabf5d1c
Replace very cute (ab)use of array to get first element with explicit awk
...
That is to overcome warnings from shellcheck
In .clusterfuzzlite/build.sh line 8:
hash=($(sha256sum "$file"))
^------------------^ SC2207 (warning): Prefer mapfile or read -a to split command output (or quote to avoid splitting).
In .clusterfuzzlite/build.sh line 9:
cp "$file" "/tmp/oxigraph_$1/$hash"
^---^ SC2128 (warning): Expanding an array without an index only gives the first element.
although original code is making a cute use of an array, if we are to follow
shellcheck and use mapfile or read -a - and then use explicit index -- makes it
just too cumbersome. IMHO explicit awk would be easier to read etc.
2 years ago
Yaroslav Halchenko
029fbf470e
Disable shellcheck warning about loop running once -- intended
2 years ago
Yaroslav Halchenko
a3294a8abd
Remove unused JAVA_HOME. If to be used by child processes -- should have been exported
2 years ago
Yaroslav Halchenko
80ce67e6dd
Run bench/bsbm_ with set -eu to exit right away if something abnormal happens
...
e.g. if one command fails or undefined variable is used.
In turn it would allow to address such codeshell warnings like
In bench/bsbm_graphdb.sh line 7:
cd bsbm-tools
^-----------^ SC2164 (warning): Use 'cd ... || exit' or 'cd ... || return' in case cd fails.
Did you mean:
cd bsbm-tools || exit
but note that there are uses left like
❯ git grep 'cd bsbm-tools || exit'
bench/bsbm_blazegraph.sh:cd bsbm-tools || exit
bench/bsbm_jena.sh:cd bsbm-tools || exit
bench/bsbm_rdf4j.sh:cd bsbm-tools || exit
but may be `|| exit` should be removed and they should exit with error? or the
same should be added to the other 3?
❯ git grep 'cd bsbm-tools$'
bench/bsbm_graphdb.sh:cd bsbm-tools
bench/bsbm_oxigraph.sh:cd bsbm-tools
bench/bsbm_virtuoso.sh:cd bsbm-tools
2 years ago
Yaroslav Halchenko
38357dd9b5
Add github action to shellcheck main on push and PRs
2 years ago
Thomas
704440538d
Adds EXISTS operation to the profiler output
2 years ago
Yaroslav Halchenko
bbe9bd0303
Make all Thomases into one
...
Before
❯ git shortlog -sn | head
1211 Tpt
46 Thomas Tanon
...
After
❯ git shortlog -sn | head
1259 Thomas Tanon
...
2 years ago