Ettore Di Giacinto
a756c802f9
Hook config when generating the SolverOptions, display debug message about solver type
2020-02-12 12:24:07 +01:00
Ettore Di Giacinto
d6f7c47eae
Add compact string notation for SolverOptions
2020-02-12 12:23:37 +01:00
Ettore Di Giacinto
b2a5de9222
Adapt installer test to constructor changes
2020-02-12 12:05:28 +01:00
Ettore Di Giacinto
3cd87abafe
Consume SolverOptions in cli
2020-02-12 11:23:38 +01:00
Ettore Di Giacinto
7e388c6fed
Cleanup resolver from logger
...
It creates cycle and we don't want to output anything from the computation process.
We should handle output in different stages
Also create constructor for solver to be able to consume resolvers.
2020-02-12 11:22:56 +01:00
Ettore Di Giacinto
07a154474b
Consume SolverOptions in compiler
2020-02-12 11:21:55 +01:00
Ettore Di Giacinto
6aa353edb2
Consume SolverOptions in installer
2020-02-12 11:21:30 +01:00
Ettore Di Giacinto
8951203165
Add LuetSolverOptions to tweak solver parameter in Config
2020-02-12 11:21:08 +01:00
Ettore Di Giacinto
d330fedcc4
fmt
2020-02-12 11:05:13 +01:00
Ettore Di Giacinto
dfb6dab9dc
Move repository helpers under config
...
They are generated after the system config, let the structure provide such information
2020-02-12 10:20:07 +01:00
Ettore Di Giacinto
4f33eca263
Consume internal attempts in QLearn so resolver can be re-used
2020-02-12 09:22:10 +01:00
Ettore Di Giacinto
54b0dce54b
Respect argument passed to Untar in helpers
2020-02-11 16:55:00 +01:00
Ettore Di Giacinto
ea2a60a853
Cleanup, drop hardcoded values and use constructors
2020-02-11 15:58:28 +01:00
Ettore Di Giacinto
c8f4ba0a47
Add Factorial helper
2020-02-11 15:00:28 +01:00
Ettore Di Giacinto
33da68c2ff
update vendor/
2020-02-11 15:00:14 +01:00
Ettore Di Giacinto
c9090ef1fd
Bump gophersat
...
Pin to master which now includes https://github.com/crillab/gophersat/pull/17
2020-02-11 14:59:50 +01:00
Ettore Di Giacinto
7e0ea34b81
Switch back to gophersat
2020-02-11 14:58:17 +01:00
Ettore Di Giacinto
2f6bef14d5
Revert "update vendor/"
...
This reverts commit 7ce522110e
2020-02-11 14:55:49 +01:00
Ettore Di Giacinto
711c039296
Reward by observedDelta
...
Keep a record of the observed delta and maximize reward for it.
Also add Noop actions which is turned off by default.
Let finish the execution also when no solution is found, as we will take the
minimum observed delta as result.
This is done on purpose to avoid guessing "when" is a good time to stop the agent,
as it could be in the middle of picking up a new action which is not the final
(but we need limits, we can't let it run forever).
2020-02-11 14:52:24 +01:00
Ettore Di Giacinto
7ce522110e
update vendor/
2020-02-11 09:52:38 +01:00
Ettore Di Giacinto
ac6554c291
Support Add/Removal actions
...
Also keep the list of the wanted targets as we walk it. We will let the agent to try different solutions
2020-02-11 09:51:52 +01:00
Ettore Di Giacinto
d4255b086b
Uncomment failing test
...
Add test to support that normally we need to pass explictly the installable ones only.
2020-02-11 09:50:26 +01:00
Ettore Di Giacinto
1b90407475
Don't preclude action space
2020-02-11 09:21:25 +01:00
Ettore Di Giacinto
6f6e2bf15f
Pin to gophersat version
...
Having the same var in the and block seems to make gophersat crash. Even if might be unoptimal,
we need this to tighten the conditions between packages.
Switch to gophersat fork until this fix is merged upstream:
https://github.com/crillab/gophersat/pull/17
2020-02-11 09:06:57 +01:00
Ettore Di Giacinto
6d450d3af0
Add simple QLearning solver support
...
Still experimental, it covers very small subset of action domains (just removal from target).
Added a pending test that currently fails
2020-02-10 17:18:18 +01:00
Ettore Di Giacinto
33b442a832
Add accessor to decode from package String()
2020-02-10 17:14:46 +01:00
Ettore Di Giacinto
f068bfdb9b
Add PackageResolver to add heuristics on unsat solutions
2020-02-10 09:41:09 +01:00
Ettore Di Giacinto
4dc4205868
Drop json skip from id. It prevents storm to track entities #55
2020-02-08 18:18:05 +01:00
Ettore Di Giacinto
50ec17e738
Bump version for upcoming release
2020-02-08 12:08:31 +01:00
Ettore Di Giacinto
4c80d70512
Prepare for 0.5 tag
2020-02-08 12:07:18 +01:00
Ettore Di Giacinto
b826288037
Update README
2020-02-08 12:06:54 +01:00
Ettore Di Giacinto
821ac20fa2
Highlight Documentation link
2020-02-06 18:30:33 +01:00
Ettore Di Giacinto
97edac4aa1
README Fixups
2020-02-06 18:26:43 +01:00
Ettore Di Giacinto
a118c7f98b
Merge branch 'develop'
2020-02-06 18:24:47 +01:00
Ettore Di Giacinto
fcd05a57d3
Update README
2020-02-06 18:24:15 +01:00
Ettore Di Giacinto
255aecf20b
Merge pull request #44 from mudler/develop
...
Merge develop
2020-02-04 20:59:35 +01:00
Ettore Di Giacinto
5594844971
Adapt integration test to test install and build from cli without explicit versioning
2020-02-04 20:16:35 +01:00
Ettore Di Giacinto
f813370501
Resolve selectors if present before starting install
2020-02-04 20:15:59 +01:00
Daniele Rondina
c353ab4978
client/http: Add support for authentication Basic/Token
2020-02-03 00:58:55 +01:00
Daniele Rondina
1653a60428
cmd/create-repo: Permit to use repository from config
2020-02-02 11:29:05 +01:00
Daniele Rondina
de2afe8ed0
tests/integration: Add cleanup command
2020-02-02 10:38:41 +01:00
Daniele Rondina
298de447b8
Fix installer/client test suite
2020-02-01 21:18:32 +01:00
Daniele Rondina
40687c3072
Use dynamic pkgs cache dir for test suite
2020-02-01 20:05:19 +01:00
Daniele Rondina
2528fe0fb4
Add cleanup command
2020-02-01 19:35:46 +01:00
Daniele Rondina
78b5963a4f
Add support for local packages cache
2020-02-01 19:35:30 +01:00
Daniele Rondina
524bbf990e
Add support for same-owner config option
2020-02-01 19:01:15 +01:00
Ettore Di Giacinto
96f4a6c0e3
Add serve-repo for a minimal embedded micro http server
2020-01-31 21:22:15 +01:00
Ettore Di Giacinto
0e30e6a1ad
Treat single conflict cases as well when building conflict formula
2020-01-31 20:50:55 +01:00
Ettore Di Giacinto
0147b2cf99
Don't cleanup the whole cache download dir, just the downloaded artifact
...
Otherwise whatever we download cannot be consumed (e.g. tree).
Instead whoever is calling the client should care to cleanup the returned artifact
2020-01-30 18:03:25 +01:00
Ettore Di Giacinto
eee0136156
Add compressed tree integration test
2020-01-28 17:47:42 +01:00
