CVS log for sat4j/core/src/org/sat4j/reader/AAGReader.java |
 |
|
Up to [OW2-CVS] / sat4j / core / src / org / sat4j / reader
Request diff between arbitrary revisions
/ Display revisions graphically
Default branch: MAIN
Bookmark a link to:
HEAD
/
(download)
Revision
1.13
/
(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.12: +27 -24 lines
Diff to previous 1.12
Updated EPL headers (Pascal) + ref to Minisat paper.
Revision
1.12
/
(view)
- annotate
- [select for diffs]
, Sat Nov 17 21:04:18 2007 UTC (4 years, 5 months ago) by leberre
Branch:
MAIN
CVS Tags:
STABLE_CODE,
RELEASE_2_0_RC2,
BEFORE_EPL_HEADERS
Changes since 1.11: +6 -0 lines
Diff to previous 1.11
Updated the javadoc.
Revision
1.11
/
(view)
- annotate
- [select for diffs]
, Tue Aug 28 12:07:14 2007 UTC (4 years, 8 months ago) by leberre
Branch:
MAIN
CVS Tags:
RELEASE_2_0_RC_1,
RELEASE_1_7
Changes since 1.10: +1 -17 lines
Diff to previous 1.10
Fixed PMD warnings.
Revision
1.10
/
(view)
- annotate
- [select for diffs]
, Fri Mar 30 07:05:37 2007 UTC (5 years, 1 month ago) by leberre
Branch:
MAIN
Changes since 1.9: +8 -22 lines
Diff to previous 1.9
AAG and AIG readers are now using the new GateTranslator decorator.
Revision
1.9
/
(view)
- annotate
- [select for diffs]
, Thu Dec 21 20:45:28 2006 UTC (5 years, 4 months ago) by leberre
Branch:
MAIN
CVS Tags:
nonlinear,
complete-smallint,
SAT_COMPETITION_2007,
Root_nonlinear,
Root_complete-smallint,
Root_MEMORY_EFFICIENT,
RELEASE_1_7_RC_2,
MEMORY_EFFICIENT,
CSP_COMPETITION_2006_BUGFIXES_HEAD
Changes since 1.8: +1 -1 lines
Diff to previous 1.8
Made solver field final (PMD).
Revision
1.8
/
(view)
- annotate
- [select for diffs]
, Mon Dec 11 21:54:35 2006 UTC (5 years, 5 months ago) by leberre
Branch:
MAIN
Changes since 1.7: +7 -9 lines
Diff to previous 1.7
Fixed AIG/AAG output format.
Revision
1.7
/
(view)
- annotate
- [select for diffs]
, Thu Nov 30 20:17:30 2006 UTC (5 years, 5 months ago) by leberre
Branch:
MAIN
CVS Tags:
Root_NICE,
NICE,
CSP_COMPETITION_2006_BUGFIXES
Changes since 1.6: +24 -1 lines
Diff to previous 1.6
Fixed copyright headers and indentation/format (asked by Dieter).
Revision
1.6
/
(view)
- annotate
- [select for diffs]
, Wed Nov 29 13:55:58 2006 UTC (5 years, 5 months ago) by leberre
Branch:
MAIN
Changes since 1.5: +2 -2 lines
Diff to previous 1.5
Fixed Fiindbugs warnings.
Revision
1.5
/
(view)
- annotate
- [select for diffs]
, Sat Nov 18 23:03:38 2006 UTC (5 years, 5 months ago) by leberre
Branch:
MAIN
CVS Tags:
OBJECTWEB_1_0_112
Changes since 1.4: +1 -0 lines
Diff to previous 1.4
Tried to implement aig format.
Revision
1.4
/
(view)
- annotate
- [select for diffs]
, Sat Nov 18 21:58:50 2006 UTC (5 years, 5 months ago) by leberre
Branch:
MAIN
Changes since 1.3: +1 -1 lines
Diff to previous 1.3
Fixed problem with false to dimacs encoding.
Revision
1.3
/
(view)
- annotate
- [select for diffs]
, Sat Nov 18 21:55:05 2006 UTC (5 years, 5 months ago) by leberre
Branch:
MAIN
Changes since 1.2: +4 -2 lines
Diff to previous 1.2
Fixed the empty case.
Revision
1.2
/
(view)
- annotate
- [select for diffs]
, Sat Nov 18 21:51:48 2006 UTC (5 years, 5 months ago) by leberre
Branch:
MAIN
Changes since 1.1: +47 -32 lines
Diff to previous 1.1
Fixed model decoding.
Revision
1.1
/
(view)
- annotate
- [select for diffs]
, Sat Nov 18 21:47:30 2006 UTC (5 years, 5 months ago) by leberre
Branch:
MAIN
Added support for aag format.
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