Code

Sound#41

Code

Draft

tlringer wants to merge 40 commits intomasteruwplse/coq-plugin-lib:masterfrom sounduwplse/coq-plugin-lib:soundCopy head branch name to clipboard

+2,059-391

Commits

Commits on Mar 20, 2021

• Remove second pass in minimal/sound variant

  tlringer

  committed
  5263518

  Copy full SHA for 5263518

• Remove extra functions

  tlringer

  committed
  6175785

  Copy full SHA for 6175785

Commits on Mar 24, 2021

• Merge branch 'master' into sound

  tlringer

  committed
  91d1664

  Copy full SHA for 91d1664

Commits on Apr 9, 2021

• Threading state

  

  RanDair Porter

  committed
  82d173d

  Copy full SHA for 82d173d

Commits on May 17, 2021

• Threading correct goal

  

  RanDair Porter

  committed
  4a709fa

  Copy full SHA for 4a709fa

Commits on May 24, 2021

• Decompiler errors default to using apply.

  

  RanDair Porter

  committed
  672cddf

  Copy full SHA for 672cddf

Commits on Jun 22, 2021

• Passing list of previously used tactics into get_hints

  

  RanDair Porter

  committed
  9e85305

  Copy full SHA for 9e85305

Commits on Sep 7, 2021

• base infrastructure change with submodules added in git

  efirst

  committed
  4838908

  Copy full SHA for 4838908

• minimize dependencies for pyml

  tlringer

  committed
  11f8859

  Copy full SHA for 11f8859

• minimize dependencies in mli file

  tlringer

  committed
  0ae0d3b

  Copy full SHA for 0ae0d3b

• Try to remove Stdcompat from pyml

  tlringer

  committed
  b25c926

  Copy full SHA for b25c926

• add rectypes to Makefile

  tlringer

  committed
  de1a080

  Copy full SHA for de1a080

• finish inlining 4.08 OCaml functions..

  tlringer

  committed
  3d16d48

  Copy full SHA for 3d16d48

• Update build to work with pyml

  tlringer

  committed
  91f289f

  Copy full SHA for 91f289f

• Move SerAPI to 8.9 branch

  tlringer

  committed
  32206d1

  Copy full SHA for 32206d1

• get most of SerAPI working, but need Sexplib

  tlringer

  committed
  a144721

  Copy full SHA for a144721

• get sexplib working; opening theory throws error

  tlringer

  committed
  fbd5c87

  Copy full SHA for fbd5c87

Commits on Sep 8, 2021

• try to port to dune

  tlringer

  committed
  c9bb6e2

  Copy full SHA for c9bb6e2

• Get basic build working with dune

  tlringer

  committed
  0ef071a

  Copy full SHA for 0ef071a

• Attempt to build theory with dune

  tlringer

  committed
  37ffabc

  Copy full SHA for 37ffabc

• use older dune

  tlringer

  committed
  7099ed4

  Copy full SHA for 7099ed4

• annoying things

  tlringer

  committed
  2a57d26

  Copy full SHA for 2a57d26

• idk

  tlringer

  committed
  bdfa573

  Copy full SHA for bdfa573

Commits on Sep 16, 2021

• Emilio is amazing

  tlringer

  committed
  3fb69de

  Copy full SHA for 3fb69de

• Remove comments

  tlringer

  committed
  e1f7bf4

  Copy full SHA for e1f7bf4

• Doesn't need Makefile

  tlringer

  committed
  a9fd906

  Copy full SHA for a9fd906

Commits on Sep 17, 2021

• minor tweaks

  tlringer

  committed
  92d938a

  Copy full SHA for 92d938a

Commits on Sep 21, 2021

• use Lymp instead, get building

  tlringer

  committed
  aa94568

  Copy full SHA for aa94568

• ignore .merlin files

  tlringer

  committed
  a5bdacb

  Copy full SHA for a5bdacb

• don't restrict mode

  tlringer

  committed
  b31af22

  Copy full SHA for b31af22

• Why did that one work?

  tlringer

  committed
  c067347

  Copy full SHA for c067347

• Right, so this file is broken with some weird error loading the plugin

  tlringer

  committed
  20dbd0d

  Copy full SHA for 20dbd0d

• Remove duplicate coq.plugins.ltac

  tlringer

  committed
  a693ee3

  Copy full SHA for a693ee3

• Update README.md

  tlringer

  authored
  2cc029a

  Copy full SHA for 2cc029a

• Update LICENSE

  tlringer

  authored
  0c6ecc4

  Copy full SHA for 0c6ecc4

• Update README.md

  tlringer

  authored
  4e907d5

  Copy full SHA for 4e907d5

Commits on Oct 5, 2021

• integration. need to add model, sexpcache, and check whether all other files correctly added

  efirst

  committed
  281ba24

  Copy full SHA for 281ba24

• removed some DS stores hopefully

  efirst

  committed
  1776cb1

  Copy full SHA for 1776cb1

Commits on Oct 15, 2021

• fixing modules

  efirst

  committed
  740df17

  Copy full SHA for 740df17

Commits on Oct 19, 2021

• adding in sexp

  efirst

  committed
  52fad76

  Copy full SHA for 52fad76