Code

Reduce: Simulation algorithm#434

Code

Draft

samo538 wants to merge 8 commits intoVeriFIT:develVeriFIT/mata:develfrom samo538:simulationsamo538/mata:simulationCopy head branch name to clipboard

+3,449-3,214

Commits

Commits on Sep 11, 2024

• Reduce: Simulation algorithm

  samo538

  committed
  c3d9118

  Copy full SHA for c3d9118

• Reduce: Benchmarking

  samo538

  committed
  aa3ccd6

  Copy full SHA for aa3ccd6

• Fix: benchmarking automata

  samo538

  committed
  07df042

  Copy full SHA for 07df042

Commits on Oct 7, 2024

• 1. Update: Matrix removal

  samo538

  committed
  7599acf

  Copy full SHA for 7599acf

Commits on Oct 25, 2024

• reduced number of binary searches

  samo538

  committed
  550c81d

  Copy full SHA for 550c81d

Commits on Nov 26, 2024

• Deleted hash map

  samo538

  committed
  178a790

  Copy full SHA for 178a790

• reduced binary searches

  samo538

  committed
  d232b58

  Copy full SHA for d232b58

Commits on Dec 20, 2024

• faster vector, better loops

  samo538

  committed
  1bbd7ea

  Copy full SHA for 1bbd7ea