Code

TC solver#515

Code

Closed

FissoreD wants to merge 10 commits intoLPCIC:masterLPCIC/coq-elpi:masterfrom FissoreD:master-tcFissoreD/coq-elpi:master-tcCopy head branch name to clipboard

+4,811-4

Commits

Commits on Oct 7, 2023

• version1 tc

  FissoreD

  committed
  d4ff2a0

  Copy full SHA for d4ff2a0

• version2 tc: first test passes

  FissoreD

  committed
  9dae1eb

  Copy full SHA for 9dae1eb

Commits on Oct 8, 2023

• version3: add tests

  FissoreD

  committed
  ae83724

  Copy full SHA for ae83724

Commits on Oct 10, 2023

• Delete apps/tc/README.md

  gares

  authored
  a25b79e

  Copy full SHA for a25b79e

• Apply suggestions from code review

  gares

  authored
  2042eb2

  Copy full SHA for 2042eb2

• Update apps/tc/Makefile.coq.local

  gares

  authored
  8d162d2

  Copy full SHA for 8d162d2

• wip

  gares

  committed
  1706169

  Copy full SHA for 1706169

• skeleton observer

  gares

  committed
  d741f04

  Copy full SHA for d741f04

• clenaup

  gares

  committed
  c5e2edd

  Copy full SHA for c5e2edd

• rm generated file

  gares

  committed
  c7c7722

  Copy full SHA for c7c7722