Automatic Solver Selection - #26

Open

j4yk wants to merge 148 commits into

babelsberg:masterfrom

psieg:release/automatic_solver_selection_pr

Commits on Apr 28, 2015

Allow local deployments
psieg
committed
049eb0e
Update README for our team setup
psieg
committed
5dec66e
simplified setup
psieg
committed
840cef6
Merge branch 'dev' of https://github.com/psieg/babelsberg-js into dev
gersseba
committed
7aed2b4
improve readme
gersseba
committed
81d107e
added html to mess around with webworkers
LRueckert
committed
eb0dc87

Commits on May 5, 2015

change to fix
psieg
committed
b554f60
tf
psieg
committed
9be8cfc
Merge branch 'dev' of https://github.com/psieg/babelsberg-js into dev
psieg
committed
e9d9760
W.t.f. git
psieg
committed
f90005c

Commits on May 19, 2015

changed some to each, added timekeeping to enable and suggestvalue
LRueckert
committed
2667b8f

Commits on May 26, 2015

Relax: don't solve on always, solve when enabled
psieg
committed
cf38162
Read correct values while trying out different solvers
psieg
committed
f763a48
Disable constraints after testing
psieg
committed
c2eab94
choose the fastest solver
psieg
committed
be72db3
Use performance.now() rather than new Date() for performance measures
psieg
committed
22d58d7
enable the chosen constraint
psieg
committed
dac6baa
only consider enabled solvers as definingSolvers
psieg
committed
6d92551

Commits on Jun 2, 2015

reset constraint.current
psieg
committed
f9fa9eb
Merge branch 'some_to_each' into dev
psieg
committed
7d0f9e0
trigger travis
psieg
committed
d8d67e3
Update travis banner
psieg
committed
5970d64
properly honor opts.postponeEnabling
psieg
committed
315b5ae
Merge branch 'dev' of https://github.com/psieg/babelsberg-js into dev
psieg
committed
e322c24
use original behaviour for no available solvers, remove hungarian notation
psieg
committed
18c9ae6
Do not choose if there is only one solver available
psieg
committed
dab71bc
Filter solvers by capabilities before comparing
psieg
committed
313cb84

Commits on Jun 7, 2015

added number of changed variables to constraint selection #15,
LRueckert
committed
3ac19b7

Commits on Jun 9, 2015

ResetIsSolveable on enable and bump down when bumped up only
psieg
committed
0851995
Print solverName instead of multiple lines
psieg
committed
5f5f12d
Throw an Error instead of a string
psieg
committed
8c98e4a
Remove recursion guard after recursive call
psieg
committed
92f7927
Enable constraint before using it
psieg
committed
347de64
Use __solver__ instead of solver so DBPlanner works too
psieg
committed
0ac16ea
Hack to get some legacy tests green (fixme)
psieg
committed
6d29035

Commits on Jun 10, 2015

Fix tests by undoing fix for garbage code
psieg
committed
f1359f2
Remove hardcoded debugger statements in test flow
psieg
committed
c27bad9
fixed selecting a constraint when there is none left
LRueckert
committed
1fd4a77
added try catch to single solver constraint
LRueckert
committed
649c061

Commits on Jun 16, 2015

If not enabled, return stored value
psieg
committed
d1900f5
single solver: do not enable if opts.postponeEnabling
psieg
committed
824fcf8
refactor always for postponeEnabling
psieg
committed
75e9dbe
travis test: use console.time instead of performance.now
psieg
committed
40796dc
style
psieg
committed
2860684

Commits on Jun 22, 2015

Commits on Jun 23, 2015

Tests: Fall back to Date if performance is undefined
psieg
committed
cf4c779
Merge branch 'capabilities' of https://github.com/psieg/babelsberg-js into capabilities
psieg
committed
414fe6c
style
psieg
committed
1cfc558
try to fix lively tests
Lars Rückert
committed
d24a56f
handle cases where definingSolver is null better
psieg
committed
a7e06b7
Merge branch 'capabilities' of https://github.com/psieg/babelsberg-js into capabilities
psieg
committed
23a228b
style
psieg
committed
3f1269e
try lively tests again
Lars Rückert
committed
5a1feab

Commits on Jun 29, 2015

format the requirements of tests.js
j4yk
committed
9cd04db
include csp in defaultSolvers
j4yk
committed
8446860
try resetting the global state of the tests in a setUp method
j4yk
committed
12d31aa

Commits on Jun 30, 2015

this should get the lively tests green
psieg
committed
8373bb3
Merge branch 'capabilities' of https://github.com/psieg/babelsberg-js into capabilities
psieg
committed
c6815d3
Merge pull request #17 from psieg/capabilities
Sebastian Gerstenberg
committed
d96ad86
consolidate defaultSolvers setUp in tests
j4yk
committed
a5b0b27
Merge remote-tracking branch 'origin/dev' into solver-selection-tests
j4yk
committed
aa12669
Merge pull request #21 from psieg/solver-selection-tests
psieg
committed
fd15fff
Add logging flags to constraint options
psieg
committed
c9ae166
Merge remote-tracking branch 'origin/dev' into 15_variable_count
j4yk
committed
14e9720
guard clause in chooseConstraint
j4yk
committed
07a85d2
rename chooseConstraint to chooseConstraintBasedOnMetrics
j4yk
committed
431d0e6
Pass logTimings flag to Constraint and ConstraintVariable
psieg
committed
bd4b528
fix nBegin vs. begin typo
j4yk
committed
7c74e26
style
psieg
committed
858363b
do not try to disable constraint which have just been nulled
j4yk
committed
58e3908
record variable changes with oldValue and newValue during #enable
j4yk
committed
4153ac6
add a method to compute the squared distance from variable assignments
j4yk
committed
4456447
add a test for the squaredChangeDistance computation
j4yk
committed
fac1650

Commits on Jul 5, 2015

Merge pull request #22 from psieg/logging_opts
j4yk
committed
9600dca
style
j4yk
committed
a07fd18

Commits on Jul 6, 2015

allow to choose the metrics which determine the best solver
j4yk
committed
67b4bc4

Commits on Jul 7, 2015

added "numberOfChangedVariables" to optimizationPriority
Lars Rückert
committed
1eba646
fix incomplete for-loop condition
j4yk
committed
c24a157
restore defaultSolvers after our tests
j4yk
committed
6002f16
fix handling of strings in the squared change distance
j4yk
committed
329b7cd

Commits on Jul 9, 2015

restore defaultSolvers after our tests
j4yk
committed
144ef8d
whitespace
j4yk
committed
3a1c6f9
have Constraints know their options and introduce definingConstraint
j4yk
committed
43e5252

Commits on Jul 11, 2015

do not enable Z3 immediately in solver.always
j4yk
committed
2311d2f
split some parts Babelsberg.always into smaller methods
j4yk
committed
2e02c6b
move Babelsberg.chooseSolvers and .filterSolvers up to match invocations
j4yk
committed
77405b3
choose solvers again after 1000 initial suggests by default
j4yk
committed
5538a5b
add assertion that the later unselected solver is not called anymore
j4yk
committed
b4aa37f
rename _searchDefinginSolver to _searchDefiningSolverAndConstraint
j4yk
committed
d795974
only consider enabled Constraints for ConstrVar._hasMultipleSolvers
j4yk
committed
cf06d86
remove old console.log about the busy wait for the stubbed test solvers
j4yk
committed
ec136ee
do not use Set because it is too new for the node on travis
j4yk
committed
f614e90
tabs to spaces
j4yk
committed
eda6318
fix too long lines
j4yk
committed
311343b
eject unused external variables from ConstrainedVariables
j4yk
committed
f04e656
fix: Constraint.updateCounter increased too often
j4yk
committed
0b92c14
Isolate test.html inline js
psieg
committed
3ee5fbc
Add supportedDataTypes to solvers
psieg
committed
e550316
Pass func to filterSolvers, test supportedDataTypes
psieg
committed
9d879f4
Add ConstraintInspectionLayer
psieg
committed
ecbdccb
Collect types used for filtering
psieg
committed
57778e4
Do not use unsupported sets
psieg
committed
b1be95e
Add funcMapping magic
psieg
committed
644b402
Filter by gathered data types
psieg
committed
2665b91

Commits on Jul 12, 2015

Add tests
psieg
committed
8fcf7e2
Fix testcase variable visibility
psieg
committed
fe8e9fa
fix deletion scope
psieg
committed
6f19064

Commits on Jul 13, 2015

changes according to PR remarks, changed indentation in tests.js to spaces
LRueckert
committed
00b055b

Commits on Jul 14, 2015

Merge branch 'master' into dev
psieg
committed
fde8011
Don't try to outsmart the disabling mechanism
psieg
committed
470f060
remove unused parameter
psieg
committed
6b08016
Fix tests and detection, add object as type
psieg
committed
35f6fea
Merge branch 'dev' into parse_filter_4
psieg
committed
46acc9d

Commits on Jul 15, 2015

Properly filter through function calls
psieg
committed
bedd7a4
Add filtering by finite domain support
psieg
committed
452d232
tests for squaredChangeDistance
gersseba
committed
c6ea9b4
fix testnames
gersseba
committed
e9d2f18
merge dev
gersseba
committed
93990e3
damn linter
gersseba
committed
af30812

Commits on Jul 18, 2015

Merge dev
LRueckert
committed
585b3d0
remove hungarian notation
LRueckert
committed
d92e2f9
uncommented lines in searchDefiningSolver
LRueckert
committed
fcebc6e
Merge pull request #24 from psieg/feature/13_squared_change_distance
Lars Rückert
committed
fbe1618
Merge dev
LRueckert
committed
2a11600
remove commented line
LRueckert
committed
761d7ca

Commits on Jul 19, 2015

Add comment to cassowary capabilites
psieg
committed
070b5e6

Commits on Jul 20, 2015

remove bug notice from test case
j4yk
committed
7d11b30
reset the _definingSolver to null when the Constraint solver changes
j4yk
committed
3f77e17
Merge pull request #25 from psieg/feature/reevaluation
j4yk
committed
91c3687
merge dev into parse_filter_4
gersseba
committed
987af0e
Merge pull request #26 from psieg/parse_filter_4
Sebastian Gerstenberg
committed
3ca37c7
Remove undefined from log messsage
psieg
committed
4652d39
Merge branch 'dev' of https://github.com/psieg/babelsberg-js into dev
psieg
committed
ce173fb
fix variable name
LRueckert
committed
c381809

Commits on Jul 21, 2015

Add logTimings to a test
psieg
committed
108698b

Commits on Jul 23, 2015

fix a merge error: filterSolvers takes func as third arg
j4yk
committed
0141c84
refactor Constraint abandoning
j4yk
committed
e7bb710

Commits on Jul 25, 2015

Merge pull request #33 from psieg/feature/32-refactoring
psieg
committed
a6914e0

Commits on Jul 26, 2015

rename recalculation-attributes to reevaluation for consistency
j4yk
committed
616f906
allow to specify the reevaluationInterval in the opts
j4yk
committed
89b7d26
make sure opts.reevaluationInterval is a number before applying it
j4yk
committed
924462d
fix: missed an instance of 'recalculation' (vs reevaluation)
j4yk
committed
74a5b93
eliminate duplicate definition of preparePatchedSolvers in tests
j4yk
committed
e33feb2
fix: if a Constraint failed during chooseConstraint is was not abandoned
j4yk
committed
bb67349
Revert "Update travis banner"
j4yk
committed
8bbc263
Revert "added html to mess around with webworkers"
j4yk
committed
7cdc322