4 Commits
Author SHA1 Message Date
davideandClaude Sonnet 5.5 875d480df1 gen_data scaricato in extern/ (gitignorato) con scarica_gen_data.sh; test di validazione e documentazione collegati
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-10-30 08:57:20 +01:00
davideandClaude Sonnet 5.5 5e8ed1a8a1 Documentazione: limiti aperti (soglia gradini, falsi «non adeguato», riposo), test aggiunti, durata test
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-10-29 13:32:23 +01:00
davideandClaude Sonnet 5.5 c37ca1e03d Documentazione aggiornata: assunzioni A17/A25, limiti, algoritmi, test, output e figura
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-10-29 11:54:09 +01:00
davideandClaude Sonnet 5.5 f28bddc5a2 Documentazione completa in docs/: assunzioni, algoritmi, moduli, configurazione, output, test, limiti
- docs/SPEC.md sostituito da un file per argomento (indice in docs/README.md)
- assunzioni A1-A24 con dove nel codice e cosa succede se false
- formule in LaTeX corrette (nessuno spazio prima del dollaro di chiusura), simboli e chiavi in tabella
- diagrammi Mermaid per il flusso degli algoritmi e le dipendenze dei moduli
- figura dei domini sul seed 1 (docs/img/domini_esempio.png)
- README ridotto a indice con avvio rapido; CLAUDE.md e docstring allineati

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-10-29 10:44:41 +01:00