eo Let's cache optimized XMIR files in ~/.eo/optimized

Let's cache optimized XMIR files in ~/.eo/optimized

Open yegor256 opened this issue 1 year ago • 2 comments

Similar to #1062

Let's keep resulting XMIR files produced by OptimizeMojo in ~/.eo/optimized directory

Sep 15 '22 09:09 yegor256

@mximp please, help

Sep 15 '22 09:09 yegor256

@potatmen please take this one

Sep 15 '22 12:09 mximp

@volodya-lombrozo please pick this up

Oct 28 '22 07:10 mximp

@yegor256 the puzzle #1431 is still not solved.

Nov 09 '22 12:11 0pdd

@yegor256 2 puzzles #1442, #1443 are still not solved; solved: #1431.

Nov 11 '22 09:11 0pdd

@yegor256 the puzzle #1443 is still not solved; solved: #1431, #1442.

Nov 15 '22 08:11 0pdd

@yegor256 all 3 puzzles are solved here: #1431, #1442, #1443.

Nov 16 '22 06:11 0pdd

@yegor256 we can close it.

Nov 16 '22 07:11 volodya-lombrozo

@yegor256 reminder

Nov 21 '22 09:11 volodya-lombrozo

@volodya-lombrozo thanks!

Nov 21 '22 10:11 yegor256