OW2 Consortium

CVS log for sat4j/core/html/index.php

 (logo)

Help
(back) Up to [OW2-CVS] / sat4j / core / html

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] , Thu Dec 6 09:41:11 2007 UTC (4 years, 5 months ago) by leberre
Branch: MAIN
CVS Tags: RELEASE_2_0_RC2, PASCAL_SNAPSHOT_TWO, INTEGRATION_P2, HEAD, BEFORE_EPL_HEADERS
Changes since 1.18: +2 -0 lines
Diff to previous 1.18 
Updated SAT4J adopter list with Kodkod and Forge.
Updated the CSS.
Revision 1.18 / (view) - annotate - [select for diffs] , Thu Nov 29 08:17:54 2007 UTC (4 years, 5 months ago) by leberre
Branch: MAIN
Changes since 1.17: +1 -0 lines
Diff to previous 1.17 
Added GNA link.
Revision 1.17 / (view) - annotate - [select for diffs] , Mon Nov 26 16:01:03 2007 UTC (4 years, 5 months ago) by parrain
Branch: MAIN
CVS Tags: STABLE_CODE
Changes since 1.16: +17 -15 lines
Diff to previous 1.16 
updated website( menus, css)
Revision 1.16 / (view) - annotate - [select for diffs] , Sun Nov 25 21:19:06 2007 UTC (4 years, 5 months ago) by leberre
Branch: MAIN
Changes since 1.15: +13 -107 lines
Diff to previous 1.15 
updated web site home page.
Revision 1.15 / (view) - annotate - [select for diffs] , Fri Nov 23 16:59:01 2007 UTC (4 years, 5 months ago) by leberre
Branch: MAIN
Changes since 1.14: +3 -3 lines
Diff to previous 1.14 
Fixed several issues on the home page. Updated objectweb logo to OW2 one.
Revision 1.14 / (view) - annotate - [select for diffs] , Thu Aug 30 09:22:22 2007 UTC (4 years, 8 months ago) by leberre
Branch: MAIN
CVS Tags: RELEASE_2_0_RC_1, RELEASE_1_7
Changes since 1.13: +2 -2 lines
Diff to previous 1.13 
Updated web site content.
Revision 1.13 / (view) - annotate - [select for diffs] , Thu Aug 30 09:04:09 2007 UTC (4 years, 8 months ago) by leberre
Branch: MAIN
Changes since 1.12: +10 -1 lines
Diff to previous 1.12 
Updated web site with R17 information.
Revision 1.12 / (view) - annotate - [select for diffs] , Sat Jun 23 08:51:17 2007 UTC (4 years, 10 months ago) by leberre
Branch: MAIN
Changes since 1.11: +1 -0 lines
Diff to previous 1.11 
Added a link to Fastcheck app.
Revision 1.11 / (view) - annotate - [select for diffs] , Sun Mar 18 18:20:24 2007 UTC (5 years, 2 months ago) by leberre
Branch: MAIN
Changes since 1.10: +1 -1 lines
Diff to previous 1.10 
Fixed OpenOME alt description.
Revision 1.10 / (view) - annotate - [select for diffs] , Sun Mar 18 18:15:10 2007 UTC (5 years, 2 months ago) by leberre
Branch: MAIN
Changes since 1.9: +1 -1 lines
Diff to previous 1.9 
Fixed openome link.
Revision 1.9 / (view) - annotate - [select for diffs] , Sun Mar 18 18:06:55 2007 UTC (5 years, 2 months ago) by leberre
Branch: MAIN
Changes since 1.8: +1 -1 lines
Diff to previous 1.8 
Updated emails.
Revision 1.8 / (view) - annotate - [select for diffs] , Sun Mar 18 17:43:03 2007 UTC (5 years, 2 months ago) by leberre
Branch: MAIN
Changes since 1.7: +13 -0 lines
Diff to previous 1.7 
Added application logos on the front page.
Revision 1.7 / (view) - annotate - [select for diffs] , Tue Mar 6 19:57:28 2007 UTC (5 years, 2 months ago) by leberre
Branch: MAIN
CVS Tags: Root_MEMORY_EFFICIENT, MEMORY_EFFICIENT
Changes since 1.6: +3 -3 lines
Diff to previous 1.6 
Fixed Ocawa warnings.
Revision 1.6 / (view) - annotate - [select for diffs] , Sun Dec 3 13:29:08 2006 UTC (5 years, 5 months ago) by leberre
Branch: MAIN
CVS Tags: complete-smallint, SAT_COMPETITION_2007, Root_complete-smallint, Root_NICE, RELEASE_1_7_RC_2, NICE, CSP_COMPETITION_2006_BUGFIXES_HEAD, CSP_COMPETITION_2006_BUGFIXES
Changes since 1.5: +5 -0 lines
Diff to previous 1.5 
Added link to SAT4J presention in Nice.
Revision 1.5 / (view) - annotate - [select for diffs] , Sat Oct 14 07:41:56 2006 UTC (5 years, 7 months ago) by leberre
Branch: MAIN
CVS Tags: OBJECTWEB_1_0_112, OBJECTWEB_1_0_111, OBJECTWEB_1_0_110, OBJECTWEB_1_0_109, OBJECTWEB_1_0_108, OBJECTWEB_1_0_103, OBJECTWEB_1_0_102, OBJECTWEB_1_0_101
Changes since 1.4: +5 -0 lines
Diff to previous 1.4 
Updated SAT4J web site with Fete de la science information.
Revision 1.4 / (view) - annotate - [select for diffs] , Sun Jun 25 08:18:36 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, OBJECTWEB_1_0_87, OBJECTWEB_1_0_86, OBJECTWEB_1_0_100, CSP_COMPETITION_2006
Changes since 1.3: +2 -0 lines
Diff to previous 1.3 
Fixed small problems and added link to Java related software.
Revision 1.3.2.2 / (view) - annotate - [select for diffs] , Fri Jun 2 10:27:28 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_8, RELEASE_1_6_0_0_7, RELEASE_1_6_0_0_10
Changes since 1.3.2.1: +9 -9 lines
Diff to previous 1.3.2.1 to branch point 1.3 to next main 1.4 
Updated numbers.
Revision 1.3.2.1 / (view) - annotate - [select for diffs] , Thu Jun 1 19:32:33 2006 UTC (5 years, 11 months ago) by leberre
Branch: RELEASE_1_6
CVS Tags: RELEASE_1_6_0_0_4
Changes since 1.3: +22 -5 lines
Diff to previous 1.3 
Added new numbers for release 1.6.
Revision 1.3 / (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_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, 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
Branch point for: RELEASE_1_6
Changes since 1.2: +1 -2 lines
Diff to previous 1.2 
Started adding backup/replay feature.
Revision 1.2 / (view) - annotate - [select for diffs] , Wed Nov 30 21:15:41 2005 UTC (6 years, 5 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_9, OBJECTWEB_1_0_8, OBJECTWEB_1_0_7, OBJECTWEB_1_0_62, OBJECTWEB_1_0_61, OBJECTWEB_1_0_60, OBJECTWEB_1_0_6, 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_5, 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_4, 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_3, OBJECTWEB_1_0_26, OBJECTWEB_1_0_25, OBJECTWEB_1_0_24, OBJECTWEB_1_0_23, 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, OBJECTWEB_1_0_0
Changes since 1.1: +2 -4 lines
Diff to previous 1.1 
Updated html pages to latest version.
Revision 1.1 / (view) - annotate - [select for diffs] , Wed Nov 30 09:19:52 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.

Diffs between and
Type of Diff should be a
View only Branch:
Sort log by:
webmaster@ow2.org
 Powered by
ViewCVS 0.9.4

Back to OW2 Forge