June 2007 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Wed Jun 13 16:09:07 EDT 2007
Ending: Fri Jun 29 13:14:06 EDT 2007
Messages: 126

• [gecoder-commits] [100] trunk: Added n-queens (without symmetry breaking) as an example.   nobody at rubyforge.org
• [gecoder-commits] [101] trunk/lib/gecoder/interface/variables.rb: Variables should now report correctly when inspected.   nobody at rubyforge.org
• [gecoder-commits] [102] trunk: Improved code coverage.   nobody at rubyforge.org
• [gecoder-commits] [103] trunk: Constraints are now held by the model until a search is made so that the constraints may be modified before sent to Gecode.   nobody at rubyforge.org
• [gecoder-commits] [104] trunk: Added basic boolean domain constraints along with conjunction and disjunction.   nobody at rubyforge.org
• [gecoder-commits] [105] trunk/doc/src/documentation: Added documentation for boolean variables and constraints.   nobody at rubyforge.org
• [gecoder-commits] [106] trunk: Restored C0 coverage.   nobody at rubyforge.org
• [gecoder-commits] [107] trunk/doc: Added a page about modelling.   nobody at rubyforge.org
• [gecoder-commits] [108] trunk: Fixed an error caused by incorrect parameter order.   nobody at rubyforge.org
• [gecoder-commits] [109] trunk: Distinct is not a reifiable constraint.   nobody at rubyforge.org
• [gecoder-commits] [110] trunk: Added syntactic sugar for combining reifiable constraints with | and &.   nobody at rubyforge.org
• [gecoder-commits] [111] trunk: Added the code that allows boolean variables to be used for branching.   nobody at rubyforge.org
• [gecoder-commits] [112] trunk: Improved C0 coverage.   nobody at rubyforge.org
• [gecoder-commits] [113] trunk: Now branches correctly on bool variable arrays.   nobody at rubyforge.org
• [gecoder-commits] [114] trunk: Preparing for release of 0.3.0 .   nobody at rubyforge.org
• [gecoder-commits] [115] trunk/doc/src/index.page: It searches the space of all possible assignments rather than solutions.   nobody at rubyforge.org
• [gecoder-commits] [116] trunk/doc/src/documentation/constraints.page: Corrected typo.   nobody at rubyforge.org
• [gecoder-commits] [117] trunk/doc/src/documentation/constraints.page: Typo.   nobody at rubyforge.org
• [gecoder-commits] [118] tags/gecoder-0.3.0/: Tagged release 0.3.0 .   nobody at rubyforge.org
• [gecoder-commits] [119] trunk/doc/src/index.page: Updated the current development status.   nobody at rubyforge.org
• [gecoder-commits] [120] trunk/doc/plugin/: Added a google sitemap.   nobody at rubyforge.org
• [gecoder-commits] [121] trunk/doc: Added a google sitemap.   nobody at rubyforge.org
• [gecoder-commits] [122] trunk/doc: Added default priority for static pages.   nobody at rubyforge.org
• [gecoder-commits] [123] trunk/ext/missing.cpp: Fixed a problem with branching on booleans.   nobody at rubyforge.org
• [gecoder-commits] [124] trunk: A fix submitted by David for bug [#11861], slightly modified by Andreas.   nobody at rubyforge.org
• [gecoder-commits] [125] trunk/doc/src/documentation/index.page: Updated the part about variables and added non-range domains.   nobody at rubyforge.org
• [gecoder-commits] [126] trunk: Added domain constraints for int variables.   nobody at rubyforge.org
• [gecoder-commits] [127] trunk: Added equality constraint for int enums.   nobody at rubyforge.org
• [gecoder-commits] [128] trunk: Added integer and boolean matrices.   nobody at rubyforge.org
• [gecoder-commits] [129] trunk: The enum wrapper now checks the entire enum to ensure that there are none non-variables in it (and does not allow mixed variables).   nobody at rubyforge.org
• [gecoder-commits] [130] trunk: Added sudoku to the examples.   nobody at rubyforge.org
• [gecoder-commits] [131] trunk/doc: <ruby>...</ruby> can now be used to highlight Ruby code thanks to RSpec's webgen plugin.   nobody at rubyforge.org
• [gecoder-commits] [132] trunk/doc/src: Added syntax highlighting to the rest of the site.   nobody at rubyforge.org
• [gecoder-commits] [133] trunk/specs/constraints/distinct.rb: Minor consistency tweak.   nobody at rubyforge.org
• [gecoder-commits] [134] trunk: Added the channel constraint.   nobody at rubyforge.org
• [gecoder-commits] [135] trunk: Added element constraints (variable array access).   nobody at rubyforge.org
• [gecoder-commits] [136] trunk/doc/src/documentation/constraints.page: Added a note about how the propagation strength progresses.   nobody at rubyforge.org
• [gecoder-commits] [137] trunk/specs/enum_matrix.rb: Plugged a hole in the C0 coverage.   nobody at rubyforge.org
• [gecoder-commits] [138] trunk/lib/gecoder/interface: Expressions build before must* are now called expression stubs and do not have any mandatory parameters.   nobody at rubyforge.org
• [gecoder-commits] [139] trunk: Extracted the relation types out into the Util module.   nobody at rubyforge.org
• [gecoder-commits] [140] trunk/lib/gecoder/interface: Refactored the aliasing of comparison methods.   nobody at rubyforge.org
• [gecoder-commits] [141] trunk: Added count constraints.   nobody at rubyforge.org
• [gecoder-commits] [142] trunk/lib/gecoder/interface/constraints/int_enum/count.rb: Plugged C0 coverage holes.   nobody at rubyforge.org
• [gecoder-commits] [143] trunk: Added sortedness constraints.   nobody at rubyforge.org
• [gecoder-commits] [144] trunk/specs/constraints/count.rb: Fixed an error in the spec which caused it never to test constant values.   nobody at rubyforge.org
• [gecoder-commits] [145] trunk: Added min and max constraints (arithmetic constraints).   nobody at rubyforge.org
• [gecoder-commits] [146] trunk/specs/constraints/arithmetic.rb: Refactored the arithmetic spec.   nobody at rubyforge.org
• [gecoder-commits] [147] trunk: Added the arithmetic constraints for single variables (abs and multiplication).   nobody at rubyforge.org
• [gecoder-commits] [23] trunk/specs/model.rb: Committ diffs are going to work any day now...   nobody at rubyforge.org
• [gecoder-commits] [24] trunk: Added Model#solution .   nobody at rubyforge.org
• [gecoder-commits] [25] trunk: Added relation constraints with constant integers.   nobody at rubyforge.org
• [gecoder-commits] [26] trunk/tasks/specs.rake: Added a task for running all specs.   nobody at rubyforge.org
• [gecoder-commits] [27] trunk/lib: Reorganized the library code (part 1 of 2).   nobody at rubyforge.org
• [gecoder-commits] [28] trunk: Reorganized the library code (part 2 of 2).   nobody at rubyforge.org
• [gecoder-commits] [29] trunk/lib/gecoder: Separated the constraints into their own directory since there will be a lot of them.   nobody at rubyforge.org
• [gecoder-commits] [30] trunk/lib/gecoder/interface: No need for a superfluous *_constraints since there's now a directory.   nobody at rubyforge.org
• [gecoder-commits] [31] trunk/lib/gecoder/interface/constraints/relation_constraints.rb: No need for a superfluous *_constraints since there's now a directory.   nobody at rubyforge.org
• [gecoder-commits] [32] trunk/specs: Refactored the specs a bit, putting the variable specs in their own file and adding a custom matcher for testing a varible's domain.   nobody at rubyforge.org
• [gecoder-commits] [33] trunk/specs: Created a directory for constraints to mimic the structure of the code.   nobody at rubyforge.org
• [gecoder-commits] [34] trunk/specs: Renamed the specs so that it's easier to spot which code they describe.   nobody at rubyforge.org
• [gecoder-commits] [35] trunk/specs/constraints/relation.rb: Updated the path to spec_helper.   nobody at rubyforge.org
• [gecoder-commits] [36] trunk: Added Model#int_var_array .   nobody at rubyforge.org
• [gecoder-commits] [37] trunk/lib/gecoder/interface/constraints/relation.rb: Minor documentation fix.   nobody at rubyforge.org
• [gecoder-commits] [38] trunk/specs/spec_helper.rb: Corrected the failure messages for the have_domain matcher.   nobody at rubyforge.org
• [gecoder-commits] [39] trunk: Added enum wrapping and the distinct constraint without offsets.   nobody at rubyforge.org
• [gecoder-commits] [40] trunk/specs/constraints/distinct.rb: Added a spec with a mock of Gecode::Raw.   nobody at rubyforge.org
• [gecoder-commits] [41] trunk/lib/gecoder/interface/constraints/distinct.rb: Added a comment for the distinct method.   nobody at rubyforge.org
• [gecoder-commits] [42] trunk/lib/gecoder/interface/enum_wrapper.rb: Changed the name of to_int_array to to_int_var_array and made it public.   nobody at rubyforge.org
• [gecoder-commits] [43] trunk: Added branching.   nobody at rubyforge.org
• [gecoder-commits] [44] trunk/lib/gecoder/interface/constraints/relation.rb: Fixed a couple of typos.   nobody at rubyforge.org
• [gecoder-commits] [45] trunk: Added basic linear constraints.   nobody at rubyforge.org
• [gecoder-commits] [46] trunk/specs: Altered a few spec descriptions.   nobody at rubyforge.org
• [gecoder-commits] [47] trunk/lib/gecoder/interface/search.rb: Typo.   nobody at rubyforge.org
• [gecoder-commits] [48] trunk/specs: Added a couple of specs.   nobody at rubyforge.org
• [gecoder-commits] [49] trunk/example/send_more_money.rb: Added send+more=money as an example.   nobody at rubyforge.org
• [gecoder-commits] [50] trunk/tasks/distribution.rake: It's probably time to call it 0.2 at this point.   nobody at rubyforge.org
• [gecoder-commits] [51] trunk: Linear expressions and variables are now allowed as right hand sides of linear equations.   nobody at rubyforge.org
• [gecoder-commits] [52] trunk/tasks: Added a couple of tasks for rcov.   nobody at rubyforge.org
• [gecoder-commits] [53] trunk/specs/constraints: Improved the spec coverage.   nobody at rubyforge.org
• [gecoder-commits] [54] trunk/specs/constraints: Corrected a couple of spec errors.   nobody at rubyforge.org
• [gecoder-commits] [55] trunk/lib/gecoder/interface/constraints/linear.rb: Removed some unnecessary pieces of code.   nobody at rubyforge.org
• [gecoder-commits] [56] trunk/lib/gecoder/interface/model.rb: Variables are now bound to the same space only once.   nobody at rubyforge.org
• [gecoder-commits] [57] trunk: Fixed a bug involving wrapped enums.   nobody at rubyforge.org
• [gecoder-commits] [58] trunk/specs/int_var.rb: Improved the spec code coverage.   nobody at rubyforge.org
• [gecoder-commits] [59] trunk/lib/gecoder/interface: Moved the copy-code for enums from enum_wrapper.rb to search.rb since it's actually part of the latter.   nobody at rubyforge.org
• [gecoder-commits] [60] trunk: Replaced Model#solution with Model#solve! and made it a destructive operation.   nobody at rubyforge.org
• [gecoder-commits] [61] trunk/doc: Transferred the website to webgen so that it can be put under version control and hosted on gecoder.rubyforge.org .   nobody at rubyforge.org
• [gecoder-commits] [62] trunk: Added LGPL license information.   nobody at rubyforge.org
• [gecoder-commits] [63] trunk/tasks/distribution.rake: Updated the gem's email as a mailing list for contact now exists.   nobody at rubyforge.org
• [gecoder-commits] [64] trunk/tasks: Added tasks for generating the website and html spec reports.   nobody at rubyforge.org
• [gecoder-commits] [65] trunk/doc: Added installation instructions.   nobody at rubyforge.org
• [gecoder-commits] [66] trunk/doc: Added a short introduction (which can be vastly improved).   nobody at rubyforge.org
• [gecoder-commits] [67] trunk/doc: Added the send+more=money example.   nobody at rubyforge.org
• [gecoder-commits] [68] trunk/doc/src/default.css: Pre-blocks, lists and code should now look decent (the overall graphic design still needs to be improved though).   nobody at rubyforge.org
• [gecoder-commits] [69] trunk/doc/src/default.css: Tweaked h3 so that it can be distinguished from h2.   nobody at rubyforge.org
• [gecoder-commits] [70] trunk/doc/src/installation.page: Big fat warning about being early in development added.   nobody at rubyforge.org
• [gecoder-commits] [71] trunk/doc/src: Added the users mailing list.   nobody at rubyforge.org
• [gecoder-commits] [72] trunk/doc/src: Redesigned the website a bit to allow for a submenu.   nobody at rubyforge.org
• [gecoder-commits] [73] trunk/doc/src/documentation/: The documentation now uses a submenu which also contains rdoc etc.   nobody at rubyforge.org
• [gecoder-commits] [74] trunk/doc: The documentation now uses a submenu which also contains rdoc etc.   nobody at rubyforge.org
• [gecoder-commits] [75] trunk/doc/src/index.page: Updated the development status.   nobody at rubyforge.org
• [gecoder-commits] [76] trunk: Updated the readme and rake version number for the release of 0.2.0.   nobody at rubyforge.org
• [gecoder-commits] [77] tags/gecoder-0.2.0/: Tagged release 0.2.0 .   nobody at rubyforge.org
• [gecoder-commits] [78] trunk/README: Added a warning about being early in development to the readme.   nobody at rubyforge.org
• [gecoder-commits] [79] trunk/doc: Added some documentation about the supported constraints.   nobody at rubyforge.org
• [gecoder-commits] [80] trunk/doc/src/default.template: Added Google analytics.   nobody at rubyforge.org
• [gecoder-commits] [81] trunk/lib/gecoder/interface: Begun reorganizing the constraints so that they are split up into type and what left hand side they accept (whether or not the lhs is an enum).   nobody at rubyforge.org
• [gecoder-commits] [82] trunk/lib/gecoder/interface: Reorganizing the constraints so that they are split up into type and what left hand side they accept (whether or not the lhs is an enum).   nobody at rubyforge.org
• [gecoder-commits] [83] trunk/lib/gecoder/interface: Namespaces altered to fit the directory structure.   nobody at rubyforge.org
• [gecoder-commits] [84] trunk/lib/gecoder/interface/constraints: Merged linear and simple relation constraints.   nobody at rubyforge.org
• [gecoder-commits] [85] trunk/specs/constraints/relation.rb: Changed the relation specs so that they now focus on the translation.   nobody at rubyforge.org
• [gecoder-commits] [86] trunk/lib/gecoder/interface/constraints/int/linear.rb: Minor comments added.   nobody at rubyforge.org
• [gecoder-commits] [87] trunk: The constructor of Gecode::Model no longer has to be called by classes inheriting from it.   nobody at rubyforge.org
• [gecoder-commits] [88] trunk/CHANGES: Added a file for tracking changes.   nobody at rubyforge.org
• [gecoder-commits] [89] trunk: Added Model#reset! which resets a model after search.   nobody at rubyforge.org
• [gecoder-commits] [90] trunk: Added Model#solution and Model#each_solution.   nobody at rubyforge.org
• [gecoder-commits] [91] trunk: Added boolean variables.   nobody at rubyforge.org
• [gecoder-commits] [92] trunk: Added reification and propagation strength to the distinct constraint.   nobody at rubyforge.org
• [gecoder-commits] [93] trunk/specs/constraints: Changed which modules the specs reference as being described for constraints.   nobody at rubyforge.org
• [gecoder-commits] [94] trunk: Linear and simple relation constraints can now also handle the constraint options.   nobody at rubyforge.org
• [gecoder-commits] [95] trunk/specs/constraints: Refactored the constraint option specs.   nobody at rubyforge.org
• [gecoder-commits] [96] trunk: Added distinct with offsets.   nobody at rubyforge.org
• [gecoder-commits] [97] trunk: Refactored the process of constructing a constraint.   nobody at rubyforge.org
• [gecoder-commits] [98] trunk: Simple relation constraints can now be used to specify relations between two variables.   nobody at rubyforge.org
• [gecoder-commits] [99] trunk: Variable ranges specified as a range with three dots are now interpreted correctly.   nobody at rubyforge.org
• [gecoder-commits] Purpose of this list   Andreas Launila

Last message date: Fri Jun 29 13:14:06 EDT 2007
Archived on: Fri Jun 29 13:14:10 EDT 2007

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...