Repository navigation

Move the property pre-check to cfg-extraction; prune under no-runtime-exception (#93) - #108

Closed

solid-eureka wants to merge 13 commits into

devfrom

issue-93-precheck-in-cfg-extraction

Closed

Move the property pre-check to cfg-extraction; prune under no-runtime-exception (#93)#108
solid-eureka wants to merge 13 commits into
devfrom
issue-93-precheck-in-cfg-extraction

Commits on Oct 23, 2026
- Update my-example-2
  solid-eureka
  committed
  2ed1ec5
- Lift char codes without modulo in the int_to_bv lifting
  
  solid-eureka
  and
  claude
  committed
  e9dec3d
- Faster indexOf(int) encoding; keep surrogates in string literals
  
  solid-eureka
  and
  claude
  committed
  ff3f595
Commits on Oct 24, 2026
- Use Z3 5.3.1 in the SV-COMP harness and the OpenOLAT target
  
  solid-eureka
  and
  claude
  committed
  48c74eb
- Solve int inputs that are only used as numbers over the Integers
  
  solid-eureka
  and
  claude
  committed
  e8ebaad
- Add --search-order: shallow, coverage and generational branch orders
  
  solid-eureka
  and
  claude
  committed
  5ec0a14
- Add --prefer-short-strings: shrink string inputs of a solution
  
  solid-eureka
  and
  claude
  committed
  83be5b9
- Run the property pre-check from cfg-extraction (#93)
  
  solid-eureka
  and
  claude
  committed
  9f71629
- Ship the property pre-check jar in the SV-COMP archive (#93)
  
  solid-eureka
  and
  claude
  committed
  b8ff4ba
- Cut the exception side of guards that cannot raise (#93)
  
  solid-eureka
  and
  claude
  committed
  97ef10a
- Prune by the graph under no-runtime-exception too (#93)
  
  solid-eureka
  and
  claude
  committed
  d3e8263
- Flag the branches of SWAT's helpers like callbacks
  
  solid-eureka
  and
  claude
  committed
  ffab070
Commits on Oct 27, 2026
- CI: check out cfg-extraction without a token (#93)
  
  solid-eureka
  and
  claude
  committed
  af9fb0f

Commits

Commits on Oct 23, 2026

Commits on Oct 24, 2026

Commits on Oct 27, 2026