Code

Implement serializing to duckdb#1578

Code

Draft

rien wants to merge 7 commits intomaindodona-edu/dolos:mainfrom feature/duckdbdodona-edu/dolos:feature/duckdbCopy head branch name to clipboard

+923-143

Commits

Commits on Jul 19, 2024

• Implement serializing to duckdb

  rien

  committed
  6c5dc6c

  Copy full SHA for 6c5dc6c

Commits on Jul 30, 2024

• Write-out using INSERT

  rien

  committed
  f7d1648

  Copy full SHA for f7d1648

• Write-out data to duckdb using arrow IPC tables

  rien

  committed
  373d768

  Copy full SHA for 373d768

Commits on Aug 2, 2024

• Change web to use DuckDB database

  rien

  committed
  0d0f14e

  Copy full SHA for 0d0f14e

• Add code for measuring how fast report is shown

  rien

  committed
  0925e01

  Copy full SHA for 0925e01

• fix bug in serializing file.extra

  rien

  committed
  92e823c

  Copy full SHA for 92e823c

Commits on Sep 10, 2024

• Test front-end with duckdb

  rien

  committed
  21a1606

  Copy full SHA for 21a1606