Code

Lattice support#2438

Code

Merged

quentin merged 20 commits intosouffle-lang:mastersouffle-lang/souffle:masterfrom julienhenry:lattice_supportjulienhenry/souffle:lattice_supportCopy head branch name to clipboardNov 15, 2023

+2,171-399

Commits

Commits on Nov 6, 2023

• implement automatic lubs in RAM

  julienhenry

  committed
  20ec1b4

Commits on Nov 7, 2023

• support lattice definitions

  julienhenry

  committed
  e894d56

Commits on Nov 9, 2023

• updated test

  julienhenry

  committed
  eb105c1

• clang-format

  julienhenry

  committed
  27d4454

• Merge branch 'souffle-lang:master' into lattice_support

  julienhenry

  authored
  8266c49

• clang-format

  julienhenry

  committed
  2bf174d

• clang-format Engine.cpp

  julienhenry

  authored
  f1d063d

• clang-format again... Engine.cpp

  julienhenry

  authored
  51bcbb5

• update comment

  julienhenry

  committed
  ee12706

• newlines of populate-deps.yml

  julienhenry

  committed
  cdb9fda

• Merge branch 'lattice_support' of github.com:julienhenry/souffle into lattice_support

  julienhenry

  committed
  1dcf759

• bug fix

  julienhenry

  committed
  5816f80

• fix

  julienhenry

  committed
  babf511

• fix test

  julienhenry

  committed
  c64d9e2

• for some reason clang-format behaves differently on my machine

  julienhenry

  committed
  6d1b341

Commits on Nov 12, 2023

• implement correct semantics for lattice arguments

  julienhenry

  committed
  00d1d15

• clang-format

  julienhenry

  committed
  3e64067

Commits on Nov 13, 2023

• review comments

  julienhenry

  committed
  f9a5a62

• tests

  julienhenry

  committed
  cbc25df

• update tests

  julienhenry

  committed
  7571422