Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 5, 2024

• Fixed all complex error messages, formatting

  schulzs

  committed
  a36ad64
  More actions

Commits on Sep 21, 2022

• Added function to find number of cores, refactored some code from clb_error to clb_os_wrapper

  schulzs

  committed
  674c32f
  More actions

Commits on Jul 9, 2018

• merged with last eprover version

  petarvukmirovic

  committed
  a6e815d
  More actions

Commits on Jun 8, 2018

• Added PLC support for SAT proofs

  schulzs

  committed
  37565e3
  More actions

Commits on May 29, 2018

• added new prios and changed clause weight functions

  petarvukmirovic

  committed
  2ac4884
  More actions

Commits on Apr 26, 2018

• merged, compiles, segfaults

  petarvukmirovic

  committed
  3deec61
  More actions

Commits on Jan 6, 2018

• - Removed obsolete directory ANALYSIS and (useless) code in it,

  schulzs

  committed
  52f937f
  More actions

Commits on Oct 19, 2017

• Compiles, does not link

  petarvukmirovic

  committed
  af57306
  More actions

Commits on Oct 18, 2017

• Initial commit

  petarvukmirovic

  committed
  2dccd19
  More actions

Commits on Nov 3, 2016

• replace tabs by 3 spaces each

  martisch

  committed
  8868ce0
  More actions

Commits on Nov 2, 2016

• remove all trailing space

  martisch

  committed
  db0ba20
  More actions

Commits on Jun 23, 2016

• add UNUSED macro and mark variables only used in assert

  martisch

  committed
  60563d4
  More actions

Commits on Jun 4, 2016

• Merge branch 'master' into mm-tff

  martisch

  committed
  1f01844
  More actions

Commits on Jun 3, 2016

• use simple sorts in variable banks, signature, and files that depend on those.

  

  c-cube

  authored and

  martisch

  committed
  c1f6a73
  More actions

• Revert "Merged TFF"

  martisch

  committed
  3bbf009
  More actions

• Merged TFF

  schulzs

  committed
  9a89886
  More actions

Commits on May 30, 2016

• fixed most sign-compare warnings

  martisch

  committed
  bbb14c4
  More actions

Commits on May 19, 2016

• add .gitignore and remove .cvsignore

  martisch

  committed
  4f67d19
  More actions

Commits on May 10, 2016

• silence make clean and remove some make output

  martisch

  committed
  86e07d1
  More actions

Commits on May 7, 2016

• use void for function definitions without arguments

  martisch

  committed
  1256f57
  More actions

• remove redundant declarations

  martisch

  committed
  48d87c4
  More actions

Commits on May 2, 2016

• add void for prototype declarations with no arguments

  martisch

  committed
  7023ee1
  More actions

Commits on Apr 19, 2016

• extern SupportShellPCL

  martisch

  committed
  a121e00
  More actions

Commits on Apr 13, 2016

• remove dead code breaks

  martisch

  committed
  59f7da9
  More actions

Commits on Jan 25, 2016

• - Fix Deppenapostroph

  schulzs

  committed
  8224941
  More actions

Commits on Jan 3, 2016

• Added PCL2 support for 'evalgc'

  schulzs

  committed
  50170b8
  More actions

Commits on Nov 21, 2014

• - Cleanup of various bugs and typos found by clang.

  schulzs

  committed
  1f62deb
  More actions

Commits on Jun 13, 2014

• - Stiffeled a lot of compile time warnings

  schulzs

  committed
  9324ac4
  More actions

Commits on Mar 26, 2014

• merge from master/E-1-8-006

  c-cube

  committed
  55b2049
  More actions

Commits on Jan 15, 2014

• Took out "theory(equality)" from TSTP-output, since FOL-EQ is now

  schulzs

  committed
  6d5f2fc
  More actions

Commits on Jul 8, 2013

• use simple sorts in variable banks, signature, and files that depend on those.

  c-cube

  committed
  bc282c9
  More actions

Commits on Apr 22, 2013

• Added condensation to PCL.

  schulzs

  committed
  77c41f6
  More actions

Commits on Jul 10, 2012

• Fixed bug recognizing final proof steps in Shell PCL. Now recognizes both empty clause and 'proof' annotation

  schulzs

  committed
  db9ac95
  More actions

Commits on May 21, 2012

• * Support for Shell PCL.

  

  schulz

  committed
  c66f032
  More actions

Commits on May 20, 2012

• Fixed broken SinE (missing intialization), added partial support for Shell PCL.

  

  schulz

  committed
  f82236e
  More actions

Pagination

PreviousNext