Code

Move Souffle bindings to souffle.js#120

Code

Merged

jubnzv merged 22 commits intomasternowarp/misti:masterfrom new-soufflenowarp/misti:new-souffleCopy head branch name to clipboardSep 2, 2024

+305-1,144

Commits

Commits on Aug 31, 2024

• feat(souffle): Rewrite the Souffle module

  Show description for 15f73c1
  jubnzv

  committed
  15f73c1

  Copy full SHA for 15f73c1

Commits on Sep 1, 2024

• feat(detectors): Update detectors to use new Souffle

  jubnzv

  committed
  b658500

  Copy full SHA for b658500

• chore(souffle): More comments in syntax tree

  jubnzv

  committed
  ce2f9c6

  Copy full SHA for ce2f9c6

• feat(souffle): Better formatting in pp

  jubnzv

  committed
  e94fc77

  Copy full SHA for e94fc77

• feat(cli): Add --souffle-verbose option

  jubnzv

  committed
  b81166a

  Copy full SHA for b81166a

• feat(souffle): Default Souffle directory used by misti

  jubnzv

  committed
  3a2395e

  Copy full SHA for 3a2395e

• chore(souffle): Rename executors for consistency

  jubnzv

  committed
  821acb2

  Copy full SHA for 821acb2

• feat(souffle): Allow raw Soufflé output in the result

  jubnzv

  committed
  4c79246

  Copy full SHA for 4c79246

• feat(souffle): Add example

  jubnzv

  committed
  9b3c30a

  Copy full SHA for 9b3c30a

• feat(souffle): Add README

  jubnzv

  committed
  d72490b

  Copy full SHA for d72490b

• chore: Update README

  jubnzv

  committed
  229db8d

  Copy full SHA for 229db8d

• fix: typos

  jubnzv

  committed
  b44ff23

  Copy full SHA for b44ff23

• feat(souffle): Add library tests

  jubnzv

  committed
  5ee5865

  Copy full SHA for 5ee5865

• feat(souffle): Add logger

  jubnzv

  committed
  3a70502

  Copy full SHA for 3a70502

• feat(souffle): Add custom errors

  jubnzv

  committed
  bc6e947

  Copy full SHA for bc6e947

• fix(cspell): unmarshal

  jubnzv

  committed
  8c0b61e

  Copy full SHA for 8c0b61e

• fix: Add missing file

  jubnzv

  committed
  cab80cb

  Copy full SHA for cab80cb

Commits on Sep 2, 2024

• feat: Move souffle bindings to https://github.com/nowarp/souffle.js

  jubnzv

  committed
  773188a

  Copy full SHA for 773188a

• chore: Update changelog

  jubnzv

  committed
  abca181

  Copy full SHA for abca181

• fix: Formatting

  jubnzv

  committed
  60bedd1

  Copy full SHA for 60bedd1

• fix: typo

  jubnzv

  committed
  2be8aae

  Copy full SHA for 2be8aae

• chore: bump souffle

  jubnzv

  committed
  a15d4a9

  Copy full SHA for a15d4a9