Commits · 59813addcacc4d6fb880ebdd63685600475aa940 · Çağrı Uluç Yıldırımoğlu / Kissat3-pb2 · GitLab

Snippets Groups Projects

Setting up 2FA is now mandatory for all users.

Feb 01, 2021
- migrated to travis-ci.com · 59813add
  Armin Biere authored 4 years ago
  
  rel-1.0.3
  
  59813add
Jul 08, 2020
- removed · 613c1853
  Armin Biere authored 4 years ago
  
  613c1853
Jul 04, 2020
- running · baef4609
  Armin Biere authored 4 years ago
  
  baef4609
Jun 27, 2020
- removed strange main.o · 80c42f07
  Armin Biere authored 4 years ago
  
  80c42f07
- slightly optimized makefile · eaae1d5d
  Armin Biere authored 4 years ago
  
  eaae1d5d
- added · 8c898612
  Armin Biere authored 4 years ago
  
  8c898612
- fixed · 1e48a6bb
  Armin Biere authored 4 years ago
  
  1e48a6bb
Jun 26, 2020
- removed dependency on newest xcode in .travis.yml · 1f89b95c
  Armin Biere authored 4 years ago
  
  1f89b95c
- fixed failed test allocation on Fedora · 5743655e
  Armin Biere authored 4 years ago
  
  5743655e
Jun 12, 2020
- update travis environments · f4623c4a
  Armin Biere authored 4 years ago
  
  f4623c4a
- added · 8911f82b
  Armin Biere authored 4 years ago
  
  8911f82b
May 27, 2020
- options for disabling phase saving and forcing phase · 89a2226b
  Armin Biere authored 4 years ago
  
  89a2226b
- imported sc2020 submission · 2414b6d7
  Armin Biere authored 4 years ago
  
  sc2020
  
  2414b6d7