06b5a5d | leberre | 29 November 2013, 23:06:15 UTC | Implement toString(VarMapper) git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/branches/BRESIL@2207 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 29 November 2013, 23:06:15 UTC |
474d487 | leberre | 04 April 2013, 14:39:22 UTC | Fixed statistics computation. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/branches/BRESIL@1961 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 04 April 2013, 14:39:22 UTC |
9186062 | leberre | 19 March 2013, 17:51:11 UTC | Removed Counter objects: now using plain int. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/branches/BRESIL@1954 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 19 March 2013, 17:51:11 UTC |
3c93dbe | leberre | 19 March 2013, 15:05:38 UTC | Replaced Map by arrays for improved efficiency. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/branches/BRESIL@1953 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 19 March 2013, 15:05:38 UTC |
267d455 | leberre | 18 March 2013, 15:12:28 UTC | Made sure that algo2 is only applied to clauses. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/branches/BRESIL@1952 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 18 March 2013, 15:12:28 UTC |
17db68d | leberre | 18 March 2013, 15:05:08 UTC | Added Algo2 as suggested by SAT13 reviewers. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/branches/BRESIL@1951 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 18 March 2013, 15:05:08 UTC |
3753429 | leberre | 18 March 2013, 15:04:40 UTC | Added Algo2 as suggested by SAT13 reviewers. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/branches/BRESIL@1950 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 18 March 2013, 15:04:40 UTC |
7c7c286 | leberre | 13 February 2013, 15:04:58 UTC | Removed spurious display when removing literals. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/branches/BRESIL@1932 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 13 February 2013, 15:04:58 UTC |
dd83112 | leberre | 13 February 2013, 15:02:37 UTC | Changed the propagation to take into account forgotten literals. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/branches/BRESIL@1931 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 13 February 2013, 15:02:37 UTC |
2389dd8 | leberre | 13 February 2013, 15:00:46 UTC | Added forget in PIBresil to avoid problem with PB constraints. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/branches/BRESIL@1930 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 13 February 2013, 15:00:46 UTC |
4ad0fdb | leberre | 12 February 2013, 16:04:54 UTC | Fixing AIOOB due to a call to realNVars() which does not take into account variables not appearing in the instance. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/branches/BRESIL@1928 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 12 February 2013, 16:04:54 UTC |
ce6790b | leberre | 11 February 2013, 14:47:44 UTC | Added a fix to take into account the undo of forgotten literals. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/branches/BRESIL@1925 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 February 2013, 14:47:44 UTC |
c557991 | leberre | 09 February 2013, 22:40:30 UTC | Implementation of PI for MaxWatchPB and MaxWatchPBLong. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/branches/BRESIL@1918 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 09 February 2013, 22:40:30 UTC |
ea010a6 | leberre | 09 February 2013, 21:27:42 UTC | Added back primeImplicantBresil(). git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/branches/BRESIL@1917 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 09 February 2013, 21:27:42 UTC |
4ec93ac | leberre | 09 February 2013, 21:27:25 UTC | Added back primeImplicantBresil(). git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/branches/BRESIL@1916 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 09 February 2013, 21:27:25 UTC |
35d0247 | leberre | 08 February 2013, 18:11:32 UTC | merged some changes from trunk. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/branches/BRESIL@1909 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 08 February 2013, 18:11:32 UTC |
dfa92ab | leberre | 08 February 2013, 18:06:03 UTC | Fixed issues with certificates with pi. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/branches/BRESIL@1908 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 08 February 2013, 18:06:03 UTC |
92af0d1 | leberre | 08 February 2013, 18:04:14 UTC | Fixed issues with certificates with pi. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/branches/BRESIL@1907 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 08 February 2013, 18:04:14 UTC |
c3d407f | leberre | 06 February 2013, 16:59:55 UTC | Fixed the AIOOB. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/branches/BRESIL@1891 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 06 February 2013, 16:59:55 UTC |
faded79 | leberre | 06 February 2013, 14:52:09 UTC | using savedindex on cards. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/branches/BRESIL@1890 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 06 February 2013, 14:52:09 UTC |
aeab4c8 | leberre | 06 February 2013, 13:16:22 UTC | Using saved index. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/branches/BRESIL@1889 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 06 February 2013, 13:16:22 UTC |
7cff257 | leberre | 06 February 2013, 08:01:04 UTC | Added propagation after the forget. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/branches/BRESIL@1884 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 06 February 2013, 08:01:04 UTC |
001de8a | leberre | 06 February 2013, 06:12:34 UTC | Added timing information. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/branches/BRESIL@1883 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 06 February 2013, 06:12:34 UTC |
99fc86c | leberre | 05 February 2013, 20:29:13 UTC | New methods not implemented. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/branches/BRESIL@1882 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 05 February 2013, 20:29:13 UTC |
0071ef6 | leberre | 05 February 2013, 10:36:54 UTC | Implemented properly PI computation for MS. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/branches/BRESIL@1879 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 05 February 2013, 10:36:54 UTC |
f18259a | leberre | 05 February 2013, 08:16:52 UTC | Performing PI computation only on original clauses. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/branches/BRESIL@1878 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 05 February 2013, 08:16:52 UTC |
42089f0 | leberre | 26 January 2013, 14:15:37 UTC | Removed loop for checking that implied literals are indeed detected as such. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/branches/BRESIL@1852 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 26 January 2013, 14:15:37 UTC |
47e054e | leberre | 26 January 2013, 09:20:23 UTC | Disabled constraints simplifications. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/branches/BRESIL@1851 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 26 January 2013, 09:20:23 UTC |
416bcd7 | leberre | 26 January 2013, 07:11:27 UTC | Fixed comment. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/branches/BRESIL@1850 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 26 January 2013, 07:11:27 UTC |
505cd03 | leberre | 25 January 2013, 21:33:23 UTC | Fixed issue with unit clauses. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/branches/BRESIL@1849 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 25 January 2013, 21:33:23 UTC |
c616abe | leberre | 25 January 2013, 18:48:02 UTC | Saved the index. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/branches/BRESIL@1848 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 25 January 2013, 18:48:02 UTC |
0c3f9c6 | leberre | 25 January 2013, 18:31:33 UTC | Fixed algo. Implemented the propagatePI in binary clauses. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/branches/BRESIL@1847 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 25 January 2013, 18:31:33 UTC |
6965340 | leberre | 25 January 2013, 17:52:09 UTC | First implementation of the algorithm. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/branches/BRESIL@1846 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 25 January 2013, 17:52:09 UTC |
7050021 | leberre | 25 January 2013, 16:25:30 UTC | Starting new branch to experiment a new PI algorithm git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/branches/BRESIL@1845 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 25 January 2013, 16:25:30 UTC |
567e193 | parrain | 24 January 2013, 22:51:43 UTC | Corrected sonar violations git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1844 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 24 January 2013, 22:51:43 UTC |
198ebf0 | parrain | 24 January 2013, 22:51:10 UTC | Corrected sonar violations git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1843 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 24 January 2013, 22:51:10 UTC |
d1d5e10 | sroussel | 24 January 2013, 07:49:23 UTC | [SAT-88] Removed a static call to Toolkit.getScreenSize() that was part of Bug SAT-88. Tests still have to be performed to ensure that the bug is corrected. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1842 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 24 January 2013, 07:49:23 UTC |
4c48c18 | sroussel | 24 January 2013, 07:47:27 UTC | Corrected modified order violations raised by sonar git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1841 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 24 January 2013, 07:47:27 UTC |
be8d4e7 | sroussel | 23 January 2013, 09:05:00 UTC | Corrected modified order violations raised by sonar git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1840 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 23 January 2013, 09:05:00 UTC |
0c0395c | sroussel | 23 January 2013, 08:43:26 UTC | Corrected modified order violations raised by sonar git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1839 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 23 January 2013, 08:43:26 UTC |
3e80ec9 | sroussel | 23 January 2013, 08:39:58 UTC | Corrected minor violations raised by sonar git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1838 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 23 January 2013, 08:39:58 UTC |
9a7ced5 | sroussel | 23 January 2013, 08:30:03 UTC | Corrected minor violations raised by sonar git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1837 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 23 January 2013, 08:30:03 UTC |
5b459ee | sroussel | 23 January 2013, 08:29:00 UTC | Corrected minor violations raised by sonar git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1836 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 23 January 2013, 08:29:00 UTC |
b4e4a4e | sroussel | 23 January 2013, 08:26:08 UTC | Changed method name in VisuPreferencesFrame -> should correct a major violation raised by sonar git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1835 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 23 January 2013, 08:26:08 UTC |
f978499 | sroussel | 23 January 2013, 08:22:06 UTC | Added default size constants to correct sonar minor violations git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1834 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 23 January 2013, 08:22:06 UTC |
a53b0fb | sroussel | 22 January 2013, 21:04:32 UTC | Corrected sonar major and minor violations git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1833 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 22 January 2013, 21:04:32 UTC |
2ab1ed9 | sroussel | 22 January 2013, 20:50:04 UTC | Added ILogAble reference in RestartCommandPanel and corrected major and minor violations raised by sonar. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1832 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 22 January 2013, 20:50:04 UTC |
9e4c5e9 | sroussel | 22 January 2013, 20:39:56 UTC | Corrected sonar major and minor violations git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1831 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 22 January 2013, 20:39:56 UTC |
c9c422e | sroussel | 22 January 2013, 20:32:53 UTC | Corrected minor violations raised by sonar git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1830 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 22 January 2013, 20:32:53 UTC |
b03f45f | sroussel | 22 January 2013, 20:29:52 UTC | Corrected minor violations git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1829 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 22 January 2013, 20:29:52 UTC |
d40b544 | sroussel | 22 January 2013, 20:08:57 UTC | Corrected sonar major and minor violations git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1828 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 22 January 2013, 20:08:57 UTC |
0fd707d | sroussel | 22 January 2013, 13:10:15 UTC | Corrected a few major and minor violations raised by sonar git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1827 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 22 January 2013, 13:10:15 UTC |
7b691e3 | sroussel | 21 January 2013, 21:31:17 UTC | Corrected sonar violations on VisuPreferencesFrame git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1826 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 January 2013, 21:31:17 UTC |
60ef252 | leberre | 21 January 2013, 19:39:51 UTC | Added @since tag. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1825 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 January 2013, 19:39:51 UTC |
0d63844 | leberre | 21 January 2013, 19:39:15 UTC | Added javadoc. Renamed fields. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1824 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 January 2013, 19:39:15 UTC |
3f68444 | leberre | 21 January 2013, 19:29:51 UTC | Added copyright header and javadoc. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1823 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 January 2013, 19:29:51 UTC |
39ea5f6 | leberre | 21 January 2013, 19:23:10 UTC | Improved fields naming. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1822 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 January 2013, 19:23:10 UTC |
6c00388 | leberre | 21 January 2013, 19:16:09 UTC | Replaced \n by %n in formatted strings. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1821 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 January 2013, 19:16:09 UTC |
0be89f7 | leberre | 21 January 2013, 19:14:49 UTC | Replaced \n by %n in formatted strings. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1820 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 January 2013, 19:14:49 UTC |
90bb58f | leberre | 21 January 2013, 19:13:36 UTC | Removed duplicated strings and replaced \n by %n in formatted strings. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1819 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 January 2013, 19:13:36 UTC |
81da0e6 | leberre | 21 January 2013, 19:11:01 UTC | Replaced \n by %n in formatted strings. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1818 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 January 2013, 19:11:01 UTC |
f1b0966 | leberre | 21 January 2013, 19:06:13 UTC | Made CircularBuffer serializable. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1817 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 January 2013, 19:06:13 UTC |
8e94de9 | sroussel | 21 January 2013, 18:05:19 UTC | Corrected minor mistakes in DetailedCommandPanel git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1816 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 January 2013, 18:05:19 UTC |
c85d036 | sroussel | 21 January 2013, 17:59:52 UTC | Replaced e.printStackTrace() by logger.log(e.getMessage()) git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1815 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 January 2013, 17:59:52 UTC |
fb72de7 | sroussel | 21 January 2013, 17:59:16 UTC | Renamed attributes git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1814 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 January 2013, 17:59:16 UTC |
bfffe89 | sroussel | 21 January 2013, 17:56:22 UTC | Removed part of errors raised by sonar for VisuPreferences class. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1813 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 January 2013, 17:56:22 UTC |
e05f960 | sroussel | 21 January 2013, 17:52:21 UTC | Removed part of errors raised by sonar for Lanceur class. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1812 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 January 2013, 17:52:21 UTC |
ab13deb | sroussel | 21 January 2013, 17:49:47 UTC | Removed unused attribute in Launcher git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1811 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 January 2013, 17:49:47 UTC |
20c4fcd | sroussel | 21 January 2013, 17:48:03 UTC | Corrected most of the major violations of class Solvers raised by sonar git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1810 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 January 2013, 17:48:03 UTC |
23d3ff2 | sroussel | 21 January 2013, 17:39:01 UTC | Replaced Vector with List git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1809 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 January 2013, 17:39:01 UTC |
348de05 | leberre | 21 January 2013, 17:26:12 UTC | Fixed a few sonar warnings. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1808 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 January 2013, 17:26:12 UTC |
f8ae0aa | sroussel | 21 January 2013, 17:18:02 UTC | Removed commented-out line of code git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1807 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 January 2013, 17:18:02 UTC |
278233c | sroussel | 21 January 2013, 17:16:12 UTC | Mofified method visibility to correct a major violation in sonar git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1806 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 January 2013, 17:16:12 UTC |
1b771a3 | leberre | 21 January 2013, 17:16:10 UTC | Removed useless public modifier. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1805 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 January 2013, 17:16:10 UTC |
362c17c | sroussel | 21 January 2013, 15:07:20 UTC | Cloned arrays in AbstractSelectorVariablesDecorator in order to correct sonar critical violation git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1804 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 January 2013, 15:07:20 UTC |
357fbf7 | sroussel | 21 January 2013, 15:00:14 UTC | Added hashCode method to TraceComposite git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1803 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 January 2013, 15:00:14 UTC |
c347e3d | leberre | 21 January 2013, 13:20:29 UTC | Removed useless public modifiers. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1802 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 January 2013, 13:20:29 UTC |
e378ea6 | sroussel | 21 January 2013, 11:10:29 UTC | Refactoring of GnuplotBasedSolevrVisualization : extracted String constants and methods -> correction of sonar major violations. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1801 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 January 2013, 11:10:29 UTC |
5892620 | sroussel | 21 January 2013, 10:40:56 UTC | Modified visibility of attributes in Launcher and RestartCommandComponent -> correction of sonar major violations git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1800 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 January 2013, 10:40:56 UTC |
e62fcd2 | sroussel | 21 January 2013, 10:39:07 UTC | Modified visibility of attributes in HighLevelXPlain and XPlain -> correction of sonar major violations git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1799 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 January 2013, 10:39:07 UTC |
f125098 | sroussel | 21 January 2013, 10:37:51 UTC | Modified visibility of attributes in GroupClauseSelectorSolver -> correction of sonar major violations git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1798 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 January 2013, 10:37:51 UTC |
2f6cbfe | sroussel | 21 January 2013, 10:35:09 UTC | Modified visibility of attributes in Lanceur -> correction of sonar major violations git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1797 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 January 2013, 10:35:09 UTC |
adf0be7 | sroussel | 21 January 2013, 10:34:54 UTC | Added braces around if statements. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1796 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 January 2013, 10:34:54 UTC |
ac97e66 | sroussel | 21 January 2013, 10:33:07 UTC | Modified visibility of attributes in FullClauseSelector -> correction of sonar major violations git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1795 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 January 2013, 10:33:07 UTC |
8b67fdc | sroussel | 21 January 2013, 10:29:01 UTC | Modified visibility of attributes in AbstractVariableSelector -> correction of sonar major violations git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1794 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 January 2013, 10:29:01 UTC |
98ef3e2 | sroussel | 21 January 2013, 10:26:20 UTC | Added braces around if statements. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1793 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 January 2013, 10:26:20 UTC |
e03ae17 | sroussel | 21 January 2013, 10:24:54 UTC | Added braces around if statements. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1792 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 January 2013, 10:24:54 UTC |
1092e05 | sroussel | 21 January 2013, 10:19:34 UTC | Removed commented-out lines of code and added braces around if-else statements -> correction of sonar major violations git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1791 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 January 2013, 10:19:34 UTC |
2e3121a | sroussel | 21 January 2013, 10:13:10 UTC | Added braces around else statements -> correction of sonar major violation git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1790 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 January 2013, 10:13:10 UTC |
217398b | sroussel | 21 January 2013, 08:09:16 UTC | Removed AllMusesOnePass that should not have been commited during last commit... git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1789 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 January 2013, 08:09:16 UTC |
f35533b | sroussel | 21 January 2013, 08:08:32 UTC | Removed commented-out lines of code for package tools. This should fix some of sonar major violations. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1788 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 January 2013, 08:08:32 UTC |
18a61b4 | sroussel | 21 January 2013, 07:56:45 UTC | Removed commented-out lines of code in sat package. This should fix sonar major violation. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1787 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 January 2013, 07:56:45 UTC |
12a8c7e | sroussel | 21 January 2013, 07:40:15 UTC | Should fix sonar critical violation git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1786 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 January 2013, 07:40:15 UTC |
68c429b | leberre | 21 January 2013, 06:56:01 UTC | Made IVisualizationTool serializable. Removed useless public modifiers. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1785 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 January 2013, 06:56:01 UTC |
f5ba893 | leberre | 20 January 2013, 22:59:08 UTC | Removed redundant Exception. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1784 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 20 January 2013, 22:59:08 UTC |
40d9bef | leberre | 20 January 2013, 22:58:28 UTC | Removed redundant Exception. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1783 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 20 January 2013, 22:58:28 UTC |
30496ae | leberre | 20 January 2013, 22:58:15 UTC | Removed redundant Exception. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1782 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 20 January 2013, 22:58:15 UTC |
cbbd152 | leberre | 20 January 2013, 22:57:45 UTC | Removed redundant Exception. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1781 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 20 January 2013, 22:57:45 UTC |
76e4346 | leberre | 20 January 2013, 22:49:12 UTC | Fixed orders of modifiers. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1780 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 20 January 2013, 22:49:12 UTC |
0b0ba8c | leberre | 20 January 2013, 22:42:28 UTC | Fixed a few sonar issues. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1779 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 20 January 2013, 22:42:28 UTC |