Commits · master · Jannik Vierling / iprover

Browse files

Jan 12, 2022
- Makefile: minor · 6207f033
  Konstantin Korovin authored Jan 12, 2022
  
  6207f033
- revert of revert · 57c72f47
  Konstantin Korovin authored Jan 12, 2022
  
  57c72f47
- Makefile:fix: spacing · bc013b45
  Konstantin Korovin authored Jan 12, 2022
  
  bc013b45
- Revert "Makefile: fix spacing" · 6c6bacc0
  Konstantin Korovin authored Jan 12, 2022
  6c6bacc0
- Makefile: fix spacing · 0003663e
  Konstantin Korovin authored Jan 12, 2022
  
  0003663e
- Makefile:fix: spacing · b02e1b79
  Konstantin Korovin authored Jan 12, 2022
  
  b02e1b79
Jan 11, 2022
- Merge branch 'revert-294c73c1 ' into 'master' · dc1ec031
  Konstantin Korovin authored Jan 11, 2022
  dc1ec031
- Revert "Merge branch 'configuration' into 'master'" · cb320720
  Konstantin Korovin authored Jan 11, 2022
  cb320720
- Merge branch 'configuration' into 'master' · 294c73c1
  Konstantin Korovin authored Jan 11, 2022
  294c73c1
Jan 09, 2022
- improve configuration messages · 3fe3b225
  Jannik Vierling authored Jan 09, 2022
  
  3fe3b225
- do not 'make clean' during configuration · b0ff8489
  Jannik Vierling authored Jan 09, 2022
  
  b0ff8489
- do not build objsize stub during configuration · 0c32b135
  Jannik Vierling authored Jan 09, 2022
  
  0c32b135
- build vclausify_rel in makefile · 7b842961
  Jannik Vierling authored Jan 09, 2022
  
  7b842961
- build LTB in makefile · 05e78716
  Jannik Vierling authored Jan 09, 2022
  
  05e78716
Jan 08, 2022
- do not make .depend during configuration · f6147229
  Jannik Vierling authored Jan 08, 2022
  
  f6147229
- avoid changing directory to create symbolic link · a65044ae
  Jannik Vierling authored Jan 08, 2022
  
  a65044ae
- check environment before invoking make · 6d42befa
  Jannik Vierling authored Jan 08, 2022
  
  6d42befa
- configure: use make -C · c584e8e1
  Jannik Vierling authored Jan 08, 2022
  
  c584e8e1
Jan 07, 2022
- configure: clean-up · 947379c3
  Konstantin Korovin authored Jan 07, 2022
  
  947379c3
- Merge branch 'master' into 'master' · e043a1c6
  Konstantin Korovin authored Jan 07, 2022
  e043a1c6
- restore ocamlc installation hints · f9ea2946
  Jannik Vierling authored Jan 07, 2022
  
  f9ea2946
- move some tests into functions · 485b9372
  Jannik Vierling authored Jan 07, 2022
  
  485b9372
Jan 05, 2022
- separate environment setup and configuration · c3024d6e
  Jannik Vierling authored Jan 05, 2022
  
  c3024d6e
Jan 04, 2022
- minor · 7b10f1bf
  Konstantin Korovin authored Jan 04, 2022
  
  7b10f1bf
- fix: Makefile: src/SMTSolver.ml: · 680f21ef
  Konstantin Korovin authored Jan 04, 2022
  
  680f21ef
- Makefile: fix src/SMTSolver.ml: · 34c57ed3
  Konstantin Korovin authored Jan 04, 2022
  
  34c57ed3
Dec 09, 2021
- --sup_smt_interval 500 · 1fe2be3f
  Konstantin Korovin authored Dec 09, 2021
  
  1fe2be3f
- --sup_smt_interval 500 · e910c4dd
  Konstantin Korovin authored Dec 09, 2021
  
  e910c4dd
- sup_smt_interva 100 · 93664a5e
  Konstantin Korovin authored Dec 09, 2021
  
  93664a5e
Dec 06, 2021
- --sup_smt_interval 100 · ff265a81
  Konstantin Korovin authored Dec 06, 2021
  
  ff265a81
Dec 03, 2021
- help update · 9274fe85
  Konstantin Korovin authored Dec 03, 2021
  
  9274fe85
- prop_solver_exchange:fix:ground_abstr_clause · 77444398
  Konstantin Korovin authored Dec 03, 2021
  
  77444398
- Merge remote-tracking branch 'origin/master' into master-tmp1 · 59c8ccd3
  André Duarte authored Dec 03, 2021
  
  59c8ccd3
- prop_solver_exchange.ml: add_clause reverted change · 05229d4c
  Konstantin Korovin authored Dec 03, 2021
  
  05229d4c
- Fix Prop_solver_exchange.ground_abstr_clause (not sure if correct). · 25c1559d
  André Duarte authored Dec 03, 2021
  
  25c1559d
- Add SMTSolver.clause_to_smt_ground (uses... · 1ac4bf8a
  André Duarte authored Dec 03, 2021
  1ac4bf8a
- Merge remote-tracking branch 'origin/master' into master-tmp1 · a4fe2cfb
  André Duarte authored Dec 03, 2021
  
  a4fe2cfb
- Prop_solver_exchange.ml: ground_abstr_clause · eee0da48
  Konstantin Korovin authored Dec 03, 2021
  
  eee0da48
Dec 02, 2021
- Merge SMT stuff from andrepd/ac-norm-demod · 66c9870e
  André Duarte authored Dec 02, 2021
  
  66c9870e
Nov 30, 2021
- Fix in SMTSimplify · 2c1a9994
  André Duarte authored Nov 30, 2021 and Konstantin Korovin committed Nov 30, 2021
  
  2c1a9994