Code

Benchmarking#769

Code

Merged

min-nguyen merged 5 commits intodevelopexplorable-viz/fluid:developfrom benchmarkingexplorable-viz/fluid:benchmarkingCopy head branch name to clipboardSep 27, 2023

+22-25

Commits

Commits on Sep 27, 2023

• Remove redundant fields from Trace-based EvalGaloisConnection

  

  min-nguyen

  committed
  3ff3c3a

• Remove redundant GraphConfig field from Graph-Based EvalGaloisConnection

  

  min-nguyen

  committed
  4c1b0f9

• Refactor fields of Graph-based EvalGaloisConnection

  

  min-nguyen

  committed
  9b605af

• Simplified Backward (all outputs selected)

  

  min-nguyen

  committed
  577fa5f

• Specialise Graph.EvalGaloisConnection to use Set Vertex for domain + codomain

  

  min-nguyen

  committed
  d78c8e2