2017-12-03 14:59:39 +01:00
|
|
|
(cfg "Optimized"
|
2017-12-03 10:23:37 +01:00
|
|
|
(resolutions
|
|
|
|
(1280 720)
|
|
|
|
(1920 1080)
|
|
|
|
)
|
|
|
|
(optimizer on
|
2017-12-12 18:30:41 +01:00
|
|
|
(constant-folding on
|
2017-12-14 07:39:38 +01:00
|
|
|
(fixed-resolution on)
|
2017-12-12 18:30:41 +01:00
|
|
|
)
|
2017-12-03 18:35:56 +01:00
|
|
|
(constant-propagation on)
|
2017-12-15 07:40:40 +01:00
|
|
|
(dead-code-elimination on)
|
2017-12-03 10:23:37 +01:00
|
|
|
)
|
|
|
|
)
|
2017-12-03 14:59:39 +01:00
|
|
|
|
|
|
|
(cfg "Basic"
|
|
|
|
(resolutions
|
|
|
|
(1280 720)
|
|
|
|
(1920 1080)
|
|
|
|
)
|
|
|
|
(optimizer off)
|
|
|
|
)
|