FazBrowse GitHub Viewer | Trending | | Home

Tools: [Download Repo ZIP] [Original HTTPS Page]

History for src/atp/Resolution.java - eprover/JavaRes · GitHub

Commits

History for

Commits on Jul 16, 2012

updated unit tests
apease
committed
e6373c0

Commits on Jun 27, 2012

Simplified code to use new Literal with "atom" variable. Added unit
apease
committed
512eb6a

Commits on Jun 18, 2012

Fixed resolution to handle equality. If a Literal has an equality
apease
committed
04598c4

Commits on Jan 21, 2012

Added calculation and tracking of clauses deductive depth.
apease
committed
9ac3af9

Commits on Jan 15, 2012

Renamed instantiate() to subsitute().
apease
committed
0aa0b23

Commits on Dec 22, 2011

Comprehensive changes to parsing to use the new Lexer class to
apease
committed
6512297

Commits on Dec 7, 2011

Added exception handling for parse exceptions
apease
committed
f31bcdf

Commits on Nov 27, 2011

Whitespace changes
apease
committed
d769bf3

Commits on Nov 12, 2011

Added class from Sigma to remove dependency. This file duplicated
apease
committed
d8b3734

Commits on Nov 7, 2011

Added new unit tests.
apease
committed
72a8715

Commits on Nov 2, 2011

Added code to support tracking the reasons clauses were generated.
apease
committed
2da9e24

Commits on Nov 1, 2011

Added new unit test. Fixed typo in comments. Removed test for
apease
committed
352a5f6
Added some clarifying print statements to test method.
apease
committed
f9b9d49

Commits on Oct 24, 2011

added some error traps. Added more detail unit test which shows bug in
apease
committed
87ec3a0
First version, passes unit tests
apease
committed
e7539e9

Loading

Back | FazBrowse Home | New Git URL