Code

Simpl by cbv#643

Code

Open

MSoegtropIMC wants to merge 4 commits intoPrincetonUniversity:masterPrincetonUniversity/VST:masterfrom MSoegtropIMC:simpl-by-cbvMSoegtropIMC/VST:simpl-by-cbvCopy head branch name to clipboard

+3,220-6

Commits

Commits on Nov 24, 2022

• macOS: fix date in generation of veric/version.c

  MSoegtropIMC

  committed
  78316cf

  Copy full SHA for 78316cf

• Simplify by cbv: Elpi based reduction symbol table genrator + Ltac2 based simplifier tactics

  MSoegtropIMC

  committed
  0d35c07

  Copy full SHA for 0d35c07

• Disable 'simpl by cbv' for the time beeing

  MSoegtropIMC

  committed
  46a86cb

  Copy full SHA for 46a86cb

• Extended notes on cbv debugging

  MSoegtropIMC

  committed
  a048452

  Copy full SHA for a048452