Skip to content

[ derive ] Don't spend fuel in structurally decreasing cases #252

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 42 commits into from
Apr 14, 2025
Merged

[ derive ] Don't spend fuel in structurally decreasing cases #252

merged 42 commits into from
Apr 14, 2025

Conversation

buzden
Copy link
Owner

@buzden buzden commented Mar 18, 2025

Fixes #61, fixes #128, closes #129

@buzden buzden added code: enhancement New feature or improvement code: refactoring Changing the code structure without changing functionality part: derivation Related to automated derivation of generators issue: performance When work takes too much resources issue: distribution When distribution of generation is wrong derive: least-effort Relates to the `LeastEffort` derivation algorithm derive: core Something in between single type generator and its constructors code: fix Fixing some issues part: examples Related to the usage examples labels Mar 18, 2025
@buzden buzden force-pushed the structurally-decr branch 9 times, most recently from 3327e4b to c086bb7 Compare March 21, 2025 12:39
@buzden buzden force-pushed the structurally-decr branch 2 times, most recently from 68fbdcc to 1450b3d Compare March 27, 2025 13:38
@buzden buzden force-pushed the structurally-decr branch 3 times, most recently from ecb05e9 to fa90ee4 Compare April 8, 2025 16:21
@buzden buzden marked this pull request as ready for review April 8, 2025 16:36
buzden
buzden commented Apr 8, 2025
View reviewed changes
@buzden buzden force-pushed the structurally-decr branch from fa90ee4 to c63cd79 Compare April 8, 2025 17:57
buzden added 27 commits April 10, 2025 18:20
@buzden
[ refactor ] Simplify the last cons recs computation code
0f4b5f8
@buzden
[ refactor ] Simplify the code of default fuel-spending behaviour
6f24327
@buzden
[ fix ] Use correct arguments list
bdbe419
@buzden
[ cleanup, upstream ] Remove functions present in updated upstream
509a5c5
@buzden
[ wip ] Prepare the info for weight functions derivation
983c74f
@buzden
[ new ] Add a facility to add additional function definitions
ef1969d
@buzden
[ refactor ] Make fuel decision expression function to be monadic
5dde1dd
@buzden
[ wip ] Return the function of derivation of weight functions
ed4defa
@buzden
[ refactor ] Store weighting expr differently for spending and rest
be848ae
@buzden
[ refactor ] Move reflectNat1 to the reflection utils
c100d1c
@buzden
[ refactor ] Require givens earlier, which allows more optimal usage
9c12ca0
@buzden
[ wip ] Return weight expression instead of mustSpendFuel
e58ae24
@buzden
[ wip ] Adapt Core to the changed/introduced weightExpr
1378392
@buzden
[ fix ] Use correct argument of the weighting functions
25bf53c
@buzden
[ wip ] Register and derive all needed weighting functions
8cfa5cb
@buzden
[ refactor ] Store TypeInfo instead of its name
0922312
@buzden
[ wip ] Implement derivation of weighting functions
91d2120
@buzden
[ test ] Update tests
39a1807
@buzden
[ test ] Add tests for length distr. of derived lists with dependencies
c1cd0d9
@buzden
[ ux ] Cleanup new log message
cc6e282
@buzden
[ experim ] Do not require indexed constructor to be purely directly rec
e5f0bf9
@buzden
[ wip ] Optimise computation of cons recs
ce8c5d5
@buzden
[ fixup ] Fix expression of multiple subweights
ce6d1ae
@buzden
[ fix ] Take only omega arguments into account when computing weight
59e9eb2
@buzden
[ relax ] Treat as weightable any type containing direct recursion
80cbe51
@buzden
[ perf ] Try to reduce the footprint of closures in elab scripts
a6bbe9c
@buzden
[ typo ] Fix one comment
cda8f86
@buzden buzden force-pushed the structurally-decr branch from 0809621 to cda8f86 Compare April 10, 2025 15:20
@buzden buzden merged commit 143a3dd into master Apr 14, 2025
75 checks passed
@buzden buzden deleted the structurally-decr branch April 14, 2025 12:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
code: enhancement New feature or improvement code: fix Fixing some issues code: refactoring Changing the code structure without changing functionality derive: core Something in between single type generator and its constructors derive: least-effort Relates to the `LeastEffort` derivation algorithm issue: distribution When distribution of generation is wrong issue: performance When work takes too much resources part: derivation Related to automated derivation of generators part: examples Related to the usage examples
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Lengths of generated lists of derived sorted lists are too short Do not spend fuel when given index is structurally decreasing
1 participant
@buzden