Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Jul 4, 2018

• ignore_conjecture_in_preprocessing

  

  Giles

  committed
  eb56e64

  Copy full SHA for eb56e64

• remove print

  

  Giles

  committed
  35cd83c

  Copy full SHA for 35cd83c

Commits on Jul 2, 2018

• mode casc rigid time limit removed again

  selig

  committed
  552c234

  Copy full SHA for 552c234

Commits on Jun 27, 2018

• mode casc rigid time limit readded

  selig

  committed
  0844fbd

  Copy full SHA for 0844fbd

• add 2018 casc mode shortcuts

  

  Giles

  committed
  0fa008d

  Copy full SHA for 0fa008d

• casc 26 schedule ready

  easychair

  committed
  806b0ab

  Copy full SHA for 806b0ab

Commits on Jun 26, 2018

• mode casc for 2018 TFA added

  easychair

  committed
  14ed644

  Copy full SHA for 14ed644

• mode casc rigid time limit removed

  easychair

  committed
  63d075e

  Copy full SHA for 63d075e

Commits on Jun 25, 2018

• mode casc for 2018 added (only EPR)

  easychair

  committed
  3582118

  Copy full SHA for 3582118

• mode casc_sat for 2018 added

  easychair

  committed
  fc190bb

  Copy full SHA for fc190bb

Commits on Jun 17, 2018

• fix

  selig

  committed
  72b1f2d

  Copy full SHA for 72b1f2d

Commits on Jun 12, 2018

• AUFLIA

  

  Giles

  committed
  10f1567

  Copy full SHA for 10f1567

Commits on Jun 11, 2018

• initialization order warning

  

  Martin Suda

  committed
  2956adb

  Copy full SHA for 2956adb

• fixing initialization order for _operatorTypes

  

  Martin Suda

  committed
  eabdd3b

  Copy full SHA for eabdd3b

• Merge branch 'master' of https://github.com/vprover/vampire

  easychair

  committed
  35ebcdd

  Copy full SHA for 35ebcdd

• SMTCOMP 2018 schedule v2 added

  easychair

  committed
  1bae613

  Copy full SHA for 1bae613

Commits on Jun 10, 2018

• fix

  

  Giles

  committed
  7ca9246

  Copy full SHA for 7ca9246

• fix

  

  Giles

  committed
  c3d3f8f

  Copy full SHA for c3d3f8f

• Merge pull request #53 from vprover/smt_goals

  Show description for 78bd998
  selig

  authored
  78bd998

  Copy full SHA for 78bd998

• fix

  

  Giles

  committed
  cd58f2c

  Copy full SHA for cd58f2c

• add exists_sym

  

  Giles

  committed
  7219571

  Copy full SHA for 7219571

• include sine selection on assumptions

  

  quicquid

  authored and

  Giles

  committed
  4ab61a9

  Copy full SHA for 4ab61a9

• add tpreprocess mode that closes off theory axioms with variables of the correct sort

  

  quicquid

  authored and

  Giles

  committed
  a28389e

  Copy full SHA for a28389e

• extra options

  

  Giles

  committed
  e69fe3c

  Copy full SHA for e69fe3c

• change

  

  Giles

  committed
  c14cebd

  Copy full SHA for c14cebd

• playing

  

  Giles

  committed
  86360b6

  Copy full SHA for 86360b6

• fix

  

  Giles

  committed
  3e4edfb

  Copy full SHA for 3e4edfb

• update stats

  

  Giles

  committed
  4801bf5

  Copy full SHA for 4801bf5

• stats

  

  Giles

  committed
  9e69f38

  Copy full SHA for 9e69f38

• fix in sik two and three

  

  Giles

  committed
  70ca373

  Copy full SHA for 70ca373

• fix

  

  Giles

  committed
  3fdd73b

  Copy full SHA for 3fdd73b

• gtgl

  

  Giles

  committed
  980c036

  Copy full SHA for 980c036

• sik three

  

  Giles

  committed
  077c5df

  Copy full SHA for 077c5df

• fix goal plus

  

  Giles

  committed
  cbe3d15

  Copy full SHA for cbe3d15

• fix math induction

  

  Giles

  committed
  50d1898

  Copy full SHA for 50d1898