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

Browse files

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