bronevichok

Commits

Commit:: eeae6835c234adc53a85eb92eb9493049fac2897
From:: alvinary <49176889+alvinary@users.noreply.github.com>
Via:: Sergey Bronnikov <estetus@gmail.com>
Date:: Wed Jul 3 19:56:33 2024 UTC

Add Dafny to the list of Amazon tools

diff | patch | tree

Commit:: 5e081b197a4bc622e66b2e1fda8250faaf35d4e3
From:: Daniel Abrahamsson <daniel.abrahamsson@prover.com>
Via:: Sergey Bronnikov <estetus@gmail.com>
Date:: Sat Mar 23 18:35:49 2024 UTC

Add Prover Technology

diff | patch | tree

Commit:: d941858f9c1a1be16de495047a9150a1d3da215f
From:: Sergey Bronnikov <estetus@gmail.com>
Via:: GitHub <noreply@github.com>
Date:: Mon Oct 30 10:37:42 2023 UTC

README: Add Rusbitech

diff | patch | tree

Commit:: 2c5d02a163216364610dc6cb30c23ec0eb17ce94
From:: Sergey Bronnikov <estetus@gmail.com>
Via:: GitHub <noreply@github.com>
Date:: Mon Oct 30 10:21:47 2023 UTC

README: Add Thales, update Airbus

diff | patch | tree

Commit:: 71c65582d277160a6367c7c817baf4093d375460
From:: Yakir Forman <yakir.forman@twosixtech.com>
Via:: Sergey Bronnikov <estetus@gmail.com>
Date:: Wed Jun 7 19:21:47 2023 UTC

Add Two Six Technologies

diff | patch | tree