Repository navigation

Dt corentin - #80

Closed

MinaroliCorentin wants to merge 23 commits into

GoelandProver:masterfrom

MinaroliCorentin:dt-Corentin

Closed

Dt corentin#80
MinaroliCorentin wants to merge 23 commits into
GoelandProver:masterfrom
MinaroliCorentin:dt-Corentin

Commits on Mar 26, 2026
- clean: remove TermForm and unify terms
  jrosain
  committed
  d00902b
Commits on Apr 13, 2026
- dt skeleton
  jcailler
  committed
  ccddd14
Commits on Apr 16, 2026
- Basic DiscrminationTree with minimal tests
  MinaroliCorentin
  committed
  892cb1b
Commits on Apr 23, 2026
- Temporary implement of discriminationTree with few issues
  MinaroliCorentin
  committed
  db79bdd
Commits on Apr 24, 2026
- Fix Tests and remove debugging Printf
  MinaroliCorentin
  committed
  6ebd40f
Commits on Apr 27, 2026
- Additionnal Test + Commit before update function retrieve
  MinaroliCorentin
  committed
  cd80f6c
Commits on Apr 28, 2026
- Implementation of all the basics function for the discrimination Tree + Test for all functions
  MinaroliCorentin
  committed
  e417639
Commits on Apr 29, 2026
- Basic DiscriminationTree implementation
  MinaroliCorentin
  committed
  f82a328
- Removing debug print
  MinaroliCorentin
  committed
  114382d
Commits on Apr 30, 2026
- Implementing single thread perfect tree
  MinaroliCorentin
  committed
  aaffcc6
Commits on May 6, 2026
- Add concurrency to RetrieveUnifiables
  MinaroliCorentin
  committed
  ee81945
Commits on May 12, 2026
- Multi-Thread implemented.
  MinaroliCorentin
  committed
  a55cf19
Commits on May 19, 2026
- Implementaiton change from SymbolType and Connexion to the Global Goeland system
  MinaroliCorentin
  committed
  05798cf
Commits on May 22, 2026
- Changes to SymbolType and creation of news functions to prun the tree
  MinaroliCorentin
  committed
  c959aea
- reowrk and Improvement of DT-test
  MinaroliCorentin
  committed
  dd3fe31
Commits on Jun 2, 2026
- Rework of discriminationTree. Add Ty to the tree and rework of tests
  MinaroliCorentin
  committed
  ba5f609
Commits on Jun 12, 2026
- Fix Bug in Test.
  MinaroliCorentin
  committed
  cfa9ba0
Commits on Jun 14, 2026
- Test Green for UnifyTerm
  MinaroliCorentin
  committed
  d868971
Commits on Jun 19, 2026
- Final Commit.
  MinaroliCorentin
  committed
  bcd0856
Commits on Jun 21, 2026
- Add more test
  MinaroliCorentin
  committed
  6ad4fa5
Commits on Jun 22, 2026
- Remove CPU Bound on Benchmark because it's annoying to set it back
  MinaroliCorentin
  committed
  9b75fe3
Commits on Jul 18, 2026
- Upgrading the discrminationTree and working on why test-suite/proofs/tf1_basic_thm-2.p doesn't works anymore
  MinaroliCorentin
  committed
  e8ff625
Commits on Jul 24, 2026
- Modification to make test-suite works
  MinaroliCorentin
  committed
  4215a8b

Commits

Commits on Mar 26, 2026

Commits on Apr 13, 2026

Commits on Apr 16, 2026

Commits on Apr 23, 2026

Commits on Apr 24, 2026

Commits on Apr 27, 2026

Commits on Apr 28, 2026

Commits on Apr 29, 2026

Commits on Apr 30, 2026

Commits on May 6, 2026

Commits on May 12, 2026

Commits on May 19, 2026

Commits on May 22, 2026

Commits on Jun 2, 2026

Commits on Jun 12, 2026

Commits on Jun 14, 2026

Commits on Jun 19, 2026

Commits on Jun 21, 2026

Commits on Jun 22, 2026

Commits on Jul 18, 2026

Commits on Jul 24, 2026