v1.0.2
- Add
Kani.add_completion_to_history
(useful for token counting, see #29) - Add an example of an AIFunction definition to
PromptPipeline.explain()
when a function-related step is included - Add
id_translator
arg toPromptPipeline.ensure_bound_function_calls()
- Ensure that OpenAIEngine and HuggingEngine streams yield a completion including prompt and completion token usage
- Various Mistral-7B Instruct v0.3 prompt fixes