Nada Amin issues

Results 18 issues of


                                            Nada Amin

Semantics of private conflicting vals in reified classes

This example returns "1abc" instead of 2, because the private fields x overwrite each other dynamically, instead of being resolved statically. @gkossakowski suggests just renaming private fields to avoid conflict....

Roadmap

Configure and enable final report generation from journal.

Direct any model (named without `claude-`) to the OpenAI backend.

The old logic (OpenAI backend only for `gpt-` names) directed any OpenAI-compatible server model configuration to the Claude backend, as it was picked by default for any model named without...

Make it command-line configurable to switch between Ollama (now default) and actual OpenAI

Ollama works via OpenAI compatible server, but code gen has trouble stopping

Correct link to test directory

regression in datatype instance containing itself being ruled out?

### Dafny version 4.10.1+f5ca47b85f9af29721646ea517b69088c52bd385 ### Code to produce this issue ```dafny This code verifies in 4.10.0 but not in master. datatype ty = TBase // (opaque base type) | TArrow(T1:...

kind: bug