v25.12.1

Enhancements

• Integrate libcurl for HTTP requests, replacing external curl/wget tools
• Integrate zlib for gzip decompression, replacing external gzip/gunzip tools
• Report broken b-files to LODA API server for automatic cache invalidation
• Add internal export-formulas command to export all program formulas to a file or stdout

Bugfixes

• Fix PARI evaluation error for formulas with constant identity functions (e.g., A026765)
• Fix LEAN evaluation error for formulas with mutually recursive functions that are not self-recursive (e.g., A001636)

v25.11.29

Enhancements

• Improve formula generation performance by imposing tighter limits on variant simplification
• Improve operations merging in optimizer

Bugfixes

• Fix parsing error during stats generation
• Fix PARI formula generation for rising factorial when the base can be zero (e.g., A006430)

Enhancements

• Use v2/submissions/ API endpoint to fetch and submit programs
• Handle program submissions with delete mode

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