Atomicity analysis - denote author

harmim · Apr 30, 2019 · 8b468ce · 8b468ce
1 parent 0920d85
commit 8b468ce
Show file tree

Hide file tree

Showing 10 changed files with 10 additions and 0 deletions.
diff --git a/infer/src/checkers/AtomicSequences.ml b/infer/src/checkers/AtomicSequences.ml
@@ -1,4 +1,5 @@
 (** Detection of atomic sequences implementation. *)
+(** Author: Dominik Harmim <xharmi00@stud.fit.vutbr.cz> *)
 
 open! IStd
 open! AtomicityUtils

diff --git a/infer/src/checkers/AtomicSequences.mli b/infer/src/checkers/AtomicSequences.mli
@@ -1,4 +1,5 @@
 (** Detection of atomic sequences interface. *)
+(** Author: Dominik Harmim <xharmi00@stud.fit.vutbr.cz> *)
 
 open! IStd
 

diff --git a/infer/src/checkers/AtomicSequencesDomain.ml b/infer/src/checkers/AtomicSequencesDomain.ml
@@ -1,4 +1,5 @@
 (** Detection of atomic sequences domain implementation. *)
+(** Author: Dominik Harmim <xharmi00@stud.fit.vutbr.cz> *)
 
 open! IStd
 open! AtomicityUtils

diff --git a/infer/src/checkers/AtomicSequencesDomain.mli b/infer/src/checkers/AtomicSequencesDomain.mli
@@ -1,4 +1,5 @@
 (** Detection of atomic sequences domain interface. *)
+(** Author: Dominik Harmim <xharmi00@stud.fit.vutbr.cz> *)
 
 open! IStd
 

diff --git a/infer/src/checkers/AtomicityUtils.ml b/infer/src/checkers/AtomicityUtils.ml
@@ -1,4 +1,5 @@
 (** Atomicity violations analysis utilities implementation. *)
+(** Author: Dominik Harmim <xharmi00@stud.fit.vutbr.cz> *)
 
 open! IStd
 

diff --git a/infer/src/checkers/AtomicityUtils.mli b/infer/src/checkers/AtomicityUtils.mli
@@ -1,4 +1,5 @@
 (** Atomicity violations analysis utilities interface. *)
+(** Author: Dominik Harmim <xharmi00@stud.fit.vutbr.cz> *)
 
 open! IStd
 

diff --git a/infer/src/checkers/AtomicityViolations.ml b/infer/src/checkers/AtomicityViolations.ml
@@ -1,4 +1,5 @@
 (** Detection of atomicity violations implementation. *)
+(** Author: Dominik Harmim <xharmi00@stud.fit.vutbr.cz> *)
 
 open! IStd
 open! AtomicityUtils

diff --git a/infer/src/checkers/AtomicityViolations.mli b/infer/src/checkers/AtomicityViolations.mli
@@ -1,4 +1,5 @@
 (** Detection of atomicity violations interface. *)
+(** Author: Dominik Harmim <xharmi00@stud.fit.vutbr.cz> *)
 
 open! IStd
 

diff --git a/infer/src/checkers/AtomicityViolationsDomain.ml b/infer/src/checkers/AtomicityViolationsDomain.ml
@@ -1,4 +1,5 @@
 (** Detection of atomicity violations domain implementation. *)
+(** Author: Dominik Harmim <xharmi00@stud.fit.vutbr.cz> *)
 
 open! IStd
 open! AtomicityUtils

diff --git a/infer/src/checkers/AtomicityViolationsDomain.mli b/infer/src/checkers/AtomicityViolationsDomain.mli
@@ -1,4 +1,5 @@
 (** Detection of atomicity violations domain interface. *)
+(** Author: Dominik Harmim <xharmi00@stud.fit.vutbr.cz> *)
 
 open! IStd