Code

add tactic set#1101

Code

Merged

fblanqui merged 18 commits intoDeducteam:masterDeducteam/lambdapi:masterfrom fblanqui:setfblanqui/lambdapi:setCopy head branch name to clipboardNov 10, 2024

+350-234

Commits

Commits on Apr 26, 2024

• add tactic set

  fblanqui

  committed
  91a7ab2

  Copy full SHA for 91a7ab2

• wip

  fblanqui

  committed
  3a89e3e

  Copy full SHA for 3a89e3e

• wip

  fblanqui

  committed
  532297f

  Copy full SHA for 532297f

Commits on Apr 29, 2024

• print definitions in lsp clients

  fblanqui

  committed
  49b1882

  Copy full SHA for 49b1882

• fix Eval.simplify and Goal.simpl

  fblanqui

  committed
  a9a155f

  Copy full SHA for a9a155f

• details

  fblanqui

  committed
  ed4cceb

  Copy full SHA for ed4cceb

• fix of_prod_using

  fblanqui

  committed
  e95a676

  Copy full SHA for e95a676

Commits on Apr 30, 2024

• wip

  fblanqui

  committed
  7cd6ae2

  Copy full SHA for 7cd6ae2

• wip

  fblanqui

  committed
  a62bb26

  Copy full SHA for a62bb26

• wip

  fblanqui

  committed
  07f00f5

  Copy full SHA for 07f00f5

• wip

  fblanqui

  committed
  20ea1dc

  Copy full SHA for 20ea1dc

• wip

  fblanqui

  committed
  5b90602

  Copy full SHA for 5b90602

• Merge remote-tracking branch 'dk/master' into set

  fblanqui

  committed
  21287fc

  Copy full SHA for 21287fc

• Merge remote-tracking branch 'dk/master' into set

  fblanqui

  committed
  db66348

  Copy full SHA for db66348

Commits on Jun 24, 2024

• Merge remote-tracking branch 'dk/master' into set

  fblanqui

  committed
  ef88e51

  Copy full SHA for ef88e51

Commits on Aug 30, 2024

• Merge remote-tracking branch 'dk/master' into set

  fblanqui

  committed
  27bcb94

  Copy full SHA for 27bcb94

Commits on Oct 30, 2024

• Merge remote-tracking branch 'dk/master' into set

  fblanqui

  committed
  9dbfd5f

  Copy full SHA for 9dbfd5f

Commits on Nov 10, 2024

• details

  fblanqui

  committed
  195ca29

  Copy full SHA for 195ca29