Commits · main · Tomáš Strachoň / SV-COMP Evaluation scripts and Web application · GitLab

Apr 19, 2026
- Merge branch '19-unit-tests' into 'main' · abacd7ef
  Tomáš Strachoň authored Apr 19, 2026
  abacd7ef
- Add Unit tests · 125cf194
  Tomáš Strachoň authored Apr 19, 2026
  
  125cf194
Apr 11, 2026
- feat: update README.md · 7ef1fc35
  Tomáš Strachoň authored Apr 11, 2026
  
  7ef1fc35
Apr 09, 2026
- Merge branch '20-update-navbar' into 'main' · c4060d65
  Tomáš Strachoň authored Apr 09, 2026
  c4060d65
- Update navbar · 405f08a5
  Tomáš Strachoň authored Apr 09, 2026
  
  405f08a5
Apr 06, 2026
- fix: skip quantile plots for categories without awarded tools · 5e69cf4d
  Tomáš Strachoň authored Apr 06, 2026
  
  5e69cf4d
- Merge branch '18-add-qplot-command' into 'main' · e3c0fd01
  Tomáš Strachoň authored Apr 06, 2026
  e3c0fd01
- Add qplot command · 5616581c
  Tomáš Strachoň authored Apr 06, 2026
  
  5616581c
Mar 31, 2026
- Merge branch '17-add-load-command' into 'main' · 78fae35f
  Tomáš Strachoň authored Mar 31, 2026
  78fae35f
- Add Load command · f476a221
  Tomáš Strachoň authored Mar 31, 2026
  
  f476a221
- Merge branch '16-fix-results-loading-and-evaluation' into 'main' · 78f967d3
  Tomáš Strachoň authored Mar 31, 2026
  78f967d3
- Fix results loading and evaluation of demo categories · 2c51339f
  Tomáš Strachoň authored Mar 31, 2026
  
  2c51339f
Mar 29, 2026
- Merge branch '15-add-result-system-info-processing' into 'main' · 0e723074
  Tomáš Strachoň authored Mar 29, 2026
  0e723074
- Add Result system info processing · ff67bb32
  Tomáš Strachoň authored Mar 29, 2026
  
  ff67bb32
- Merge branch '14-detailed-results-paging' into 'main' · e083804c
  Tomáš Strachoň authored Mar 29, 2026
  e083804c
- Detailed results paging, optimalizations and bug fixes · db7d85e7
  Tomáš Strachoň authored Mar 29, 2026
  
  db7d85e7
Mar 22, 2026
- Merge branch '14-add-support-for-svcomp26' into 'main' · 83907fc0
  Tomáš Strachoň authored Mar 22, 2026
  83907fc0
- Add support for SV-Comp 2026 · 8a777edd
  Tomáš Strachoň authored Mar 22, 2026
  
  8a777edd
Mar 08, 2026
- Merge branch '12-rename-commands' into 'main' · 4ff72bfe
  Tomáš Strachoň authored Mar 08, 2026
  4ff72bfe
- Rename commands and update index page · 66246f4c
  Tomáš Strachoň authored Mar 08, 2026
  
  66246f4c
- Merge branch '11-optimization-dbmanager' into 'main' · 84bd7e47
  Tomáš Strachoň authored Mar 08, 2026
  84bd7e47
- Performance optimization of DbManager · 6347d4ad
  Tomáš Strachoň authored Mar 08, 2026
  
  6347d4ad
Feb 28, 2026
- Merge branch '10-optimization' into 'main' · 1be75353
  Tomáš Strachoň authored Feb 28, 2026
  1be75353
- Performance optimization of WebApp · df064d85
  Tomáš Strachoň authored Feb 28, 2026
  
  df064d85
Feb 22, 2026
- Merge branch '09-fix-evaluation-of-results' into 'main' · 757c98cb
  Tomáš Strachoň authored Feb 22, 2026
  757c98cb
- Fix evaluation of results · 9b316211
  Tomáš Strachoň authored Feb 22, 2026
  
  9b316211
Feb 15, 2026
- Merge branch '08-public-hosting' into 'main' · c2b6fd22
  Tomáš Strachoň authored Feb 15, 2026
  c2b6fd22
- Public hosting · 5a88e3ed
  Tomáš Strachoň authored Feb 15, 2026
  
  5a88e3ed
Feb 08, 2026
- Merge branch '07-compute-results' into 'main' · 6e6d610e
  Tomáš Strachoň authored Feb 08, 2026
  6e6d610e
- Readme and Results computation · c0751a21
  Tomáš Strachoň authored Feb 08, 2026
  
  c0751a21
Feb 01, 2026
- Merge branch '06-web-app-verification-track' into 'main' · bdf15cde
  Tomáš Strachoň authored Feb 01, 2026
  bdf15cde
- Web application · 593b2ccf
  Tomáš Strachoň authored Feb 01, 2026
  
  593b2ccf
Jan 26, 2026
- Merge branch '05-compute-results' into 'main' · 5caa0eae
  Tomáš Strachoň authored Jan 26, 2026
  5caa0eae
- Compute raw scores and update DB structure · 6894a20e
  Tomáš Strachoň authored Jan 26, 2026
  
  6894a20e
Dec 13, 2025
- Merge branch '04-migrate-to-sql-server' into 'main' · 9c0423e5
  Tomáš Strachoň authored Dec 13, 2025
  9c0423e5
- Migrate to SQL Server, update commands and add FmTools processing · 3af08438
  Tomáš Strachoň authored Dec 13, 2025
  
  3af08438
Nov 28, 2025
- Merge branch '03-update-data-loading' into 'main' · 5b477de5
  Tomáš Strachoň authored Nov 28, 2025
  5b477de5
- Update data loading · 9b10961a
  Tomáš Strachoň authored Nov 28, 2025
  
  9b10961a
Nov 16, 2025
- Merge branch '02-ci-docker' into 'main' · 38e4249d
  Tomáš Strachoň authored Nov 16, 2025
  38e4249d
- 02 CI & Bug fixes · 05771a79
  Tomáš Strachoň authored Nov 16, 2025
  
  05771a79