v25.11.9

Enhancements

• Support fac in LEAN formula generation
• Improve LEAN formula generation for pow
• Improve mined programs comparison

v25.11.2

Bugfixes

• Fix escaping in generated Discord messages

Features

• Support multiple functions in LEAN formula generation
• Support bitwise operations in LEAN formula generation

Enhancements

• Simplify geometric progressions in formula generation
• Simplify generated expressions for fac operations
• Improve optimization of pow,nrt operations
• Extend program stats with LEAN & PARI flags
• Add LEAN project support for testing

v25.10.19

Bugfixes

• Fix optimizer bug

Features

• Support memory operations in formula generation
• Support simple recursive functions in LEAN formula generation
• Add Windows ARM64 build support

Enhancements

• Add formula parser for parsing formulas from their string representation
• Add internal command for finding programs with slow formula generation
• Improve eval performance using optimized linker settings
• Extend program stats with operation type bitmask

v25.10.16

Bugfixes

• Fix memory region operation handling in incremental evaluator

v25.10.15

Features

• Add memory operations: fil, rol, ror
• Add limited LEAN export for simple programs

Enhancements

• Simplify formulas by replacing simple references to recursive functions
• Removed deprecated list generation functionality

v25.10.8

Enhancements

• Improve formula generation
• Improve submitted program checks
• Avoid cloning entire git history for programs
• Add internal commands and tools

v25.10.3

Bugfixes

• Fix nrt operation

Enhancements

• Support fac in formula generation
• Extend program stats

v25.9.26

Enhancements

• Faster nrt using Newton's method
• Correct existing programs
• Extend program stats

v25.9.13

Enhancements

• Extend program stats
• Improve error output in eval command

v25.9.10

Enhancements

• Improve program validation
• Improve usage stats
• Allow submissions w/o miner profile