Code

Instance before structure#475

Code

Draft

gares wants to merge 37 commits intomath-comp:mastermath-comp/hierarchy-builder:masterfrom ThomasPortet:instance-before-structureThomasPortet/hierarchy-builder:instance-before-structureCopy head branch name to clipboard

+691-40

Commits

Commits on Feb 7, 2023

• test showing the problem

  gares

  committed
  2d7d478

  Copy full SHA for 2d7d478

Commits on Feb 14, 2023

• first try on modifying HB

  ThomasPortet

  committed
  1e51163

  Copy full SHA for 1e51163

Commits on Feb 15, 2023

• fixing bug on issue math-comp#335 should work but no tests yet

  ThomasPortet

  committed
  bd2a356

  Copy full SHA for bd2a356

• changing conflicting predicate name and completing the test for that issue math-comp#335

  ThomasPortet

  committed
  90559fc

  Copy full SHA for 90559fc

• completing the test

  ThomasPortet

  committed
  1dfc12c

  Copy full SHA for 1dfc12c

• starting to write the function for math-comp#336

  ThomasPortet

  committed
  c7f0e3e

  Copy full SHA for c7f0e3e

Commits on Feb 16, 2023

• taking out duplicates for the function in math-comp#336 and including a test for it

  ThomasPortet

  committed
  a832dbf

  Copy full SHA for a832dbf

• starting to write function in math-comp#337

  ThomasPortet

  committed
  62378c1

  Copy full SHA for 62378c1

Commits on Feb 17, 2023

• math-comp#335

  ThomasPortet

  committed
  45153aa

  Copy full SHA for 45153aa

Commits on Feb 20, 2023

• math-comp#335

  ThomasPortet

  committed
  77cc438

  Copy full SHA for 77cc438

Commits on Feb 22, 2023

• implements the new approach mentioned in math-comp#335 and adds the steps in math-comp#336 and math-comp#337, also updated the test for math-comp#338, it seems that the saturation doesn't work when…

  Show description for 3a6341b
  ThomasPortet

  committed
  3a6341b

  Copy full SHA for 3a6341b

• starting to work on the undup function for list of terms with sets

  ThomasPortet

  committed
  fd7d32b

  Copy full SHA for fd7d32b

Commits on Feb 23, 2023

• working on undup function and starting to rewrite the test for it

  ThomasPortet

  committed
  050163a

  Copy full SHA for 050163a

Commits on Feb 24, 2023

• rewriting the function to remove duplicates and the test for it

  ThomasPortet

  committed
  051df0c

  Copy full SHA for 051df0c

Commits on Feb 27, 2023

• typo

  ThomasPortet

  committed
  6815e50

  Copy full SHA for 6815e50

Commits on Mar 13, 2023

• first draft at modifying the mixin src clauses for type parameters

  ThomasPortet

  committed
  0f428cb

  Copy full SHA for 0f428cb

Commits on Mar 14, 2023

• continuing the transformation of clauses

  ThomasPortet

  committed
  071619a

  Copy full SHA for 071619a

• working on saturating instances with types

  ThomasPortet

  committed
  d2a8a5f

  Copy full SHA for d2a8a5f

Commits on Mar 15, 2023

• starting to work on math-comp#347

  ThomasPortet

  committed
  d79445b

  Copy full SHA for d79445b

Commits on Mar 17, 2023

• changing how the boolean list works : with section parameters

  ThomasPortet

  committed
  c499513

  Copy full SHA for c499513

Commits on Mar 22, 2023

• writing the boolean computing functions

  ThomasPortet

  committed
  4025a2c

  Copy full SHA for 4025a2c

• fixing mixin-src->has-mixin-instance

  ThomasPortet

  committed
  3c7b01a

  Copy full SHA for 3c7b01a

Commits on Mar 23, 2023

• writing the find instance function

  ThomasPortet

  committed
  c167f78

  Copy full SHA for c167f78

Commits on Mar 27, 2023

• reorganising declare all and working on mk-src

  ThomasPortet

  committed
  7a83809

  Copy full SHA for 7a83809

Commits on Mar 28, 2023

• modifying how we get the first argument of mixin-src : it's pre-processed now.

  ThomasPortet

  committed
  5675a26

  Copy full SHA for 5675a26

• using the right types to declare classes

  ThomasPortet

  committed
  3c04b9f

  Copy full SHA for 3c04b9f

Commits on Mar 29, 2023

• fixing the list of type upon which we call declare-all

  ThomasPortet

  committed
  9621cad

  Copy full SHA for 9621cad

• starting to rewrite mk-src

  ThomasPortet

  committed
  fdb2f58

  Copy full SHA for fdb2f58

Commits on Mar 30, 2023

• fixing mk-src, still need to check find-instance

  ThomasPortet

  committed
  3532146

  Copy full SHA for 3532146

Commits on Mar 31, 2023

• fixing clause generation

  ThomasPortet

  committed
  06268e3

  Copy full SHA for 06268e3

• saturating instance works !

  ThomasPortet

  committed
  cc36c74

  Copy full SHA for cc36c74

Commits on Apr 5, 2023

• cleaning up code and adding comments and a unit test

  ThomasPortet

  committed
  3febe7f

  Copy full SHA for 3febe7f

Commits on Apr 7, 2023

• creating unit tests and cleaning up code

  ThomasPortet

  committed
  c51263d

  Copy full SHA for c51263d

Commits on Apr 11, 2023

• more tests

  ThomasPortet

  committed
  6450bf4

  Copy full SHA for 6450bf4

Commits on Apr 12, 2023

• more tests and fixing the instance parameters case

  ThomasPortet

  committed
  971749f

  Copy full SHA for 971749f

Commits on Apr 13, 2023

• fixing coqproject and fixing a bug on mk-src

  ThomasPortet

  committed
  64b5ee9

  Copy full SHA for 64b5ee9

• changing prints into warnings to allow test suite to work

  ThomasPortet

  committed
  7fd35ef

  Copy full SHA for 7fd35ef