mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-03-11 15:50:29 +00:00
Code Activity

Merge pull request #8921 from Z3Prover/copilot/update-file-headers-order

Browse source 
Swap author order in file headers: Clemens Eisenhofer before Nikolaj Bjorner
This commit is contained in:
Nikolaj Bjorner 2026-03-10 09:50:07 -07:00 • committed by GitHub
commit 08f4596cb7
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
7 changed files with 7 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/ast/euf/euf_seq_plugin.cpp
View file

@ -15,8 +15,8 @@ Abstract:
Author:
Nikolaj Bjorner (nbjorner) 2026-03-01
Clemens Eisenhofer 2026-03-01
Nikolaj Bjorner (nbjorner) 2026-03-01
--*/

2
src/ast/euf/euf_seq_plugin.h
View file

@ -32,8 +32,8 @@ Abstract:
Author:
Nikolaj Bjorner (nbjorner) 2026-03-01
Clemens Eisenhofer 2026-03-01
Nikolaj Bjorner (nbjorner) 2026-03-01
--*/

2
src/ast/euf/euf_sgraph.cpp
View file

@ -11,8 +11,8 @@ Abstract:
Author:
Nikolaj Bjorner (nbjorner) 2026-03-01
Clemens Eisenhofer 2026-03-01
Nikolaj Bjorner (nbjorner) 2026-03-01
--*/

2
src/ast/euf/euf_sgraph.h
View file

@ -49,8 +49,8 @@ Abstract:
Author:
Nikolaj Bjorner (nbjorner) 2026-03-01
Clemens Eisenhofer 2026-03-01
Nikolaj Bjorner (nbjorner) 2026-03-01
--*/

2
src/ast/euf/euf_snode.h
View file

@ -16,8 +16,8 @@ Abstract:
Author:
Nikolaj Bjorner (nbjorner) 2026-03-01
Clemens Eisenhofer 2026-03-01
Nikolaj Bjorner (nbjorner) 2026-03-01
--*/

2
src/smt/seq/seq_nielsen.cpp
View file

@ -14,8 +14,8 @@ Abstract:
Author:
Nikolaj Bjorner (nbjorner) 2026-03-02
Clemens Eisenhofer 2026-03-02
Nikolaj Bjorner (nbjorner) 2026-03-02
--*/

2
src/smt/seq/seq_nielsen.h
View file

@ -223,8 +223,8 @@ Abstract:
Author:
Nikolaj Bjorner (nbjorner) 2026-03-02
Clemens Eisenhofer 2026-03-02
Nikolaj Bjorner (nbjorner) 2026-03-02
--*/