Code

Incremental version of the solver#1000

Code

Open

Stevendeo wants to merge 17 commits intoOCamlPro:nextOCamlPro/alt-ergo:nextfrom Stevendeo:get-rid-of-cmdStevendeo/alt-ergo:get-rid-of-cmdCopy head branch name to clipboard

+1,197-579

Commits

Commits on Mar 22, 2024

• First version of full incremental solving loop

  Stevendeo

  committed
  9cf1828

  Copy full SHA for 9cf1828

• Update tests

  Stevendeo

  committed
  6790c68

  Copy full SHA for 6790c68

• Interleaving full imperative and partial imperative modes

  Stevendeo

  committed
  2fd8303

  Copy full SHA for 2fd8303

• Update tests

  Stevendeo

  committed
  e918fa0

  Copy full SHA for e918fa0

Commits on Mar 25, 2024

• Reactivating abstract value printing and update tests

  Stevendeo

  committed
  c985aed

  Copy full SHA for c985aed

• Documentation and small fix

  Stevendeo

  committed
  0f0dd69

  Copy full SHA for 0f0dd69

• Style

  Stevendeo

  committed
  c10ad82

  Copy full SHA for c10ad82

• Indent

  Stevendeo

  committed
  4bbfc84

  Copy full SHA for 4bbfc84

• Fix for test tests/cc/testfile-ac_cc002.ae

  Stevendeo

  committed
  e844f17

  Copy full SHA for e844f17

Commits on Mar 28, 2024

• Poetry

  Stevendeo

  committed
  cfbc8bc

  Copy full SHA for cfbc8bc

Commits on Apr 4, 2024

• Disactivating push & pop in queries in non incremental mode

  Stevendeo

  committed
  f03b2e1

  Copy full SHA for f03b2e1

• Linter

  Stevendeo

  committed
  baba255

  Copy full SHA for baba255

Commits on Apr 5, 2024

• Reinitializing current path to avoid double replay

  Stevendeo

  committed
  e02c791

  Copy full SHA for e02c791

• Fix timeout issues

  Stevendeo

  committed
  cf3b8a2

  Copy full SHA for cf3b8a2

• Rename function

  Stevendeo

  committed
  97353c0

  Copy full SHA for 97353c0

• Removing unit_tenv_queue

  Stevendeo

  committed
  a91b605

  Copy full SHA for a91b605

• Fix for another issue I need to test my PR

  Stevendeo

  committed
  a0f518e

  Copy full SHA for a0f518e