Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 19, 2024

• Revert "verified Scala with Stainless"

  usr3-1415

  authored
  c81da53

  Copy full SHA for c81da53

Commits on Feb 16, 2024

• exit 1 added

  fschramka

  committed
  096e448

  Copy full SHA for 096e448

• no message

  fschramka

  committed
  edb3e25

  Copy full SHA for edb3e25

Commits on Feb 15, 2024

• runs now

  fschramka

  committed
  56d7ddc

  Copy full SHA for 56d7ddc

Commits on Jan 6, 2023

• add git pull to local-buils.sh

  usr3-1415

  committed
  8bee3ab

  Copy full SHA for 8bee3ab

• fix -ig mode

  usr3-1415

  committed
  4ee2ce2

  Copy full SHA for 4ee2ce2

Commits on Jan 2, 2023

• fix lb

  usr3-1415

  committed
  4e6a707

  Copy full SHA for 4e6a707

• IA5String with control characters are now supported

  usr3-1415

  committed
  bf364aa

  Copy full SHA for bf364aa

Commits on Dec 31, 2022

• Thread pool size set to 48

  usr3-1415

  committed
  cb1a704

  Copy full SHA for cb1a704

• local build increase threads

  usr3-1415

  committed
  f268062

  Copy full SHA for f268062

Commits on Dec 30, 2022

• 32-bit test cases

  usr3-1415

  committed
  f99e96b

  Copy full SHA for f99e96b

• 32-bit-test cases

  usr3-1415

  committed
  b1d252b

  Copy full SHA for b1d252b

• 32 bit test cases

  usr3-1415

  committed
  1b7293b

  Copy full SHA for 1b7293b

• 32-bit test cases

  usr3-1415

  committed
  d33ba5e

  Copy full SHA for d33ba5e

• WIP

  usr3-1415

  committed
  5c008fb

  Copy full SHA for 5c008fb

Commits on Dec 29, 2022

• regression

  usr3-1415

  committed
  f213975

  Copy full SHA for f213975

• Spark in Docker

  usr3-1415

  committed
  676d166

  Copy full SHA for 676d166

Loading