Code

Check countermodels#829

Code

Draft

cassiatorczon wants to merge 25 commits intorems-project:masterrems-project/cerberus:masterfrom cassiatorczon:check-countermodelcassiatorczon/cerberus:check-countermodelCopy head branch name to clipboard

+559-5

Commits

Commits on Oct 15, 2024

• draft of minimal checking algo for string example

  cassiatorczon

  committed
  acc454d

  Copy full SHA for acc454d

Commits on Oct 17, 2024

• Merge branch 'rems-project:master' into check-countermodel

  cassiatorczon

  authored
  1a786d9

  Copy full SHA for 1a786d9

Commits on Oct 18, 2024

• sync

  cassiatorczon

  committed
  419f7e0

  Copy full SHA for 419f7e0

Commits on Oct 21, 2024

• bug fixes

  cassiatorczon

  committed
  0d880ed

  Copy full SHA for 0d880ed

• Merge branch 'rems-project:master' into check-countermodel

  cassiatorczon

  authored
  7d6f186

  Copy full SHA for 7d6f186

Commits on Oct 22, 2024

• fixed equality

  cassiatorczon

  committed
  e8a295b

  Copy full SHA for e8a295b

• Merge branch 'rems-project:master' into check-countermodel

  cassiatorczon

  authored
  f67a63d

  Copy full SHA for f67a63d

• removed completed TODOs

  cassiatorczon

  committed
  a159505

  Copy full SHA for a159505

• made LAT more modular

  cassiatorczon

  committed
  a64ec8b

  Copy full SHA for a64ec8b

• changed display to show resources that may be and are not invalid as well

  cassiatorczon

  committed
  e1ede0c

  Copy full SHA for e1ede0c

Commits on Oct 28, 2024

• code showing why mutual recursion is necessary

  cassiatorczon

  committed
  da85ee9

  Copy full SHA for da85ee9

• readability

  cassiatorczon

  committed
  6c74b92

  Copy full SHA for 6c74b92

Commits on Oct 30, 2024

• cleanup

  cassiatorczon

  committed
  c5eabbf

  Copy full SHA for c5eabbf

• Merge branch 'rems-project:master' into check-countermodel

  cassiatorczon

  authored
  aee4f4d

  Copy full SHA for aee4f4d

Commits on Jan 13, 2025

• saving before merging

  cassiatorczon

  committed
  f4bd07f

  Copy full SHA for f4bd07f

• saving before merging

  cassiatorczon

  committed
  fccce27

  Copy full SHA for fccce27

Commits on Jan 14, 2025

• merge

  cassiatorczon

  committed
  1e738b4

  Copy full SHA for 1e738b4

• improved pp in explain

  cassiatorczon

  committed
  5e3300e

  Copy full SHA for 5e3300e

• cleanup of comments

  cassiatorczon

  committed
  481313d

  Copy full SHA for 481313d

• version fix

  cassiatorczon

  committed
  16183b9

  Copy full SHA for 16183b9

• nits

  cassiatorczon

  committed
  f6eed4e

  Copy full SHA for f6eed4e

• nits

  cassiatorczon

  committed
  fc0c976

  Copy full SHA for fc0c976

• nits

  cassiatorczon

  committed
  b5ff68b

  Copy full SHA for b5ff68b

• nits

  cassiatorczon

  committed
  78837ba

  Copy full SHA for 78837ba

• nits

  cassiatorczon

  committed
  3ce32f9

  Copy full SHA for 3ce32f9