Commits · main · Marc Fabian Lindner / Coq-Tail-Recursion-Detection

Feb 18, 2025
- Mutual Fixpoint support added · 905eb4e8
  Marc Fabian Lindner authored 3 weeks ago
  
  905eb4e8
Feb 15, 2025
- Big refactoring done · f34c2f81
  Marc Fabian Lindner authored 3 weeks ago
  
  f34c2f81
Feb 11, 2025
- Rename · 0a899768
  Marc Fabian Lindner authored 1 month ago
  
  0a899768
Feb 04, 2025
- Another simplification of monad code · 41e30ea8
  Marc Fabian Lindner authored 1 month ago
  
  41e30ea8
- Some monad improvements. · 7157011d
  Marc Fabian Lindner authored 1 month ago
  
  7157011d
Feb 02, 2025
- Fixpoint Well-Formedness fix and recursive checking. · dfa96b37
  Marc Fabian Lindner authored 1 month ago
  
  dfa96b37
Jan 28, 2025
- IllFormed Fixpoint added · 8347174d
  Marc Fabian Lindner authored 1 month ago
  
  8347174d
- Initial commit · a72a7a2e
  Marc Fabian Lindner authored 1 month ago
  
  a72a7a2e