Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Feb 26, 2025

• add traces

  hcirstea

  committed
  ff1206b

  Copy full SHA for ff1206b

Commits on Feb 19, 2025

• declare some parameters (for benchmarking) as constants

  hcirstea

  committed
  ebc239e

  Copy full SHA for ebc239e

• fix warning

  hcirstea

  committed
  92cc57c

  Copy full SHA for 92cc57c

• fix warning

  hcirstea

  committed
  6be9d0d

  Copy full SHA for 6be9d0d

• fix warning

  hcirstea

  committed
  ba4a0cb

  Copy full SHA for ba4a0cb

• fix bug in Store (add condition on modified)

  hcirstea

  committed
  f2ecf20

  Copy full SHA for f2ecf20

Commits on Feb 18, 2025

• remove useless Client

  hcirstea

  committed
  8d62095

  Copy full SHA for 8d62095

• fix bug in Store and add parameters for simulation

  hcirstea

  committed
  a418f02

  Copy full SHA for a418f02

Commits on Apr 24, 2024

• update scripts

  hcirstea

  committed
  db7844f

  Copy full SHA for db7844f

Commits on Apr 22, 2024

• add option for DFS

  hcirstea

  committed
  9a5b00d

  Copy full SHA for 9a5b00d

• bench for 12C (missing VEA)

  hcirstea

  committed
  dc1bc44

  Copy full SHA for dc1bc44

Commits on Apr 21, 2024

• add new benchmarks for 12C

  hcirstea

  committed
  8fb6f20

  Copy full SHA for 8fb6f20

• add benchmarks for 20keys

  hcirstea

  committed
  b70bc21

  Copy full SHA for b70bc21

• more benchmarks for 8C

  hcirstea

  committed
  f42ba7d

  Copy full SHA for f42ba7d

• add more benchmark files

  hcirstea

  committed
  f2b8cb1

  Copy full SHA for f2b8cb1

• Merge branch 'master' of github.com:lbinria/KeyValueStore

  hcirstea

  committed
  d152d84

  Copy full SHA for d152d84

• add constraint for DFS

  hcirstea

  committed
  a9a908c

  Copy full SHA for a9a908c

• Merge pull request #3 from lemmy/master

  Show description for 979c7ee
  hcirstea

  authored
  979c7ee

  Copy full SHA for 979c7ee

Commits on Apr 20, 2024

• Add Termination constraint for DFS mode.

  lemmy

  committed
  f9769c2

  Copy full SHA for f9769c2

Commits on Apr 18, 2024

• add trace for invalid trace

  hcirstea

  committed
  b6823ab

  Copy full SHA for b6823ab

• Merge pull request #2 from lbinria/develop

  Show description for 700fafc
  hcirstea

  authored
  700fafc

  Copy full SHA for 700fafc

Commits on Apr 17, 2024

• more benchmarks for keystore

  hcirstea

  committed
  0d73dec

  Copy full SHA for 0d73dec

Commits on Apr 16, 2024

• update benchmark traces

  hcirstea

  committed
  263ed16

  Copy full SHA for 263ed16

• add alternative clients and log in VAE style in the Store

  hcirstea

  committed
  3d00820

  Copy full SHA for 3d00820

Commits on Mar 27, 2024

• change Set to Update

  hcirstea

  committed
  c7d1c1a

  Copy full SHA for c7d1c1a

• use Integr keys instead of Strings

  hcirstea

  committed
  d7dbdd0

  Copy full SHA for d7dbdd0

Commits on Mar 21, 2024

• fix condition for remove

  hcirstea

  committed
  f41c5d2

  Copy full SHA for f41c5d2

Commits on Mar 20, 2024

• prepare the conf for running the Main with random actions

  hcirstea

  committed
  2e20747

  Copy full SHA for 2e20747

• add a conf file for the simple Main

  hcirstea

  committed
  50ef90c

  Copy full SHA for 50ef90c

• synchronized access to the tracing instructions

  hcirstea

  committed
  43d374e

  Copy full SHA for 43d374e

Commits on Mar 19, 2024

• add limit for the number of transactions

  hcirstea

  committed
  319de2e

  Copy full SHA for 319de2e

• add limit for the number of transactions

  hcirstea

  committed
  f7ae56d

  Copy full SHA for f7ae56d

• add limit for the number of transactions

  hcirstea

  committed
  c1054a8

  Copy full SHA for c1054a8

• add limit for the number of transactions

  hcirstea

  committed
  932c506

  Copy full SHA for 932c506

• add operator for setting a value to a key in a TLA map

  hcirstea

  committed
  b42cd0d

  Copy full SHA for b42cd0d

Pagination

Previous

Next