Commits · master · Joana Ribeiro / iprover · GitLab

Oct 08, 2021
- next · da423c4c
  Konstantin Korovin authored Oct 08, 2021
  
  da423c4c
Oct 05, 2021
- tff proof fix: connected to fixed vclausifier output · fad8063a
  Konstantin Korovin authored Oct 05, 2021
  
  fad8063a
- vampire clausifier options fix · 9833c422
  Konstantin Korovin authored Oct 05, 2021
  
  9833c422
Oct 02, 2021
- fix: --prep_res_sim; was skiping full simplifications · 8f91694f
  Konstantin Korovin authored Oct 02, 2021
  
  8f91694f
- eq axs out · ab399b1d
  Konstantin Korovin authored Oct 02, 2021
  
  ab399b1d
Aug 03, 2021
- help · f22fefe5
  Konstantin Korovin authored Aug 03, 2021
  
  f22fefe5
- comments · 4b600c37
  Konstantin Korovin authored Aug 03, 2021
  
  4b600c37
Jul 17, 2021
- README · 7f78787f
  Konstantin Korovin authored Jul 17, 2021
  
  7f78787f
- delete files · a2ff4122
  Konstantin Korovin authored Jul 17, 2021
  
  a2ff4122
- iproveropt-multi-core.sh · 6b8df20a
  Konstantin Korovin authored Jul 17, 2021
  
  6b8df20a
Jul 16, 2021
- iproveropt-tptp-multi-core.sh: help fix · 40c7dcff
  Konstantin Korovin authored Jul 17, 2021
  
  40c7dcff
- iproveropt-tptp-multi-core.sh · 339a2acb
  Konstantin Korovin authored Jul 17, 2021
  
  339a2acb
Jul 11, 2021
- version update · 1f431ff3
  Konstantin Korovin authored Jul 11, 2021
  
  1f431ff3
Jul 10, 2021
- predElim.ml: fix: in some cases lifted resolution was not perfomed · 13557304
  Konstantin Korovin authored Jul 10, 2021
  
  13557304
Jul 04, 2021
- warnings off · 9d750e5d
  Konstantin Korovin authored Jul 04, 2021
  
  9d750e5d
Jun 30, 2021
- heur · 3f7bfc79
  Konstantin Korovin authored Jun 30, 2021
  
  3f7bfc79
- Merge branch 'andrepd/ac-norm-demod' into andrepd/smt-interface-noeqpred-2021-06-18-kk-smt · 469f534c
  Konstantin Korovin authored Jun 30, 2021
  
  469f534c
- HOS-ML · 0009c5b9
  Konstantin Korovin authored Jun 30, 2021
  
  0009c5b9
Jun 28, 2021
- Changes to the way discovery of AC symbols is done. For a given superposition... · 4705a7df
  André Duarte authored Jun 28, 2021
  4705a7df
Jun 27, 2021
- Formatting in preparation for next commit · 9d1209f1
  André Duarte authored Jun 27, 2021
  
  9d1209f1
- Generalised detection of well-defined predicates to arbitrary arity. · da9943de
  André Duarte authored Jun 27, 2021
  
  da9943de
Jun 25, 2021
- dbg off · 5ae3e4c1
  Konstantin Korovin authored Jun 25, 2021
  
  5ae3e4c1
- When there's no equality, disable AC demod, just as we also disable demod and lightnorm. · ca782fb6
  André Duarte authored Jun 25, 2021
  
  ca782fb6
Jun 24, 2021
- Merge branch 'master' into andrepd/smt-interface-noeqpred-2021-06-18-kk-smt · d167d9ba
  Konstantin Korovin authored Jun 24, 2021
  
  d167d9ba
- Minor · ce852141
  André Duarte authored Jun 24, 2021
  
  ce852141
- options.ml: full_fw added FwACDemod · 10a0d867
  Konstantin Korovin authored Jun 24, 2021
  
  10a0d867
- Merge branch 'andrepd/ac-norm-demod' into andrepd/smt-interface-noeqpred-2021-06-18-kk-smt · d63f7548
  Konstantin Korovin authored Jun 24, 2021
  
  d63f7548
- Missing check for completeness. · 9d1dc454
  André Duarte authored Jun 24, 2021
  
  9d1dc454
- Well_definedness: add check for totality axiom (of the form "p(X,Y,f(X,Y))"). · cb8f9b46
  André Duarte authored Jun 24, 2021
  
  cb8f9b46
- Merge branch 'andrepd/smt-interface-noeqpred-2021-06-18-kk-smt' of... · aaffe947
  Konstantin Korovin authored Jun 24, 2021
  aaffe947
- warnings off · fd77d345
  Konstantin Korovin authored Jun 24, 2021
  
  fd77d345
- merge · 5b526b65
  Konstantin Korovin authored Jun 24, 2021
  
  5b526b65
- Merge branch 'andrepd/ac-norm-demod' into andrepd/smt-interface-noeqpred-2021-06-18-kk-smt · dbdcd096
  Konstantin Korovin authored Jun 24, 2021
  
  dbdcd096
- Missing check in Bw AC Demod, might have caused incompleteness in some edge... · e7dac138
  André Duarte authored Jun 24, 2021
  e7dac138
Jun 23, 2021
- Added handling of "special equations" in AC Demod, currently idempotence... · e1261b6f
  André Duarte authored Jun 24, 2021
  e1261b6f
Jun 22, 2021
- Missing things weren't commited · 4bba67a5
  André Duarte authored Jun 22, 2021
  
  4bba67a5
Jun 21, 2021
- merge · 2a2d586d
  Konstantin Korovin authored Jun 21, 2021
  
  2a2d586d
- options.ml: smt_preprocessing false · 28cee440
  Konstantin Korovin authored Jun 21, 2021
  
  28cee440
- Add preprocessing flag `prep_well_definedness`, where predicates with... · 3a3f749e
  André Duarte authored Jun 21, 2021
  3a3f749e
- options.ml: --suppress_unsat_res · 2ebcddcb
  Konstantin Korovin authored Jun 21, 2021
  
  2ebcddcb