CVS log for sat4j/core/src/org/sat4j/core/Vec.java |
 |
|
Up to [OW2-CVS] / sat4j / core / src / org / sat4j / core
Request diff between arbitrary revisions
/ Display revisions graphically
Default branch: MAIN
Bookmark a link to:
HEAD
/
(download)
Revision
1.19
/
(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.18: +28 -26 lines
Diff to previous 1.18
Updated EPL headers (Pascal) + ref to Minisat paper.
Revision
1.18
/
(view)
- annotate
- [select for diffs]
, Sat Dec 22 10:53:57 2007 UTC (4 years, 4 months ago) by leberre
Branch:
MAIN
CVS Tags:
RELEASE_2_0_RC2,
BEFORE_EPL_HEADERS
Changes since 1.17: +0 -1 lines
Diff to previous 1.17
Removed dependencies to Iterable.
Revision
1.17
/
(view)
- annotate
- [select for diffs]
, Sun Dec 2 09:44:04 2007 UTC (4 years, 5 months ago) by leberre
Branch:
MAIN
Changes since 1.16: +2 -6 lines
Diff to previous 1.16
Removed used of a Random generator for sorting the vectors.
This should prevent variability when running several times the same solver on the same benchmark in the same JVM.
Revision
1.16
/
(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
Changes since 1.15: +1 -0 lines
Diff to previous 1.15
Fixed many warnings.
Revision
1.15
/
(view)
- annotate
- [select for diffs]
, Tue Aug 28 09:41:03 2007 UTC (4 years, 8 months ago) by leberre
Branch:
MAIN
CVS Tags:
RELEASE_1_7
Changes since 1.14: +2 -0 lines
Diff to previous 1.14
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.14
/
(view)
- annotate
- [select for diffs]
, Fri Feb 23 10:11:36 2007 UTC (5 years, 2 months ago) by parrain
Branch:
MAIN
CVS Tags:
complete-smallint,
Root_complete-smallint,
Root_MEMORY_EFFICIENT,
MEMORY_EFFICIENT
Changes since 1.13: +4 -4 lines
Diff to previous 1.13
comments modifications
Revision
1.13
/
(view)
- annotate
- [select for diffs]
, Thu Nov 30 20:17:31 2006 UTC (5 years, 5 months ago) by leberre
Branch:
MAIN
CVS Tags:
nonlinear,
SAT_COMPETITION_2007,
Root_nonlinear,
Root_NICE,
RELEASE_1_7_RC_2,
NICE,
CSP_COMPETITION_2006_BUGFIXES_HEAD,
CSP_COMPETITION_2006_BUGFIXES
Changes since 1.12: +9 -8 lines
Diff to previous 1.12
Fixed copyright headers and indentation/format (asked by Dieter).
Revision
1.12
/
(view)
- annotate
- [select for diffs]
, Tue Nov 28 21:05:28 2006 UTC (5 years, 5 months ago) by leberre
Branch:
MAIN
CVS Tags:
OBJECTWEB_1_0_112
Changes since 1.11: +1 -3 lines
Diff to previous 1.11
included improvements pointed out by Dieter von Holten.
Revision
1.11
/
(view)
- annotate
- [select for diffs]
, Sun Oct 29 18:13:52 2006 UTC (5 years, 6 months ago) by leberre
Branch:
MAIN
CVS Tags:
OBJECTWEB_1_0_111,
OBJECTWEB_1_0_110,
OBJECTWEB_1_0_109,
OBJECTWEB_1_0_108,
OBJECTWEB_1_0_103,
OBJECTWEB_1_0_102
Changes since 1.10: +16 -17 lines
Diff to previous 1.10
Fixed Dieter von Holten remarks.
Revision
1.10
/
(view)
- annotate
- [select for diffs]
, Wed Oct 4 10:13:05 2006 UTC (5 years, 7 months ago) by leberre
Branch:
MAIN
CVS Tags:
OBJECTWEB_1_0_101,
OBJECTWEB_1_0_100
Changes since 1.9: +4 -0 lines
Diff to previous 1.9
Tried to improve further the SAT solver (propagate, analyze,etc).
Revision
1.9
/
(view)
- annotate
- [select for diffs]
, Tue Oct 3 11:37:04 2006 UTC (5 years, 7 months ago) by leberre
Branch:
MAIN
Changes since 1.8: +11 -11 lines
Diff to previous 1.8
Fixed some PMD warnings.
Revision
1.8
/
(view)
- annotate
- [select for diffs]
, Mon Oct 2 06:31:28 2006 UTC (5 years, 7 months ago) by leberre
Branch:
MAIN
Changes since 1.7: +1 -2 lines
Diff to previous 1.7
Inlined two consecutive assertions into one as suggested by Dieter von Holten.
Revision
1.7
/
(view)
- annotate
- [select for diffs]
, Mon Jul 10 09:11:07 2006 UTC (5 years, 10 months ago) by leberre
Branch:
MAIN
CVS Tags:
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,
CSP_COMPETITION_2006
Changes since 1.6: +1 -1 lines
Diff to previous 1.6
Fixed problems reported by Dieter von Holten.
Revision
1.6
/
(view)
- annotate
- [select for diffs]
, Tue Jun 13 07:55:48 2006 UTC (5 years, 11 months ago) by leberre
Branch:
MAIN
CVS Tags:
OBJECTWEB_1_0_87,
OBJECTWEB_1_0_86
Changes since 1.5: +4 -0 lines
Diff to previous 1.5
Merged fixes from 1.6 branch.
Revision
1.5.2.1
/
(view)
- annotate
- [select for diffs]
, Tue Jun 13 07:45:53 2006 UTC (5 years, 11 months ago) by leberre
Branch:
RELEASE_1_6
CVS Tags:
RELEASE_1_6_0_0_9,
RELEASE_1_6_0_0_10
Changes since 1.5: +4 -0 lines
Diff to previous 1.5
to next main 1.6
Fixed properly the AtMost problem.
Revision
1.5
/
(view)
- annotate
- [select for diffs]
, Wed May 17 08:44:35 2006 UTC (6 years ago) by leberre
Branch:
MAIN
CVS Tags:
Root_RELEASE_1_6,
RELEASE_1_6_0_0_8,
RELEASE_1_6_0_0_7,
RELEASE_1_6_0_0_4,
RELEASE_1_6_0_0_2,
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
Branch point for:
RELEASE_1_6
Changes since 1.4: +424 -411 lines
Diff to previous 1.4
Added Array to Vec adapter constructor.
Revision
1.4
/
(view)
- annotate
- [select for diffs]
, Sat Feb 25 10:54:49 2006 UTC (6 years, 2 months ago) by leberre
Branch:
MAIN
CVS Tags:
Root_PBCONSTR,
PBCONSTR_1_0_9,
PBCONSTR_1_0_8,
PBCONSTR_1_0_7,
PBCONSTR_1_0_6,
PBCONSTR_1_0_5,
PBCONSTR_1_0_4,
PBCONSTR_1_0_3,
PBCONSTR_1_0_13,
PBCONSTR_1_0_11,
PBCONSTR_1_0_10,
PBCONSTR,
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_62,
OBJECTWEB_1_0_61,
OBJECTWEB_1_0_60,
OBJECTWEB_1_0_59,
OBJECTWEB_1_0_58,
OBJECTWEB_1_0_57,
OBJECTWEB_1_0_56,
OBJECTWEB_1_0_55,
OBJECTWEB_1_0_54,
OBJECTWEB_1_0_53,
OBJECTWEB_1_0_52,
OBJECTWEB_1_0_51,
OBJECTWEB_1_0_50,
OBJECTWEB_1_0_48,
OBJECTWEB_1_0_47,
OBJECTWEB_1_0_46,
OBJECTWEB_1_0_45,
OBJECTWEB_1_0_44,
OBJECTWEB_1_0_42,
OBJECTWEB_1_0_41,
OBJECTWEB_1_0_40,
OBJECTWEB_1_0_37,
OBJECTWEB_1_0_36,
OBJECTWEB_1_0_35,
OBJECTWEB_1_0_32,
OBJECTWEB_1_0_31,
OBJECTWEB_1_0_30,
OBJECTWEB_1_0_26,
OBJECTWEB_1_0_25,
OBJECTWEB_1_0_24,
OBJECTWEB_1_0_23
Changes since 1.3: +394 -403 lines
Diff to previous 1.3
Made Vector really serializable
Revision
1.3
/
(view)
- annotate
- [select for diffs]
, Tue Dec 6 10:21:42 2005 UTC (6 years, 5 months ago) by leberre
Branch:
MAIN
CVS Tags:
OBJECTWEB_1_0_9,
OBJECTWEB_1_0_8,
OBJECTWEB_1_0_7,
OBJECTWEB_1_0_6,
OBJECTWEB_1_0_20,
OBJECTWEB_1_0_19,
OBJECTWEB_1_0_18,
OBJECTWEB_1_0_17,
OBJECTWEB_1_0_15,
OBJECTWEB_1_0_14,
OBJECTWEB_1_0_13,
OBJECTWEB_1_0_11,
OBJECTWEB_1_0_10
Changes since 1.2: +12 -1 lines
Diff to previous 1.2
Fixed some problems detected by PMD.
Revision
1.2
/
(view)
- annotate
- [select for diffs]
, Fri Dec 2 19:33:04 2005 UTC (6 years, 5 months ago) by leberre
Branch:
MAIN
CVS Tags:
OBJECTWEB_1_0_5,
OBJECTWEB_1_0_4,
OBJECTWEB_1_0_3,
OBJECTWEB_1_0_0
Changes since 1.1: +1 -1 lines
Diff to previous 1.1
Fixed code to mimic exactly RELEASE 1.5
Revision
1.1
/
(view)
- annotate
- [select for diffs]
, Wed Nov 30 09:19:51 2005 UTC (6 years, 5 months ago) by leberre
Branch:
MAIN
Java 1.5 code base including some code from ubcsat port.
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