Repository navigation

Containerization safe mode - #30

Merged

daniel-larraz merged 22 commits into

kind2-mc:mainfrom

Jabe03:containerization-safe-mode

Oct 1, 2026

Merged

Containerization safe mode#30
daniel-larraz merged 22 commits into
kind2-mc:mainfrom
Jabe03:containerization-safe-mode

Commits on Sep 22, 2026
- Add safe mode option, which sets the no_include flag for Kind 2
  Jabe03
  committed
  a2f3d60
Commits on Sep 25, 2026
- Merge branch 'main' of https://github.com/kind2-mc/kind2-java-api into containerization-safe-mode
  Jabe03
  committed
  9c3addb
- Implement docker in safe mode
  Jabe03
  committed
  c0fc6ab
Commits on Sep 28, 2026
- Add methods to change Docker usage arguments
  Jabe03
  committed
  5b135dd
Commits on Sep 29, 2026
- Add checks on usage values and improve javadoc
  Jabe03
  committed
  4d4ad88
- Remove debug prints
  Jabe03
  committed
  6342b10
- Make usage variables fields
  Jabe03
  committed
  534defa
- Up the limit of swap usage when memory setting exceeds it
  Jabe03
  committed
  c1b4d79
- Fix errors in calculation, cleanup
  Jabe03
  committed
  c6771f7
- Include all available solvers in Docker call
  Jabe03
  committed
  d8a25d6
- Quote user-provided paths in docker calls
  Jabe03
  committed
  b68cda1
Commits on Oct 1, 2026
- Implement safe mode path validation and update Docker mount logic
  Jabe03
  committed
  bf36122
- Handle paths with spaces
  Jabe03
  committed
  920aae8
- Fix unit mismatch in memory calculation
  Jabe03
  committed
  c2fc074
- Remove debug call
  Jabe03
  committed
  2a1ca8b
- Normalize paths inside docker container
  Jabe03
  committed
  42665ab
- Allow commas in file paths of solvers and Kind 2
  Jabe03
  committed
  bb3fd49
- Reject setting the swap usage to a value below the physical memory usage
  Jabe03
  committed
  f01df75
- Update docker image
  Jabe03
  committed
  241d1a8
- Add docker build script
  Jabe03
  committed
  58e981a
- Update comment
  Jabe03
  committed
  5dd8afe
- Fix lowercase bug
  Jabe03
  committed
  0879fd6

Commits

Commits on Sep 22, 2026

Commits on Sep 25, 2026

Commits on Sep 28, 2026

Commits on Sep 29, 2026

Commits on Oct 1, 2026