[Libre-soc-bugs] [Bug 593] please revert removal of proof* from .gitignore

bugzilla-daemon at libre-soc.org bugzilla-daemon at libre-soc.org
Tue Feb 9 21:33:02 GMT 2021


https://bugs.libre-soc.org/show_bug.cgi?id=593

--- Comment #1 from Cole Poirier <colepoirier at gmail.com> ---
(In reply to Luke Kenneth Casson Leighton from comment #0)
> commit eec81fdbe13f0caa0c3ccf3b4134ccaebc6c87be
> Author: colepoirier <colepoirier at gmail.com>
> Date:   Sun Feb 7 14:30:16 2021 -0800
> 
>     Modify experiment/formal/.gitignore because was preventing commiting
>     proof_icache.py
> 
> please revert this and fix the name of the file.  you've interfered
> with people running "git status".

What is the reason that formal proof file names cannot begin with proof?

-- 
You are receiving this mail because:
You are on the CC list for the bug.


More information about the libre-soc-bugs mailing list