Commits · master · Konstantin Korovin / iprover

Browse files

Jul 31, 2025
- fix: iproveropt-multi-core.sh · a0a7650e
  Konstantin Korovin authored Jul 31, 2025
  
  a0a7650e
Jul 30, 2025
- add: StarExec/starexec/casc30/run_iprover_casc30 · be7f6a17
  Konstantin Korovin authored Jul 30, 2025
  
  be7f6a17
Jul 23, 2025
- iproveropt-multi-core.sh: fix · 074bf6c3
  Konstantin Korovin authored Jul 23, 2025
  
  074bf6c3
Jul 22, 2025
- rm: StarExec/starexec/casc30/get_children.sh; iproveropt-multi-core-casc.sh · 166c1e22
  Konstantin Korovin authored Jul 23, 2025
  
  166c1e22
- deploy_starexec.sh: fix · 1060794e
  Konstantin Korovin authored Jul 23, 2025
  
  1060794e
- iproveropt-multi-core.sh: fix · 03d4c6f3
  Konstantin Korovin authored Jul 23, 2025
  
  03d4c6f3
- StarExec/starexec/casc30/starexec_run_iprover_*: fix · f6cd1ade
  Konstantin Korovin authored Jul 23, 2025
  
  f6cd1ade
- lib.ml: tptp_safe ignore lines already starting with % · dbd63d50
  Konstantin Korovin authored Jul 23, 2025
  
  dbd63d50
- ./iproveropt-multi-core.sh: deploy mode for CASC/SMT · 7bdeb33c
  Konstantin Korovin authored Jul 23, 2025
  
  7bdeb33c
Jul 21, 2025
- StarExec/starexec/casc30/iproveropt-multi-core-casc.sh: minor · 809d86c5
  Konstantin Korovin authored Jul 22, 2025
  
  809d86c5
- StarExec/starexec/casc30/iproveropt-multi-core-casc.sh: minor · fcfedef2
  Konstantin Korovin authored Jul 22, 2025
  
  fcfedef2
- StarExec/starexec/casc30/iproveropt-multi-core-casc.sh · d86b5d3f
  Konstantin Korovin authored Jul 22, 2025
  
  d86b5d3f
- StarExec/deploy_starexec.sh · 38e15ec9
  Konstantin Korovin authored Jul 22, 2025
  
  38e15ec9
- StarExec/deploy_starexec.sh · 0cc92c02
  Konstantin Korovin authored Jul 22, 2025
  
  0cc92c02
- StarExec/starexec · 6cca3050
  Konstantin Korovin authored Jul 22, 2025
  
  6cca3050
- StarExec/deploy_starexec.sh · f8032fd9
  Konstantin Korovin authored Jul 22, 2025
  
  f8032fd9
- next · fb849f18
  Konstantin Korovin authored Jul 21, 2025
  
  fb849f18
Jul 20, 2025
- fix: tptp compliance of proof output · eba3ec04
  Konstantin Korovin authored Jul 21, 2025
  
  eba3ec04
- tstpProof: add ext_type output · ce73bc05
  Konstantin Korovin authored Jul 21, 2025
  
  ce73bc05
- tptp_safe updates · 7ad5556f
  Konstantin Korovin authored Jul 20, 2025
  
  7ad5556f
Jul 17, 2025
- fix: context fnt · 4f476003
  Konstantin Korovin authored Jul 18, 2025
  
  4f476003
- HOS-ML/src/run/heuristic.py: preprocessing_flag keep from options · 79723e6d
  Konstantin Korovin authored Jul 17, 2025
  
  79723e6d
- epr_sched · 346ebff4
  Konstantin Korovin authored Jul 17, 2025
  
  346ebff4
- heur/inst_epr · 25d45ec1
  Konstantin Korovin authored Jul 17, 2025
  
  25d45ec1
- epr schedule · efd1c45f
  Konstantin Korovin authored Jul 17, 2025
  
  efd1c45f
- epr_schedule v3 · 4cc6e203
  Konstantin Korovin authored Jul 17, 2025
  
  4cc6e203
- heur · efbba5c4
  Konstantin Korovin authored Jul 17, 2025
  
  efbba5c4
- HOS-ML/heur/sine_sd5_st_1_5 · 2a82c3f6
  Konstantin Korovin authored Jul 17, 2025
  
  2a82c3f6
- HOS-ML/heur: rm: --show_fool; tclausify -> clausify · c788f211
  Konstantin Korovin authored Jul 17, 2025
  
  c788f211
- add: HOS-ML/scripts · e688e519
  Konstantin Korovin authored Jul 17, 2025
  
  e688e519
Jul 16, 2025
- clausifier timeout: 1/3 · 43e7411d
  Konstantin Korovin authored Jul 17, 2025
  
  43e7411d
- clausifier timeout: 1/3 · 2c91b8ba
  Konstantin Korovin authored Jul 17, 2025
  
  2c91b8ba
- claus times fix: heur_sat/schedule_fnt/heur_sat/schedule_none_fnt_fm · 260c2f44
  Konstantin Korovin authored Jul 17, 2025
  
  260c2f44
- update: heur/sine_sd0_st2; heur/epr_no_sched · 2c1cefd5
  Konstantin Korovin authored Jul 17, 2025
  
  2c1cefd5
- fix preocess clean-up · 20781cd1
  Konstantin Korovin authored Jul 17, 2025
  
  20781cd1
- HOS-ML/heur/epr_no_sched · 6e1f915c
  Konstantin Korovin authored Jul 16, 2025
  
  6e1f915c
- epr_schedule · 409e7791
  Konstantin Korovin authored Jul 16, 2025
  
  409e7791
- epr_schedule · dcad334a
  Konstantin Korovin authored Jul 16, 2025
  
  dcad334a
- HOS-ML fof_schedule update · 245e43f2
  Konstantin Korovin authored Jul 16, 2025
  
  245e43f2
- external clausifier fixes · b9639c81
  Konstantin Korovin authored Jul 16, 2025
  
  b9639c81