Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ A deductive system for logical inference, implemented in C++. The library provid

- **C++ Core**: The core implementation in `src/` and `include/ds/` provides the fundamental data structures and algorithms
- **Python Bindings**: Built with pybind11, wrapping the C++ core (see `apyds/`)
- **TypeScript/JavaScript Bindings**: Built with Emscripten, compiling C++ to WebAssembly (see `tsds/`)
- **TypeScript/JavaScript Bindings**: Built with Emscripten, compiling C++ to WebAssembly (see `atsds/`)

## Features

Expand Down
File renamed without changes.
2 changes: 1 addition & 1 deletion docs/examples/sudoku.md
Original file line number Diff line number Diff line change
Expand Up @@ -21,7 +21,7 @@ The Sudoku solver encodes Sudoku rules as logical inference rules in the DS syst
<script>
(async () => {
const vue = await import("https://unpkg.com/vue@3.5.25/dist/vue.esm-browser.prod.js");
const atsds = await import("https://unpkg.com/atsds@0.0.2/dist/tsds.mjs");
const atsds = await import("https://unpkg.com/atsds@0.0.4/dist/index.mjs");
const { loadModule } = await import("https://unpkg.com/vue3-sfc-loader@0.9.5/dist/vue3-sfc-loader.esm.js");

const options = {
Expand Down
2 changes: 1 addition & 1 deletion docs/getting-started/installation.md
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ The package works in browsers that support WebAssembly:

```html
<script type="module">
import { term_t } from "https://unpkg.com/atsds/dist/tsds.mjs";
import { term_t } from "https://unpkg.com/atsds/dist/index.mjs";

const term = new term_t("(hello world)");
console.log(term.toString());
Expand Down
2 changes: 1 addition & 1 deletion examples/main.mjs
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
import { rule_t, search_t, buffer_size } from "../atsds/tsds.mts";
import { rule_t, search_t, buffer_size } from "../atsds/index.mts";

function main() {
const temp_data_size = 1000;
Expand Down
14 changes: 7 additions & 7 deletions package.json
Original file line number Diff line number Diff line change
Expand Up @@ -8,14 +8,14 @@
"url": "https://github.com/USTC-KnowledgeComputingLab/ds.git"
},
"type": "module",
"exports": "./dist/tsds.mjs",
"main": "dist/tsds.mjs",
"module": "dist/tsds.mjs",
"browser": "dist/tsds.mjs",
"types": "dist/tsds.d.mts",
"exports": "./dist/index.mjs",
"main": "dist/index.mjs",
"module": "dist/index.mjs",
"browser": "dist/index.mjs",
"types": "dist/index.d.mts",
"files": [
"dist/tsds.d.mts",
"dist/tsds.mjs"
"dist/index.d.mts",
"dist/index.mjs"
],
"scripts": {
"emcc": "emcc -std=c++20 atsds/ds.cc src/*.cc -Iinclude -lembind -o atsds/ds.mjs --emit-tsd ds.d.mts -O3 -ffast-math -flto -s ALLOW_MEMORY_GROWTH=1 -s SINGLE_FILE=1",
Expand Down
4 changes: 2 additions & 2 deletions rollup.config.mjs
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ import { dts } from "rollup-plugin-dts";
export default [
{
input: {
tsds: "atsds/tsds.mts",
index: "atsds/index.mts",
example: "examples/main.mjs",
},
output: {
Expand All @@ -18,7 +18,7 @@ export default [
},
{
input: {
tsds: "atsds/tsds.mts",
index: "atsds/index.mts",
},
output: {
dir: "dist",
Expand Down
2 changes: 1 addition & 1 deletion tests/test_item.mjs
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
import { item_t, buffer_size } from "../atsds/tsds.mts";
import { item_t, buffer_size } from "../atsds/index.mts";

let v = null;

Expand Down
2 changes: 1 addition & 1 deletion tests/test_list.mjs
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
import { list_t, buffer_size } from "../atsds/tsds.mts";
import { list_t, buffer_size } from "../atsds/index.mts";

let v = null;

Expand Down
2 changes: 1 addition & 1 deletion tests/test_rule.mjs
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
import { rule_t, buffer_size } from "../atsds/tsds.mts";
import { rule_t, buffer_size } from "../atsds/index.mts";

let v = null;

Expand Down
2 changes: 1 addition & 1 deletion tests/test_search.mjs
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
import { search_t, rule_t } from "../atsds/tsds.mts";
import { search_t, rule_t } from "../atsds/index.mts";

let search = null;

Expand Down
2 changes: 1 addition & 1 deletion tests/test_string.mjs
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
import { string_t, buffer_size } from "../atsds/tsds.mts";
import { string_t, buffer_size } from "../atsds/index.mts";

let v = null;

Expand Down
2 changes: 1 addition & 1 deletion tests/test_term.mjs
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
import { list_t, item_t, variable_t, term_t, buffer_size } from "../atsds/tsds.mts";
import { list_t, item_t, variable_t, term_t, buffer_size } from "../atsds/index.mts";

let v = null;

Expand Down
2 changes: 1 addition & 1 deletion tests/test_variable.mjs
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
import { variable_t, buffer_size } from "../atsds/tsds.mts";
import { variable_t, buffer_size } from "../atsds/index.mts";

let v = null;

Expand Down