Commits · 2023.04.10 · Boris Shminke / iprover

Browse files

Apr 25, 2023
- add CI · 884d1713
  Boris Shminke authored Apr 25, 2023
  
  View commits for tag 2023.04.10 2023.04.10
  
  884d1713
Apr 10, 2023
- README.md · 9504e78f
  Konstantin Korovin authored Apr 10, 2023
  
  9504e78f
Apr 08, 2023
- README.md · a7705a0a
  Konstantin Korovin authored Apr 08, 2023
  
  a7705a0a
- README.md · 5b921b44
  Konstantin Korovin authored Apr 08, 2023
  
  5b921b44
- README.md · 8f7d9d7c
  Konstantin Korovin authored Apr 08, 2023
  
  8f7d9d7c
Apr 07, 2023
- README.md · 1e81f2f1
  Konstantin Korovin authored Apr 07, 2023
  
  1e81f2f1
- README.md · fdbe722b
  Konstantin Korovin authored Apr 07, 2023
  
  fdbe722b
- README.md · c592041e
  Konstantin Korovin authored Apr 07, 2023
  
  c592041e
Mar 22, 2023
- README.md · bd327d96
  Konstantin Korovin authored Mar 22, 2023
  
  bd327d96
- README.md · 066ffe94
  Konstantin Korovin authored Mar 22, 2023
  
  066ffe94
- README.md · 89e0a2a5
  Konstantin Korovin authored Mar 22, 2023
  
  89e0a2a5
- iProver_arch.png · 4dce9137
  Konstantin Korovin authored Mar 22, 2023
  
  4dce9137
Mar 16, 2023
- src/theory_db.ml: get_global_record; reset_global_record · b9ce032f
  Konstantin Korovin authored Mar 16, 2023
  
  b9ce032f
Mar 08, 2023
- README.md: update · 1b293064
  Konstantin Korovin authored Mar 08, 2023
  
  1b293064
Mar 06, 2023
- HOS_ML update · ffc9c43e
  Konstantin Korovin authored Mar 06, 2023
  
  ffc9c43e
- HOS_ML update · 1fd52606
  Konstantin Korovin authored Mar 06, 2023
  
  1fd52606
- HOS_ML update · 9eaddb23
  Konstantin Korovin authored Mar 06, 2023
  
  9eaddb23
Mar 01, 2023
- --inst_unprocessed_bound 1000 default · a7265180
  Konstantin Korovin authored Mar 01, 2023
  
  a7265180
- --inst_unprocessed_bound: fix · e6defd3c
  Konstantin Korovin authored Mar 01, 2023
  
  e6defd3c
- stats · fe9ef538
  Konstantin Korovin authored Mar 01, 2023
  
  fe9ef538
Feb 27, 2023
- next · 41bfe982
  Konstantin Korovin authored Feb 27, 2023
  
  41bfe982
Feb 18, 2023
- bool fun sorts: vclausify; SMTSolver_Z3 · 8ea54d89
  Konstantin Korovin authored Feb 18, 2023
  
  8ea54d89
Feb 15, 2023
- README.md · 5958872b
  Konstantin Korovin authored Feb 15, 2023
  
  5958872b
Jan 30, 2023
- README.md update · 885cd898
  Konstantin Korovin authored Jan 30, 2023
  
  885cd898
Jan 29, 2023
- README-interactive.md: updates · 645603e7
  Konstantin Korovin authored Jan 29, 2023
  
  645603e7
- dbg false · 4a4d5a14
  Konstantin Korovin authored Jan 29, 2023
  
  4a4d5a14
- README-interactive.md: updates · 4e663aa0
  Konstantin Korovin authored Jan 29, 2023
  
  4e663aa0
- README-interactive.md: updates · 5f5af52d
  Konstantin Korovin authored Jan 29, 2023
  
  5f5af52d
- dbg true · eb242f76
  Konstantin Korovin authored Jan 29, 2023
  
  eb242f76
- README-interactive.md: updates · b5e879ab
  Konstantin Korovin authored Jan 29, 2023
  
  b5e879ab
- Merge branch '2022_sockets' · 34125d6d
  Konstantin Korovin authored Jan 29, 2023
  
  34125d6d
- README: updates · 9529794d
  Konstantin Korovin authored Jan 29, 2023
  
  9529794d
- README: updates · 11c2829a
  Konstantin Korovin authored Jan 29, 2023
  
  11c2829a
- README: updates · a20ac1f2
  Konstantin Korovin authored Jan 29, 2023
  
  a20ac1f2
- README: updates · dac689f2
  Konstantin Korovin authored Jan 29, 2023
  
  dac689f2
- README: updates · d3a30502
  Konstantin Korovin authored Jan 29, 2023
  
  d3a30502
- README: updates · 245b229f
  Konstantin Korovin authored Jan 29, 2023
  
  245b229f
- README: updates · 6fc54bf1
  Konstantin Korovin authored Jan 29, 2023
  
  6fc54bf1
- README: updates · f4d9d83c
  Konstantin Korovin authored Jan 29, 2023
  
  f4d9d83c
- logs/PUZ001-1.interactive.* · e939799f
  Konstantin Korovin authored Jan 29, 2023
  
  e939799f