Google Git
Sign in
eclipse / equinox / rt.equinox.p2.cudf / HEAD
  1. 969975b The solver can now be interrupted using SIGTERM (ctrl-C): it will display the best solution found so far. by Daniel LeBerre · 14 years ago
  2. 927a62d New version of SAT4J: by Daniel LeBerre · 14 years ago
  3. fb0f677 Keep p2 heuristic as close as p2 code, do not include all the IUs that have the same name than those installed as part of the slice. by Pascal Rapicault · 14 years ago
  4. dd2add1 *** empty log message *** by Pascal Rapicault · 14 years ago
  5. 742798f *** empty log message *** by Pascal Rapicault · 14 years ago
  6. 010bbdf Changes to accomodate the tools by Pascal Rapicault · 14 years ago
  7. f052e0d simple tools by Pascal Rapicault · 14 years ago
  8. 9106aec *** empty log message *** by Pascal Rapicault · 14 years ago
  9. cdfe450 Fix problem when handling multiple provides with the name by Pascal Rapicault · 14 years ago
  10. b46ac82 Fixed verbose issue with tracing and explanation without being verbose. by Daniel LeBerre · 14 years ago
  11. 253af9b Updated jar files (no more modification of heuristics update: it slows down the solver on SAT and PB benchmarks). by Daniel LeBerre · 14 years ago
  12. c95952f Added/fixed explanation support. by Daniel LeBerre · 14 years ago
  13. ce4e545 Add -explain by Pascal Rapicault · 14 years ago
  14. 667a112 remove unecessary output by Pascal Rapicault · 14 years ago
  15. 586d25e Cleanup configuration handling by Pascal Rapicault · 14 years ago
  16. cc7efa4 Cleanup configuration handling by Pascal Rapicault · 14 years ago
  17. e1a768e Clean up the command line argument handling, logging and options by Pascal Rapicault · 14 years ago
  18. ccbe1c7 Fix compile errors in tests by Pascal Rapicault · 14 years ago
  19. 57a750f *** empty log message *** by Pascal Rapicault · 14 years ago
  20. 758658c Latest version of SAT4J. by Daniel LeBerre · 14 years ago
  21. ecff6b5 Added the possibility to set the timeout on the command line. by Daniel LeBerre · 14 years ago
  22. 2d75cb5 Avoid generating unnecessary requirement by Pascal Rapicault · 14 years ago
  23. 3acc043 *** empty log message *** by Pascal Rapicault · 14 years ago
  24. 6ea9745 updated version of SAT4J. by Daniel LeBerre · 14 years ago
  25. 5114bf2 bogus argument number sent to the script by Pascal Rapicault · 14 years ago
  26. aa9c35b We now display VM information on the standard output. by Daniel LeBerre · 14 years ago
  27. cba8b31 bash files used to launch the different solvers. by Daniel LeBerre · 14 years ago
  28. 70c4efc Projector now displays statistics about the solver search. by Daniel LeBerre · 14 years ago
  29. 43129b6 New version of SAT4J: Allow access to the enclosed IPBSolver in dependencyHelper. by Daniel LeBerre · 14 years ago
  30. 3c852ae Add comments in the output of the tests by Pascal Rapicault · 14 years ago
  31. 5d718f1 Add slicing stat by Pascal Rapicault · 14 years ago
  32. f0f345e Added timeout based on the optimization function. by Daniel LeBerre · 14 years ago
  33. a30823c Fixed expected value that is now 2 with paranoid criteria. by Daniel LeBerre · 14 years ago
  34. a093aea New test for specific installRequest.cudf. by Daniel LeBerre · 14 years ago
  35. a191b31 New test file for Pascal test. by Daniel LeBerre · 14 years ago
  36. b4441f5 Fixed Pascal test. Added the result in the assertion failure in CheckInstance. by Daniel LeBerre · 14 years ago
  37. a1258c3 Add all the installed IUs to the slice by Pascal Rapicault · 14 years ago
  38. 4deb8f5 Added two test cases showing the problems with the slicer. by Daniel LeBerre · 14 years ago
  39. 0048550 The trendy criteria has been fixed to reflect the latest changes (using min notuptodate instead of max uptodate). by Daniel LeBerre · 14 years ago
  40. 8a489c3 Created notuptodate optimization criteria. by Daniel LeBerre · 14 years ago
  41. d3a5343 SAT4J now displays time taken to find the current best solution. by Daniel LeBerre · 14 years ago
  42. 5075919 The solver now takes the criteria as second argument and the output file as third argument. by Daniel LeBerre · 14 years ago
  43. b6770a2 Support to purge unecessary data by Pascal Rapicault · 14 years ago
  44. 074aa53 Handle virtual package in request by Pascal Rapicault · 14 years ago
  45. 6cc659c More comments. by Daniel LeBerre · 14 years ago
  46. 3eeafd1 Added useful comment. by Daniel LeBerre · 14 years ago
  47. e4f4661 New optimization functions (hopefully right this time). by Daniel LeBerre · 14 years ago
  48. 36b187f Allow dependencyHelper to negate objects. by Daniel LeBerre · 14 years ago
  49. f34cc4f Updated SAT4J jar files. The solver is now fully I/O compliant with MISC 2010. by Daniel LeBerre · 14 years ago
  50. 3e91180 New version of SAT4J (support for customized verbose mode). by Daniel LeBerre · 14 years ago
  51. 39e2c60 *** empty log message *** by Pascal Rapicault · 14 years ago
  52. 40e0990 *** empty log message *** by Pascal Rapicault · 14 years ago
  53. 7272471 *** empty log message *** by Pascal Rapicault · 14 years ago
  54. 60a4adb enable or disable explanation automatically by Pascal Rapicault · 14 years ago
  55. e48185d Added the selection of the criteria on the command line. by Daniel LeBerre · 14 years ago
  56. bb34aa2 Fix up copyrights by Pascal Rapicault · 14 years ago
  57. cfac51c Change copyrights by Pascal Rapicault · 14 years ago
  58. 0643830 fix typo by Pascal Rapicault · 14 years ago
  59. 5dcbe3e *** empty log message *** by Pascal Rapicault · 14 years ago
  60. 34a8537 Add name to optimization function by Pascal Rapicault · 14 years ago
  61. 8e40e9d *** empty log message *** by Pascal Rapicault · 14 years ago
  62. d328125 Separate the optimization function out of the projector by Pascal Rapicault · 14 years ago
  63. 8296a43 *** empty log message *** by Pascal Rapicault · 14 years ago
  64. e5f1457 *** empty log message *** by Pascal Rapicault · 14 years ago
  65. 03e3069 Added code for implementing the two optimization functions of MISC 2010. by Daniel LeBerre · 14 years ago
  66. b43e61a *** empty log message *** by Pascal Rapicault · 14 years ago
  67. 89c0917 *** empty log message *** by Pascal Rapicault · 14 years ago
  68. 4a30c28 *** empty log message *** by Pascal Rapicault · 14 years ago
  69. 84ca3a8 Fix a problem in the upgrade by Pascal Rapicault · 14 years ago
  70. e9c564c *** empty log message *** by Pascal Rapicault · 14 years ago
  71. 11d74dd *** empty log message *** by Pascal Rapicault · 14 years ago
  72. b3f24a6 *** empty log message *** by Pascal Rapicault · 14 years ago
  73. 96f2f54 AllTests now runs the CheckAllPassingInstances tests. by Daniel LeBerre · 14 years ago
  74. 832ecab suppress test class by Pascal Rapicault · 14 years ago
  75. a84d07b new dependency parse by Pascal Rapicault · 14 years ago
  76. e6e95ed fix compile errors by Pascal Rapicault · 14 years ago
  77. f4c9a8e The semantics of the upgrade is >= by Pascal Rapicault · 14 years ago
  78. 4f23b9f backup by Pascal Rapicault · 14 years ago
  79. 7698087 Support check for arity by Pascal Rapicault · 14 years ago
  80. 5c22bd2 more parsing tests by Pascal Rapicault · 14 years ago
  81. 546c7f8 *** empty log message *** by Pascal Rapicault · 14 years ago
  82. 3c1f4bb *** empty log message *** by Pascal Rapicault · 14 years ago
  83. 5baddf9 *** empty log message *** by Pascal Rapicault · 14 years ago
  84. 0f958db add bzip2 support by Pascal Rapicault · 14 years ago
  85. 4ffee0a Fixed the output of the solution (all the packages there have to be installed). by Daniel LeBerre · 14 years ago
  86. 8910afb *** empty log message *** by Pascal Rapicault · 14 years ago
  87. ef8545c *** empty log message *** by Pascal Rapicault · 14 years ago
  88. 03c9b62 add size by Pascal Rapicault · 14 years ago
  89. b606243 Add notion of expected to the stenzas by Pascal Rapicault · 14 years ago
  90. 28db36f *** empty log message *** by Pascal Rapicault · 14 years ago
  91. 5235090 *** empty log message *** by Pascal Rapicault · 14 years ago
  92. 826f57d *** empty log message *** by Pascal Rapicault · 14 years ago
  93. 4abb18c *** empty log message *** by Pascal Rapicault · 14 years ago
  94. fba7b4b *** empty log message *** by Pascal Rapicault · 14 years ago
  95. 5fb9a61 add new tests by Pascal Rapicault · 14 years ago
  96. 4fa39fb *** empty log message *** by Pascal Rapicault · 14 years ago
  97. 855a540 New version of SAT4J (no more IllegalStateException launched). by Daniel LeBerre · 14 years ago
  98. 5031f31 *** empty log message *** by DJ Houghton · 14 years ago
  99. 0711ec2 *** empty log message *** by Pascal Rapicault · 14 years ago
  100. b039000 improved solution output. by Daniel LeBerre · 14 years ago