Repository navigation

Feature/solver profiler impl - #182

Closed

DaniilVarezkin wants to merge 9 commits into

UnitTestBot:mainfrom

ksmt-ml:feature/solver-profiler-impl

Closed

Feature/solver profiler impl#182
DaniilVarezkin wants to merge 9 commits into
UnitTestBot:mainfrom
ksmt-ml:feature/solver-profiler-impl

Commits on Oct 17, 2026
- Add base interfaces (#2)
  litvinovmitch11
  authored
  2c765fa
Commits on Oct 19, 2026
- Record profiler events in strict sequence order
  DaniilVarezkin
  committed
  fbcb368
Commits on Oct 20, 2026
- Stop observed duration on close and narrow recording errors
  DaniilVarezkin
  committed
  8cb7e05
Commits on Oct 21, 2026
Commits on Oct 22, 2026
- good random search
  
  litvinovmitch11
  authored and
  DaniilVarezkin
  committed
  45d5fd0
- Add ksmt-profiling README with build and run instructions
  DaniilVarezkin
  committed
  7754e74