Code

Dev/bench runtime#122

Code

Merged

achreto merged 47 commits intomainubc-systopia/velosiraptor:mainfrom dev/bench-runtimeubc-systopia/velosiraptor:dev/bench-runtimeCopy head branch name to clipboardJul 11, 2024

+31,517-335

Commits

Commits on Jun 19, 2024

• adding linux and barrelfish comparison benchmarks

  Show description for 3d8cb07
  achreto

  committed
  3d8cb07

  Copy full SHA for 3d8cb07

Commits on Jul 4, 2024

• lib/velosisynth: adding more options for program generation

  Show description for feab849
  achreto

  committed
  feab849

  Copy full SHA for feab849

• lib/velosisynth: adding notin of 'complex' queries

  Show description for 49626c6
  achreto

  committed
  49626c6

  Copy full SHA for 49626c6

• lib/velosiast: adding code that checks the expression for range checks

  Show description for 9dc29a3
  achreto

  committed
  9dc29a3

  Copy full SHA for 9dc29a3

• update benches

  Show description for ff74f80
  achreto

  committed
  ff74f80

  Copy full SHA for ff74f80

• update assoc segment descriptin

  Show description for e0a8761
  achreto

  committed
  e0a8761

  Copy full SHA for e0a8761

Commits on Jul 5, 2024

• lib/velosisynth: using some more stability in the queries

  Show description for 05b6c91
  achreto

  committed
  05b6c91

  Copy full SHA for 05b6c91

• lib/velosisynth: implement query retries in the smt solver

  Show description for 29fa52c
  achreto

  committed
  29fa52c

  Copy full SHA for 29fa52c

• lib/velosisynth: resubmit query when result ins unknown

  Show description for 34b4b03
  achreto

  committed
  34b4b03

  Copy full SHA for 34b4b03

• lib/velosisynth: use BV logic for orders

  Show description for b4a2b4d
  achreto

  committed
  b4a2b4d

  Copy full SHA for b4a2b4d

• lib/velosisynth: debug print query plan

  Show description for 9c8d73c
  achreto

  committed
  9c8d73c

  Copy full SHA for 9c8d73c

• lib/smtlib2: bump version

  Show description for c959039
  achreto

  committed
  c959039

  Copy full SHA for c959039

• lib/velosisynth: use supplied buffer for formatting smtlib

  Show description for c33a832
  achreto

  committed
  c33a832

  Copy full SHA for c33a832

• lib/velosiast: applying formatter

  Show description for 6302162
  achreto

  committed
  6302162

  Copy full SHA for 6302162

• lib/velosisynth: apply formatter

  Show description for a06a140
  achreto

  committed
  a06a140

  Copy full SHA for a06a140

• lib/velosisynth: updating program builder

  Show description for 6af856c
  achreto

  committed
  6af856c

  Copy full SHA for 6af856c

• udpateing benchmark configurations

  Show description for 26e1942
  achreto

  committed
  26e1942

  Copy full SHA for 26e1942

• updating some specifications

  Show description for b4c4849
  achreto

  committed
  b4c4849

  Copy full SHA for b4c4849

Commits on Jul 8, 2024

• lib/velosiraptor-parser: bump version

  Show description for 07bee38
  achreto

  committed
  07bee38

  Copy full SHA for 07bee38

• addin build directory to gitignore

  Show description for ba12ef4
  achreto

  committed
  ba12ef4

  Copy full SHA for ba12ef4

• update rust-toolchain to 1.79

  Show description for 1432965
  achreto

  committed
  1432965

  Copy full SHA for 1432965

• benches; improve output and checking for dirtyness

  Show description for 1b7a43a
  achreto

  committed
  1b7a43a

  Copy full SHA for 1b7a43a

• update build.rs

  Show description for 56d9e5d
  achreto

  committed
  56d9e5d

  Copy full SHA for 56d9e5d

• fixing latex print

  Show description for c6be96e
  achreto

  committed
  c6be96e

  Copy full SHA for c6be96e

• fixing some warnings in the codebase

  Show description for 08ea060
  achreto

  committed
  08ea060

  Copy full SHA for 08ea060

• bench: reduce the output

  Show description for 6a10124
  achreto

  committed
  6a10124

  Copy full SHA for 6a10124

• bench: adding progress indicators

  Show description for 4951574
  achreto

  committed
  4951574

  Copy full SHA for 4951574

• benchmarks: all with progress bars and other things

  Show description for e5ec7ae
  achreto

  committed
  e5ec7ae

  Copy full SHA for e5ec7ae

• bench: fix table header

  Show description for db97834
  achreto

  committed
  db97834

  Copy full SHA for db97834

Commits on Jul 9, 2024

• updating some descriptions of generated code

  Show description for c4831a9
  achreto

  committed
  c4831a9

  Copy full SHA for c4831a9

• program builder update

  Show description for a44da00
  achreto

  committed
  a44da00

  Copy full SHA for a44da00

• update workflows to use self-hosted runner

  Show description for f7928aa
  achreto

  committed
  f7928aa

  Copy full SHA for f7928aa

• github workflow: don't use sudo on the self-hosted machine

  Show description for 63aae16
  achreto

  committed
  63aae16

  Copy full SHA for 63aae16

• lib/crustal: bumping submodule version

  Show description for 10c40b4
  achreto

  committed
  10c40b4

  Copy full SHA for 10c40b4

• applying clippy suggestions

  Show description for 1ae662d
  achreto

  committed
  1ae662d

  Copy full SHA for 1ae662d

• lib/z3: bump library version

  Show description for 41b9297
  achreto

  committed
  41b9297

  Copy full SHA for 41b9297

Commits on Jul 10, 2024

• lib/velosisynth: some fixes in the z3 worker

  Show description for e21c775
  achreto

  committed
  e21c775

  Copy full SHA for e21c775

• lib/velosiast: adding method to check if its a literal with name

  Show description for a78eb46
  achreto

  committed
  a78eb46

  Copy full SHA for a78eb46

• tests: fix clippy warnings

  Show description for 0380f35
  achreto

  committed
  0380f35

  Copy full SHA for 0380f35

• make the mpu example compile

  Show description for d2cea9b
  achreto

  committed
  d2cea9b

  Copy full SHA for d2cea9b

• lib/velosisynth: some temporary changes

  Show description for ab2b416
  achreto

  committed
  ab2b416

  Copy full SHA for ab2b416

• increase timeout

  Show description for d611b4c
  achreto

  committed
  d611b4c

  Copy full SHA for d611b4c

• lib/velosisynth: add constraint to symvar to be >1

  Show description for 41f4aec
  achreto

  committed
  41f4aec

  Copy full SHA for 41f4aec

• lib/velosisynth: retry queries with lower priority

  Show description for 2f1bb33
  achreto

  committed
  2f1bb33

  Copy full SHA for 2f1bb33

• lib/velosisynth: some updates with programm generation

  Show description for a28b9e9
  achreto

  committed
  a28b9e9

  Copy full SHA for a28b9e9

Commits on Jul 11, 2024

• benches: adding the MPU to the opt table

  Show description for 4214da8
  achreto

  committed
  4214da8

  Copy full SHA for 4214da8

• don't have the bench.1.build in the cargo.toml

  Show description for 11eb661
  achreto

  committed
  11eb661

  Copy full SHA for 11eb661