Commits · master · Boris Shminke / iprover

Browse files

Mar 08, 2025
- comments · a60b92b6
  Konstantin Korovin authored Mar 08, 2025
  
  View commits for tag 2025.03.10 2025.03.10
  
  a60b92b6
- test · d56d6a5f
  Konstantin Korovin authored Mar 08, 2025
  
  d56d6a5f
- test · bdfd5ac4
  Konstantin Korovin authored Mar 08, 2025
  
  bdfd5ac4
- test · 31823cb5
  Konstantin Korovin authored Mar 08, 2025
  
  31823cb5
- tmp · c94fdb7a
  Konstantin Korovin authored Mar 08, 2025
  
  c94fdb7a
- test · 4d1ea65c
  Konstantin Korovin authored Mar 08, 2025
  
  4d1ea65c
- test · 53510552
  Konstantin Korovin authored Mar 08, 2025
  
  53510552
- fix:Makefile:path · d250b56e
  Konstantin Korovin authored Mar 08, 2025
  
  d250b56e
- update:git_info_gen · 214edea6
  Konstantin Korovin authored Mar 08, 2025
  
  214edea6
- update:git_info_gen · e32b4c65
  Konstantin Korovin authored Mar 08, 2025
  
  e32b4c65
- added: TESTS · df32fa4c
  Konstantin Korovin authored Mar 08, 2025
  
  df32fa4c
- version · a722d76b
  Konstantin Korovin authored Mar 08, 2025
  
  a722d76b
- fix: tests_run.sh · 767842ef
  Konstantin Korovin authored Mar 08, 2025
  
  767842ef
- rm: run_tests.sh · 9101e8e1
  Konstantin Korovin authored Mar 08, 2025
  
  9101e8e1
- update tests_run.sh · 6bdbdba8
  Konstantin Korovin authored Mar 08, 2025
  
  6bdbdba8
Mar 07, 2025
- assert fix: src/SMTSolver_Z3.ml · cff76fed
  Konstantin Korovin authored Mar 07, 2025
  
  cff76fed
- update: tests_run.sh · 07591340
  Konstantin Korovin authored Mar 07, 2025
  
  07591340
- updates: README.md · c36fbc68
  Konstantin Korovin authored Mar 07, 2025
  
  c36fbc68
- update: HOS-ML · 75e78852
  Konstantin Korovin authored Mar 07, 2025
  
  75e78852
Mar 06, 2025
- update: READE.md · ef1481c8
  Konstantin Korovin authored Mar 06, 2025
  
  ef1481c8
- minor · d63027b3
  Konstantin Korovin authored Mar 06, 2025
  
  d63027b3
- clean-up: HOS-ML · 194db5a4
  Konstantin Korovin authored Mar 06, 2025
  
  194db5a4
- updated: HOS-ML · 8482ca82
  Konstantin Korovin authored Mar 06, 2025
  
  8482ca82
- fix: iproveropt-multi-core.sh get_children.sh · 64e2168a
  Konstantin Korovin authored Mar 06, 2025
  
  64e2168a
Feb 26, 2025
- v3.9.1 · b1c8e101
  Konstantin Korovin authored Feb 26, 2025
  
  b1c8e101
- add: tests_run.sh; ests_basic.csv · f99e0f27
  Konstantin Korovin authored Feb 26, 2025
  
  f99e0f27
Feb 16, 2025
- fix: compilation issue on macOS · 267185bb
  Konstantin Korovin authored Feb 16, 2025
  
  267185bb
Feb 14, 2025
- fix:util/Makefile.clib; src/Makefile: g++ added option -std=gnu++11 · 44180935
  Konstantin Korovin authored Feb 14, 2025
  
  44180935
Jan 17, 2025
- complier:test:on · 0b623c97
  Konstantin Korovin authored Jan 17, 2025
  
  0b623c97
Dec 17, 2024
- comments · 79df7f8a
  Konstantin Korovin authored Dec 17, 2024
  
  79df7f8a
- theory_db: theories can be recognised over any single type in place of · 5f915923
  Konstantin Korovin authored Dec 17, 2024
  
  5f915923
Nov 10, 2024
- minor · 70a58ef7
  Konstantin Korovin authored Nov 10, 2024
  
  70a58ef7
Nov 09, 2024
- theory_db.ml: builtin: @inlined never · 49c51dbf
  Konstantin Korovin authored Nov 09, 2024
  
  49c51dbf
Nov 07, 2024
- clean up: configure · 585c5fd4
  Konstantin Korovin authored Nov 07, 2024
  
  585c5fd4
Oct 28, 2024
- prep · 1a9f63f5
  Konstantin Korovin authored Oct 28, 2024
  
  1a9f63f5
Sep 22, 2024
- preprocessing · d6df9f65
  Konstantin Korovin authored Sep 22, 2024
  
  d6df9f65
Jul 08, 2024
- fix: SMTSolver_Z3: real to rat conversion · 72dc9a1c
  Konstantin Korovin authored Jul 08, 2024
  
  72dc9a1c
Jun 12, 2024
- proof out: in some cases z3 returns empty unsat core: tmp fix · 632592cb
  Konstantin Korovin authored Jun 12, 2024
  
  632592cb
Jun 11, 2024
- --prep_eq_flat_conj true · 3bc00f96
  Konstantin Korovin authored Jun 11, 2024
  
  3bc00f96
- prep_eq_flat_conj · 238ab8e4
  Konstantin Korovin authored Jun 11, 2024
  
  238ab8e4