feat: Add comprehensive real literal support with scientific notation and dot shorthand#6286

Merged

fabiomadge merged 36 commits intomasterfrom

scientific_notation

Jul 9, 2025

Commits on Jun 28, 2025

feat: Add scientific notation and dot shorthand support for real literals
fabiomadge
committed

Commits on Jun 29, 2025

fix: Resolve tuple access conflict with leading dot literals
fabiomadge
committed
fix: Remove leading dot literals to preserve tuple access compatibility
fabiomadge
committed
cleanup: Remove dead leading dot code and fix documentation
fabiomadge
committed
fix: Use correct terminology - exponential notation, not scientific notation
fabiomadge
committed
Revert "fix: Use correct terminology - exponential notation, not scientific notation"
fabiomadge
committed
docs: Improve real literal documentation structure and clarity
fabiomadge
committed
docs: Focus trailing dot documentation on useful cases
fabiomadge
committed
test: Add comprehensive tests for trailing dots with scientific notation
fabiomadge
committed
fix: Correct example comment - use 42e-1 instead of 4.2e0
fabiomadge
committed
docs: Update example from 5e0 to 5e2 for consistency
fabiomadge
committed
docs: Improve trailing dot shorthand description
fabiomadge
committed
feat: Add parser-level support for trailing dots in real literals
fabiomadge
committed
Fix regression: restore range slicing while supporting trailing dots
fabiomadge
committed
Fix test expectation format for ScientificNotationErrors
fabiomadge
committed
Correct development guide: all integration test failures must be addressed
fabiomadge
committed
Remove development guide from repo and add to .gitignore
fabiomadge
committed
Remove DEVELOPMENT_GUIDE.md from .gitignore
fabiomadge
committed
Fix test expectations for scientific notation tests
fabiomadge
committed
Fix ScientificNotation.dfy test - simplify and correct expectation
fabiomadge
committed
Restore comprehensive ScientificNotation.dfy test
fabiomadge
committed
Add leading dot support for real literals
fabiomadge
committed
Fix grammar conflict between leading dot literals and tuple member access
fabiomadge
committed
fix: Remove leading dot support to avoid tuple access conflicts
fabiomadge
committed
docs: Improve real number literal terminology in grammar documentation
fabiomadge
committed
fix: Update ScientificNotation test expectation to match actual verification count
fabiomadge
committed

Commits on Jul 1, 2025

Commits on Jul 2, 2025

Optimize parser implementation and enhance documentation
fabiomadge
committed

Commits on Jul 8, 2025