Code

Cleanup and Updates#2

Code

Merged

Brandon-Rozek merged 8 commits intomasterRAIRLab/Spectra:masterfrom time_searchRAIRLab/Spectra:time_searchCopy head branch name to clipboardMar 29, 2024

+93-44

Commits

Commits on Nov 20, 2023

• Handling edge cases in precondition -> formula

  Brandon-Rozek

  committed
  a747b38

  Copy full SHA for a747b38

• Improving DCEC support

  Show description for 0188378
  Brandon-Rozek

  committed
  0188378

  Copy full SHA for 0188378

Commits on Mar 29, 2024

• Epistemic problem

  Brandon-Rozek

  committed
  8692700

  Copy full SHA for 8692700

• Removed dead code

  Brandon-Rozek

  committed
  59b6845

  Copy full SHA for 59b6845

• Create runner jar

  Brandon-Rozek

  committed
  7760125

  Copy full SHA for 7760125

• Removed dead code

  Brandon-Rozek

  committed
  13b3879

  Copy full SHA for 13b3879

• Added timing code

  Brandon-Rozek

  committed
  f44c75e

  Copy full SHA for f44c75e

• Removed unused domain, commented out debug code

  Brandon-Rozek

  committed
  aec7d98

  Copy full SHA for aec7d98