CVS log for sat4j/core/src/org/sat4j/minisat/core/DotSearchListener.java |
 |
|
Up to [OW2-CVS] / sat4j / core / src / org / sat4j / minisat / core
Request diff between arbitrary revisions
/ Display revisions graphically
Default branch: MAIN
Bookmark a link to:
HEAD
/
(download)
Revision
1.11
/
(view)
- annotate
- [select for diffs]
, Fri Jan 25 17:30:23 2008 UTC (4 years, 3 months ago) by leberre
Branch:
MAIN
CVS Tags:
PASCAL_SNAPSHOT_TWO,
INTEGRATION_P2,
HEAD
Changes since 1.10: +27 -24 lines
Diff to previous 1.10
Updated EPL headers (Pascal) + ref to Minisat paper.
Revision
1.10
/
(view)
- annotate
- [select for diffs]
, Thu Sep 13 12:23:22 2007 UTC (4 years, 8 months ago) by leberre
Branch:
MAIN
CVS Tags:
STABLE_CODE,
RELEASE_2_0_RC_1,
RELEASE_2_0_RC2,
BEFORE_EPL_HEADERS
Changes since 1.9: +3 -3 lines
Diff to previous 1.9
Fixed many warnings.
Revision
1.9
/
(view)
- annotate
- [select for diffs]
, Tue Aug 28 11:38:05 2007 UTC (4 years, 8 months ago) by leberre
Branch:
MAIN
CVS Tags:
RELEASE_1_7
Changes since 1.8: +4 -1 lines
Diff to previous 1.8
Fix serialization problem.
Revision
1.8
/
(view)
- annotate
- [select for diffs]
, Tue Aug 28 09:41:03 2007 UTC (4 years, 8 months ago) by leberre
Branch:
MAIN
Changes since 1.7: +9 -0 lines
Diff to previous 1.7
Fixed findbugs warnings when necessary.
Added a comment DLB findbugs ok is the code is ok and the warning can be safely ignored.
Revision
1.7
/
(view)
- annotate
- [select for diffs]
, Sat Feb 17 13:22:22 2007 UTC (5 years, 2 months ago) by leberre
Branch:
MAIN
CVS Tags:
nonlinear,
complete-smallint,
Root_nonlinear,
Root_complete-smallint,
Root_MEMORY_EFFICIENT,
MEMORY_EFFICIENT
Changes since 1.6: +8 -7 lines
Diff to previous 1.6
Fixed more findbugs warnings.
Revision
1.6.2.1
/
(view)
- annotate
- [select for diffs]
, Wed Dec 6 16:24:20 2006 UTC (5 years, 5 months ago) by leberre
Branch:
NICE
CVS Tags:
CSP_COMPETITION_2006_BUGFIXES
Changes since 1.6: +2 -1 lines
Diff to previous 1.6
to next main 1.7
Preliminary support for external reasons for backtracking.
Revision
1.6
/
(view)
- annotate
- [select for diffs]
, Thu Nov 30 20:17:29 2006 UTC (5 years, 5 months ago) by leberre
Branch:
MAIN
CVS Tags:
SAT_COMPETITION_2007,
Root_NICE,
RELEASE_1_7_RC_2,
CSP_COMPETITION_2006_BUGFIXES_HEAD
Branch point for:
NICE
Changes since 1.5: +29 -5 lines
Diff to previous 1.5
Fixed copyright headers and indentation/format (asked by Dieter).
Revision
1.5
/
(view)
- annotate
- [select for diffs]
, Mon Nov 13 08:27:16 2006 UTC (5 years, 6 months ago) by leberre
Branch:
MAIN
CVS Tags:
OBJECTWEB_1_0_112,
OBJECTWEB_1_0_111
Changes since 1.4: +1 -1 lines
Diff to previous 1.4
Fixed findbugs warning.
Revision
1.4
/
(view)
- annotate
- [select for diffs]
, Sun Nov 12 19:50:53 2006 UTC (5 years, 6 months ago) by leberre
Branch:
MAIN
CVS Tags:
OBJECTWEB_1_0_110
Changes since 1.3: +10 -1 lines
Diff to previous 1.3
Added even more comments (classes + enum).
Revision
1.3
/
(view)
- annotate
- [select for diffs]
, Fri Oct 27 14:38:26 2006 UTC (5 years, 6 months ago) by leberre
Branch:
MAIN
CVS Tags:
OBJECTWEB_1_0_109,
OBJECTWEB_1_0_108,
OBJECTWEB_1_0_103,
OBJECTWEB_1_0_102,
OBJECTWEB_1_0_101
Changes since 1.2: +8 -3 lines
Diff to previous 1.2
Fixed findbugs warnings.
Revision
1.2
/
(view)
- annotate
- [select for diffs]
, Fri Apr 28 06:12:06 2006 UTC (6 years ago) by leberre
Branch:
MAIN
CVS Tags:
Root_RELEASE_1_6,
RELEASE_1_6_0_0_9,
RELEASE_1_6_0_0_8,
RELEASE_1_6_0_0_7,
RELEASE_1_6_0_0_4,
RELEASE_1_6_0_0_2,
RELEASE_1_6_0_0_10,
RELEASE_1_6,
OBJECTWEB_1_0_99,
OBJECTWEB_1_0_97,
OBJECTWEB_1_0_96,
OBJECTWEB_1_0_91,
OBJECTWEB_1_0_90,
OBJECTWEB_1_0_89,
OBJECTWEB_1_0_88,
OBJECTWEB_1_0_87,
OBJECTWEB_1_0_86,
OBJECTWEB_1_0_85,
OBJECTWEB_1_0_83,
OBJECTWEB_1_0_82,
OBJECTWEB_1_0_81,
OBJECTWEB_1_0_80,
OBJECTWEB_1_0_79,
OBJECTWEB_1_0_78,
OBJECTWEB_1_0_77,
OBJECTWEB_1_0_76,
OBJECTWEB_1_0_75,
OBJECTWEB_1_0_74,
OBJECTWEB_1_0_73,
OBJECTWEB_1_0_72,
OBJECTWEB_1_0_71,
OBJECTWEB_1_0_69,
OBJECTWEB_1_0_68,
OBJECTWEB_1_0_67,
OBJECTWEB_1_0_66,
OBJECTWEB_1_0_65,
OBJECTWEB_1_0_64,
OBJECTWEB_1_0_100,
CSP_COMPETITION_2006
Changes since 1.1: +108 -96 lines
Diff to previous 1.1
Started adding backup/replay feature.
Revision
1.1.2.1
/
(view)
- annotate
- [select for diffs]
, Wed Apr 26 15:13:41 2006 UTC (6 years ago) by parrain
Branch:
PBCONSTR
Changes since 1.1: +0 -0 lines
Diff to previous 1.1
to next main 1.2
merge with HEAD
Revision
1.1
/
(view)
- annotate
- [select for diffs]
, Tue Apr 25 12:44:17 2006 UTC (6 years ago) by leberre
Branch:
MAIN
Branch point for:
PBCONSTR
Improved command line support thanks to apache commons-cli.
Added support for dot files generation.
This form allows you to request diffs between any two revisions of
a file. You may select a symbolic revision name using the selection
box or you may type in a numeric name using the type-in text box.
Back to OW2 Forge