Open Hub
Open Hub

 Settings |  Report Duplicate

1
I Use This!
Inactive

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.
Nov 16, 2024 — Nov 16, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Debugging
scand1sk
as Julien Vion
More... over 11 years ago
Finished reworking/debugging BitVectors. Further tests required.
scand1sk
as Julien Vion
More... over 11 years ago
New BitVectors - WIP
scand1sk
as Julien Vion
More... over 11 years ago
Merge branch 'master' of https://github.com/concrete-cp/concrete
scand1sk
as Julien Vion
More... over 11 years ago
Merge branch 'generators'
scand1sk
as Julien Vion
More... over 11 years ago
Merge branch 'generators'
scand1sk
as Julien Vion
More... over 11 years ago
Merge branch 'generators' of https://github.com/concrete-cp/concrete into generators
scand1sk
as Julien Vion
More... over 11 years ago
Revamping BitVector API/Implementation
scand1sk
as Julien Vion
More... over 11 years ago
Revamping BitVector API/Implementation
scand1sk
as Julien Vion
More... over 11 years ago
Began implementation of immutable BitVector in Scala.
scand1sk
as Julien Vion
More... over 11 years ago
Removed badly supported "SumNE" mode.
scand1sk
as Julien Vion
More... over 11 years ago
Split several constraints into BC/AC versions Various debugging/improvements
scand1sk
as Julien Vion
More... over 11 years ago
Upgraded scala-logging to 3.0.0 Upgraded CSPOM to 2.3-SNAPSHOT Added SumDomains compiler relying of Intervals arithmetics
scand1sk
as Julien Vion
More... over 11 years ago
Updated to CSPOM 2.2, make a few changes accordingly New domain generator for "bool2int" constraint
scand1sk
as Julien Vion
More... over 11 years ago
Skip AbsDiffDomains computation when all domains are defined
scand1sk
as Julien Vion
More... over 11 years ago
Adapt to new version of IntInterval
scand1sk
as Julien Vion
More... over 11 years ago
Various debugging
scand1sk
as Julien Vion
More... over 11 years ago
Tested domain reduction against canonical form
scand1sk
as Julien Vion
More... over 11 years ago
Simplified variable generation Various optimizations
scand1sk
as Julien Vion
More... over 11 years ago
Working on domain generators…
scand1sk
as Julien Vion
More... over 11 years ago
Uses new IntInterval/IntRangeSet implementation
scand1sk
as Julien Vion
More... over 11 years ago
Working on new generators
scand1sk
as Julien Vion
More... over 11 years ago
Work on generators
scand1sk
as Julien Vion
More... over 11 years ago
Working on new domain generators
scand1sk
as Julien Vion
More... over 11 years ago
Revert "Interval was moved to CSPOM"
scand1sk
as Julien Vion
More... over 11 years ago
Refactoring Generators code to use CSPOM patterns and toolkits
scand1sk
as Julien Vion
More... over 11 years ago
Revert "Interval was moved to CSPOM"
scand1sk
as Julien Vion
More... over 11 years ago
Updated scala-test AbsDiff depends on new GuavaRange Typo in IntervalSet
scand1sk
as Julien Vion
More... over 11 years ago
AbsDiff now uses CSPOM 2.1's IntDomainGenerator API.
scand1sk
as Julien Vion
More... over 11 years ago
Updated for new Intervals API
scand1sk
as Julien Vion
More... over 11 years ago