v1.2.0 - Dafny AI Assistant

🚀 Major Update: Dafny AI Assistant v1.2.0

This release introduces significant enhancements to the Dafny VSCode extension with advanced AI capabilities and cloud integration.

✨ New Features

• 🤖 Model Selector UI: New status bar interface for AI provider selection

  • Auto mode: Intelligent provider fallback system
  • Manual mode: Choose specific AI providers (OpenAI, Claude, DeepSeek)
  • Visual indicators and seamless switching

• ☁️ Firebase Integration: Centralized configuration management

  • Remote Config for dynamic provider ordering
  • Secrets Manager for secure API key storage
  • Automatic fallback to local settings

• 🔧 Enhanced AI System: Improved code generation capabilities

  • Multi-provider support with intelligent fallback
  • Better error handling and retry logic
  • Streamlined configuration process

🎯 AI-Powered Features

• Loop Invariant Generation: AI-assisted formal verification
• Pre/Post Condition Synthesis: Automated contract generation
• Code Completion: Context-aware suggestions

📦 Installation

Download dafny-plugin-1.2.0.vsix and install via:
4. code --install-extension dafny-plugin-1.2.0.vsix

🔧 Configuration

Configure your AI provider API keys in VSCode settings:

• dafny.openAIApiKey
• dafny.claudeApiKey
• dafny.deepseekApiKey

🏗️ What's Changed

• Update extension name to "Dafny AI Assistant"
• Enhanced user interface with status bar integration
• Improved reliability with cloud-based configuration
• Better error handling and user feedback

---

Release 1.1.0

Added Verification loop and Claude support.

Release 1.0.0

Base functionality done