emacs-diffs
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

branch scratch/comp-safety created (now 7639971460a)

From: Andrea Corallo
Subject: branch scratch/comp-safety created (now 7639971460a)
Date: Sun, 5 May 2024 03:43:09 -0400 (EDT) 
akrl pushed a change to branch scratch/comp-safety.

        at  7639971460a Add a safety test

This branch includes the following new commits:

       new  c527ab6b313 Introduce safety parameter
       new  bb53d3d309c Add safety declaration
       new  adba3034a97 Improve doc
       new  7639971460a Add a safety test
reply via email to
[Prev in Thread] Current Thread [Next in Thread]