all a / b / c / f / h / j / jp / l / o / q / s / sw / lounge cgi up wiki
[Settings] [Home] [Contact] [Catalog] [Search] [Thread list] [Stats] [Reports] [Watcher] [PMs] [Admin]
[Return] [Bottom]

This thread is too old to recieve replies

Want your banner here? Click here to submit yours!
File: Screen Shot 2026-06-25 at 12.11.32 AM.png
(631 KB, 3346x1783) ▶
646210
No.186201 [Report] + AS
▶
I finally started working on implement an expression system for my SVS project.
Marked for deletion (Old)
>>
No.186227 [Report] +
▶
I just realized I can't code anymore just looking at this. :biggrin:
>>
No.186378 [Report] +
▶
What's SVS? Elaborate
>>
No.186381 [Report] +
▶
>>186227
it's just a bit hard to read because of those long variable names and rather "compressed" lines (although to be fair I also try not to add newlines whenever I can), the only thing i dont understand is what "positive" means in that for loop, is it a macro perhaps?
>>
No.186917 [Report] +
▶
>>186381
>the only thing i dont understand is what "positive" means in that for loop, is it a macro perhaps?
It is a macro. The macro maps to a custom attribute that would normally do nothing. However, I could use a special program to modify the code such that all accesses and writes to any variable tagged with that attribute have an assert statement x >= 0 inserted before/after.
The idea behind this is because I plan to use a bounded model checker to formally verify the program as free of undefined behavior. The idea is constrain the search space and avoid false positives.
>>
No.186918 [Report] +
▶
>>186378
SVS is singing voice synthesis.
Want your banner here? Click here to submit yours!
[Top]
Delete post: []
First
[1]
Last