Code

Upgrade React Router to V6#1054

Code

Closed

EshaanAgg wants to merge 49 commits intososy-lab:mainsosy-lab/benchexec:mainfrom EshaanAgg:router-upEshaanAgg/benchexec:router-upCopy head branch name to clipboard

+282-254

Commits

Commits on Jun 12, 2024

• test commit

  EshaanAgg

  committed
  7780a59

  Copy full SHA for 7780a59

• package update

  EshaanAgg

  committed
  3e35400

  Copy full SHA for 3e35400

• some more changes

  EshaanAgg

  committed
  5199cbe

  Copy full SHA for 5199cbe

• build app

  EshaanAgg

  committed
  37fb67f

  Copy full SHA for 37fb67f

• fix

  EshaanAgg

  committed
  55dba34

  Copy full SHA for 55dba34

• build application

  EshaanAgg

  committed
  1b7e4b0

  Copy full SHA for 1b7e4b0

Commits on Jun 17, 2024

• fix URL navigation

  EshaanAgg

  committed
  345c467

  Copy full SHA for 345c467

• build application

  EshaanAgg

  committed
  473efcd

  Copy full SHA for 473efcd

Commits on Jun 18, 2024

• fix errors

  EshaanAgg

  committed
  d09d570

  Copy full SHA for d09d570

Commits on Jun 19, 2024

• fix UI not updating properly error

  EshaanAgg

  committed
  72b6576

  Copy full SHA for 72b6576

Commits on Jun 20, 2024

• remove unused param

  EshaanAgg

  committed
  224c784

  Copy full SHA for 224c784

Commits on Jun 21, 2024

• add firefox compatibility

  EshaanAgg

  committed
  0a84579

  Copy full SHA for 0a84579

Commits on Jun 26, 2024

• review

  EshaanAgg

  committed
  1b09990

  Copy full SHA for 1b09990

Commits on Jun 28, 2024

• update tests and build app

  EshaanAgg

  committed
  e8fca47

  Copy full SHA for e8fca47

• Update SeaHorn's executable paths

  

  Po-Chun-Chien

  authored and

  EshaanAgg

  committed
  3665073

  Copy full SHA for 3665073

• Update name and add project URL of SeaHorn

  

  Po-Chun-Chien

  authored and

  EshaanAgg

  committed
  c85501e

  Copy full SHA for c85501e

• Get version from SeaHorn 14

  Show description for 8b03f76
  

  Po-Chun-Chien

  authored and

  EshaanAgg

  committed
  8b03f76

  Copy full SHA for 8b03f76

• Update command line to run SeaHorn

  Show description for f4fded0
  

  Po-Chun-Chien

  authored and

  EshaanAgg

  committed
  f4fded0

  Copy full SHA for f4fded0

• Determine verification result for SeaHorn 14

  

  Po-Chun-Chien

  authored and

  EshaanAgg

  committed
  312868e

  Copy full SHA for 312868e

• Remove unused import

  

  Po-Chun-Chien

  authored and

  EshaanAgg

  committed
  35243db

  Copy full SHA for 35243db

• Use groupadd instead of addgroup in our .deb-package installation script

  Show description for 3182ee2
  

  PhilippWendler

  authored and

  EshaanAgg

  committed
  3182ee2

  Copy full SHA for 3182ee2

• Add helpful error message on Ubuntu 24.04 if namespaces are restricted

  

  younghojan

  authored and

  EshaanAgg

  committed
  b2487c4

  Copy full SHA for b2487c4

• Refactoring: remove duplicate code into utility function

  

  PhilippWendler

  authored and

  EshaanAgg

  committed
  1ad20fe

  Copy full SHA for 1ad20fe

• Add an AppArmor profile for BenchExec to its .deb package

  Show description for 5ba66e9
  

  PhilippWendler

  authored and

  EshaanAgg

  committed
  5ba66e9

  Copy full SHA for 5ba66e9

• Fix crash with FileNotFoundError in cgroups v2 fallback case.

  Show description for 2d3b9ca
  

  PhilippWendler

  authored and

  EshaanAgg

  committed
  2d3b9ca

  Copy full SHA for 2d3b9ca

• Add --architecture flag to theta

  

  leventeBajczi

  authored and

  EshaanAgg

  committed
  db8695d

  Copy full SHA for db8695d

• Update theta.py

  

  leventeBajczi

  authored and

  EshaanAgg

  committed
  806c7eb

  Copy full SHA for 806c7eb

• Add was_terminated check

  

  leventeBajczi

  authored and

  EshaanAgg

  committed
  60e1a23

  Copy full SHA for 60e1a23

• Update theta.py

  

  leventeBajczi

  authored and

  EshaanAgg

  committed
  c4d4519

  Copy full SHA for c4d4519

• Adapt SeaHorn's tool-info module such that it is compatible with its default and SV-COMP wrapper

  Show description for 0747aff
  

  Po-Chun-Chien

  authored and

  EshaanAgg

  committed
  0747aff

  Copy full SHA for 0747aff

• Remove a redundant required path

  

  Po-Chun-Chien

  authored and

  EshaanAgg

  committed
  97b1698

  Copy full SHA for 97b1698

• Adapt CPAchecker's tool-info module to change of executable

  Show description for 49a61db
  

  PhilippWendler

  authored and

  EshaanAgg

  committed
  49a61db

  Copy full SHA for 49a61db

• Refactoring: introduce utility function in CPAchecker's tool-info module

  Show description for 95abd2b
  

  PhilippWendler

  authored and

  EshaanAgg

  committed
  95abd2b

  Copy full SHA for 95abd2b

• Adapt tool-info module to new option style of CPAchecker

  Show description for e50ef6d
  

  PhilippWendler

  authored and

  EshaanAgg

  committed
  e50ef6d

  Copy full SHA for e50ef6d

• Fix tool-info module of CPA-witness2test: executable is required

  Show description for e57a2b1
  

  PhilippWendler

  authored and

  EshaanAgg

  committed
  e57a2b1

  Copy full SHA for e57a2b1

• Changelog and contributors for BenchExec 3.22

  

  PhilippWendler

  authored and

  EshaanAgg

  committed
  7576992

  Copy full SHA for 7576992

• Pin version of setuptools to older one for our build system

  Show description for 34956a7
  

  PhilippWendler

  authored and

  EshaanAgg

  committed
  34956a7

  Copy full SHA for 34956a7

• Release 3.22

  

  PhilippWendler

  authored and

  EshaanAgg

  committed
  3c5521d

  Copy full SHA for 3c5521d

• Prepare version number for next development cycle.

  

  PhilippWendler

  authored and

  EshaanAgg

  committed
  40860bb

  Copy full SHA for 40860bb

• Update users of BenchExec: SMT-COMP and Termination Competition

  Show description for 67b93a9
  

  PhilippWendler

  authored and

  EshaanAgg

  committed
  67b93a9

  Copy full SHA for 67b93a9

• Drop support for Python 3.7

  Show description for 6d5b4fc
  

  PhilippWendler

  authored and

  EshaanAgg

  committed
  6d5b4fc

  Copy full SHA for 6d5b4fc

• Remove Python 3.7 from AppVeyor CI as well

  

  PhilippWendler

  authored and

  EshaanAgg

  committed
  5bda51e

  Copy full SHA for 5bda51e

• Use compatibility level 12 for building Debian packages

  Show description for 9f9fcae
  

  PhilippWendler

  authored and

  EshaanAgg

  committed
  9f9fcae

  Copy full SHA for 9f9fcae

• Use Podman instead of Docker in release.sh

  Show description for cdbbf64
  

  PhilippWendler

  authored and

  EshaanAgg

  committed
  cdbbf64

  Copy full SHA for cdbbf64

• Add Pre-Depends to .deb package as recommended for level 12

  

  PhilippWendler

  authored and

  EshaanAgg

  committed
  e44af7a

  Copy full SHA for e44af7a

• Fix crash in CPAchecker's tool-info module

  Show description for 60611c1
  

  PhilippWendler

  authored and

  EshaanAgg

  committed
  60611c1

  Copy full SHA for 60611c1

• Optimization of CPAchecker's tool-info module

  Show description for df75777
  

  PhilippWendler

  authored and

  EshaanAgg

  committed
  df75777

  Copy full SHA for df75777

• test commit

  EshaanAgg

  committed
  844bf07

  Copy full SHA for 844bf07

• Merge github.com:sosy-lab/benchexec into router-up

  EshaanAgg

  committed
  490691d

  Copy full SHA for 490691d