You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
While adding PSB2, @IssaHanou and I have encountered multiple situations where an immediately evaluated expression in the grammar would be useful.
In the benchmark, they add random integers and strings to the grammar quite often, meaning the following would be nice to have working
g_with_eval =@csgrammarbegin
Int =...
Int =_(rand(1:100))
end
Which would add a single random integer to the grammar that would be the same throughout the entire synthesis process. Currently, we can do something like:
some_rand =rand(1:100)
g_with_eval =@csgrammarbegin
Int =...
Int = some_rand
end
Which is fine, but the first implementation would be cleaner.
The text was updated successfully, but these errors were encountered:
While adding PSB2, @IssaHanou and I have encountered multiple situations where an immediately evaluated expression in the grammar would be useful.
In the benchmark, they add random integers and strings to the grammar quite often, meaning the following would be nice to have working
Which would add a single random integer to the grammar that would be the same throughout the entire synthesis process. Currently, we can do something like:
Which is fine, but the first implementation would be cleaner.
The text was updated successfully, but these errors were encountered: