Issues

• WaitLevel in Quantifier crashes

  marcoeilers/nagini#297 · Filter by author rayman2000 opened on Apr 16, 2026

• Support Self-type annotation

  marcoeilers/nagini#270 · Filter by author marcoeilers opened on Jan 13, 2026

• Translation failed during import of builtin python module with missing type annotations

  marcoeilers/nagini#258 · Filter by author gewlar opened on Dec 1, 2025
  3

• Client mode does not support the same arguments

  marcoeilers/nagini#241 · Filter by author gewlar opened on Oct 14, 2025
  1

• Questions: It seems that ToMS() does not maintain the info from the Sequence.

  marcoeilers/nagini#223 · Filter by author RabbitDong-on opened on Feb 11, 2025

• Questions: what proofs are needed to prove the equivalence between two sorted lists?

  marcoeilers/nagini#222 · Filter by author RabbitDong-on opened on Jan 20, 2025
  3

• Improvement: Implies cannot be used independently.

  marcoeilers/nagini#221 · Filter by author RabbitDong-on opened on Jan 20, 2025

• Idea: Can I use the proof assistants like Coq instead of the SMT solver to make Nagini more efficient on large projects?

  marcoeilers/nagini#203 · Filter by author Magikaaarp opened on Aug 27, 2024
  2

• Optional in cycles

  marcoeilers/nagini#202 · Filter by author alex28sh opened on Aug 26, 2024
  4

• Invariants with append

  marcoeilers/nagini#201 · Filter by author alex28sh opened on Aug 22, 2024
  2

• KeyError in res_strict.graph in Translator when using external library (numpy)

  marcoeilers/nagini#159 · Filter by author ifndefJOSH opened on Dec 7, 2023
  3

• Docs: Fold and Unfold

  marcoeilers/nagini#151 · Filter by author andrew222651 opened on Dec 30, 2021

• Design by contract for python

  marcoeilers/nagini#147 · Filter by author adsharma opened on Aug 13, 2021
  2

• Abstract out scala wrappers and other utils library into a separate package

  marcoeilers/nagini#144 · Filter by author KOLANICH opened on Aug 11, 2020

• Quantified permissions for list entries based on indices result in errors

  marcoeilers/nagini#136 · Filter by author marcoeilers opened on Sep 27, 2018

• Verification succeeds if 'select'ed names do not match anything in the program

  marcoeilers/nagini#121 · Filter by author marcoeilers opened on May 22, 2018

• Verification errors resulting from global constants defined in terms of mutable global state

  marcoeilers/nagini#113 · Filter by author marcoeilers opened on Apr 15, 2018
  

• Iteration and (partly) subscript access not handled generically

  enhancement
  marcoeilers/nagini#108 · Filter by author marcoeilers opened on Feb 27, 2018

• Bad performance on examples

  marcoeilers/nagini#107 · Filter by author marcoeilers opened on Feb 25, 2018

• Definedness checks incomplete

  marcoeilers/nagini#95 · Filter by author marcoeilers opened on Nov 19, 2017

• Implement work-around for Carbon being slow with IO heavy programs

  marcoeilers/nagini#85 · Filter by author vakaras opened on Jun 24, 2017

• Override/inherit checks don't work with varargs

  bugmajor
  marcoeilers/nagini#74 · Filter by author marcoeilers opened on Jan 16, 2017

• Functions cannot be overridden

  blockerbug
  marcoeilers/nagini#70 · Filter by author marcoeilers opened on Nov 14, 2016

• Support adding non-global built-in classes

  majortask
  marcoeilers/nagini#62 · Filter by author marcoeilers opened on Nov 11, 2016
  1

• With-blocks don't work with IO

  bugmajor
  marcoeilers/nagini#61 · Filter by author marcoeilers opened on Nov 11, 2016