Skip to content
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

Generate Recursive Function that won't be infinite #293

Open
wants to merge 28 commits into
base: memory-testing
Choose a base branch
from
Open

Generate Recursive Function that won't be infinite #293

wants to merge 28 commits into from

Conversation

hanxic
Copy link
Contributor

@hanxic hanxic commented Jul 28, 2022

This solution generate recursion in gen_terminator_sz and make sure that it won't get into infinite loop by restricting the use of the parameter used in recursion

hanxic added 28 commits July 13, 2022 20:58
@hanxic
Checkpoint: Can trivially create other functions
90c3f16
@hanxic
Checkpoint: Have a function that will filter the global from variable…
5b8b6d9 
… context
@hanxic
Checkpoint: can successfully add helper function into context. Still …
c6ff563 
…need to adjust other instr generator to not call function
@hanxic
Checkpoint: Wrote filter nonfunction type for ctx
e692c49
@hanxic
cleanup
d23f930
@hanxic
Checkpoint: Wrote gen_call function. Haven't test
8003dce
@hanxic
Checkpoint: Successfully generated one void function that can be called
8b5424b
@hanxic
Checkpoint: cleanup
5136e29
@hanxic
can now have multiple trivial functions with no parameter and corecur…
57ee12b 
…sion
@hanxic
Checkpoint: Add parameters in. Haven't tested
25dde3b
@hanxic
Checkpoint: Can generate parameter, but somehow isn't showing
6bda370
@hanxic
Checkpoint: cleanup
511b967
@hanxic
One small fix to have some chance of generating 0 helper. Still can't…
8bd4137 
… figure out why parameters are not printed
@hanxic
Solved the parameter issue with Calvin's help
d8d8e77
@hanxic
Cleanup
85e9c67
@hanxic
Cleanup and simplify generating multiple helper functions
15d547d
@hanxic
Add current function as a part of GenState. Add relevant functions re…
7363cd7 
…lated to current function. Add eqb function for ident * typ.
@hanxic
Checkpoint: Has a bug about call. Need to make sure not call own func…
cca2a49 
…tion
@hanxic
Check: Solve recursing own function. Still can't recurse at this point
2311a7b
@hanxic
Checkpoint: Refactor gen_curr_fun to include local ids for all arguments
3754128
@hanxic
Checkpoint: Setup the framework for recursion. Haven't actually imple…
f6fbcb0 
…ment it
@hanxic
Checkpoint: Start writing recursion
236cd5a
@hanxic
Cleanup
4d69056
@hanxic
Can generate recursive function
bdba4c0
@hanxic
Cleanup
3d5fef9
@hanxic
Add some comments
8f7d235
@hanxic
merge conflict
5dc7d55
@hanxic
Bug fix
ff8a3d5
@Chobbes Chobbes added this to In progress in Testing: QuickChick and otherwise via automation Jul 28, 2022
@Chobbes Chobbes self-requested a review July 28, 2022 14:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Chobbes Chobbes Awaiting requested review from Chobbes

Assignees
No one assigned
Labels
None yet
Projects
Testing: QuickChick and otherwise
In progress
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
1 participant
@hanxic