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
143 changes: 0 additions & 143 deletions .github/workflows/build-engines.yml

This file was deleted.

76 changes: 0 additions & 76 deletions .github/workflows/publish-npm.yml

This file was deleted.

2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -227,7 +227,7 @@ bin/axiomcode test # everything

Each suite parses its fixture cases with the parser in this repository, solves them, guards that no call site was dropped, and diffs the normalised edges against a golden. `--keep` retains per-case work directories (`graph/test/<lang>/.work/<case>/out/graph.sqlite` is a real bundle to poke at); `--bless` regenerates goldens; review the diff. Torture harnesses under `graph/test/<lang>/torture/` score real projects against their oracles.

Editing rules requires [Soufflé](https://souffle-lang.github.io) 2.5 locally (`brew install souffle`; the pinned version is in `graph/pipeline/engine.conf`); the engine recompiles on the first solve after a rule change. Publishing engines: *Actions → publish-npm → Run workflow* (dry run by default) or push a `v*` tag.
Editing rules requires [Soufflé](https://souffle-lang.github.io) 2.5 locally (`brew install souffle`; the pinned version is in `graph/pipeline/engine.conf`); the engine recompiles on the first solve after a rule change. Publishing engines: the CI workflows are not in the tree yet, so the packages are assembled with `packaging/assemble-engine-package.sh` and published by hand for now.

## Known limits

Expand Down
2 changes: 1 addition & 1 deletion graph/pipeline/run-souffle.sh
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
#
# NO SOUFFLÉ NEEDED TO RUN. The rules compile to one self-contained executable that is
# project-independent; CI builds it for every platform and publishes it on npm as
# @axiomcode/engine-<os>-<cpu> (publish-npm.yml), which this package lists as an optional
# @axiomcode/engine-<os>-<cpu>, which this package lists as an optional
# dependency so `npm install` fetches exactly the one for the machine. The binary is
# resolved in this order:
# 1. node_modules/@axiomcode/engine-<platform>/<lang>/ — used only if its ENGINE_ID equals
Expand Down