June 2016 Archives by date

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

Starting: Thu Jun 9 18:47:36 CEST 2016
Ending: Wed Jun 29 18:47:31 CEST 2016
Messages: 9

• [DEECo] [d3scomp/JDEECo] 337425: Added Sum aggregation implementation to Constraint...   GitHub
• [DEECo] [d3scomp/JDEECo] c100d7: Major refactoring overhaul of the validation and e...   GitHub
• [DEECo] [d3scomp/JDEECo] 852d5b: Discrete event timer can be parameterized by the s...   GitHub
• [DEECo] [d3scomp/JDEECo] 1438f7: Initial commit to Intelligent ensembles.   GitHub
• [DEECo] [d3scomp/JDEECo] 6ede5a: Added new version of Z3 solver   GitHub
• [DEECo] [d3scomp/JDEECo] ca67d4: Bugfix: Star cardinalities are now treated correct...   GitHub
• [DEECo] [d3scomp/JDEECo] fa566e: Added core support for structured ensemble id, lay...   GitHub
• [DEECo] [d3scomp/JDEECo] 335211: Minor improvement in validation - now reports a co...   GitHub
• [DEECo] [d3scomp/JDEECo] b3166d: Minor bugfixing.   GitHub

Last message date: Wed Jun 29 18:47:31 CEST 2016
Archived on: Thu Jan 17 14:46:15 CET 2019

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