Commits · main · Tomáš Strachoň / SV-COMP

Browse files

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
Nov 15, 2025
- Merge branch '01-DbManager' into 'main' · c5502164
  Tomáš Strachoň authored Nov 15, 2025
  c5502164
- 01 DbManager · 35b5512e
  Tomáš Strachoň authored Nov 15, 2025
  
  35b5512e
Sep 19, 2025
- feat: add logo · 95975a0a
  Tomáš Strachoň authored Sep 19, 2025
  
  95975a0a
- feat: create C# project · 3e000049
  Tomáš Strachoň authored Sep 19, 2025
  
  3e000049
- feat: add .gitignore · fa517713
  Tomáš Strachoň authored Sep 19, 2025
  
  fa517713
- Initial commit · 01cd1ca3
  Tomáš Strachoň authored Sep 19, 2025
  
  01cd1ca3