Sean Leather

Results 44 issues of Sean Leather

`prefixed` doesn't work for schemas yet. This is not intentional, it's a missing feature. _Originally posted by @matko in https://github.com/terminusdb/terminusdb/issues/775#issuecomment-972731515_

All tests that use `spawn_server` from `src/core/util/test_utils.pl` in `src/server/routes.pl` should be migrated from unit tests to integration tests. This will allow us to create a Snap that can be tested...

enhancement

### Discussed in https://github.com/terminusdb/terminusdb/discussions/779 Originally posted by **matko** November 17, 2021 # The (proposed) idgen path algorithm ## the structure of an ID Ids are used to refer to (sub)documents....

planning-week

* Test if the `push` and `pull` operations work against a TerminusDB database. * Make sure it works with the TerminusX test database.

bug

I expected to be able to quote the argument (either with `"` or `'`) to work around this, but it doesn't work. This means the CLI doesn't accept things like...

bug

enhancement

I would like to make a CSV containing a field with hexadecimal digits. This field should always be treated as text by Microsoft Excel, but Excel converts number-like text into...

We've had several sporadic failures at around the same time in the [TerminusDB](https://github.com/terminusdb/terminusdb) continuous integration tests with SWI-Prolog 8.5.12. Several of the failures were in our Rust layer, but one...

I successfully built [`SWI-Prolog/swipl`](https://github.com/SWI-Prolog/swipl): ```sh cmake -G Ninja .. ninja ctest -j8 ``` However, I cannot build it with the address sanitizer (ASAN): ```sh cmake -DCMAKE_BUILD_TYPE=Sanitize -G Ninja .. ninja...

### Prerequisites * [x] Put an X between the brackets on this line if you have done all of the following: * Checked that your issue isn't already [filed](https://github.com/leanprover/lean/issues). *...

A-parser