Code

Update igraph and fix build#589

Code

Open

xiota wants to merge 6 commits intoemsec:masteremsec/hal:masterfrom xiota:pr_fixxiota/hal-emsec:pr_fixCopy head branch name to clipboard

+16-14

Commits

Commits on Sep 15, 2024

• Update igraph to 0.10.13

  xiota

  committed
  f02d1dd

• Add missing algorithm header

  xiota

  committed
  f67c717

• Cast Z3_decl_kind to std::size_t

  xiota

  committed
  097c49e

• Fix using system igraph

  xiota

  committed
  7b7a831

• Cast m_multithreading_priority to std::size_t

  xiota

  committed
  818cd1b

• Enable plugins required by logic_evaluator plugin

  Show description for 98a8e06
  xiota

  committed
  98a8e06