Remove hyperltl implementation and examples.

VeriFIT · Dec 19, 2024 · 6417059 · 6417059
1 parent 046e2e9
commit 6417059
Show file tree

Hide file tree

Showing 131 changed files with 0 additions and 16,567 deletions.
diff --git a/hyperltl_ex/bp/concur_p1_1bit.hoa b/hyperltl_ex/bp/concur_p1_1bit.hoa
diff --git a/hyperltl_ex/bp/concur_p1_3bit.hoa b/hyperltl_ex/bp/concur_p1_3bit.hoa
diff --git a/hyperltl_ex/bp/concur_p1_4bit.hoa b/hyperltl_ex/bp/concur_p1_4bit.hoa
diff --git a/hyperltl_ex/bp/concur_p2_1bit.hoa b/hyperltl_ex/bp/concur_p2_1bit.hoa
diff --git a/hyperltl_ex/bp/concur_p3_1bit.hoa b/hyperltl_ex/bp/concur_p3_1bit.hoa
diff --git a/hyperltl_ex/bp/concur_p3_3bit.hoa b/hyperltl_ex/bp/concur_p3_3bit.hoa
diff --git a/hyperltl_ex/bp/concur_p4_1bit.hoa b/hyperltl_ex/bp/concur_p4_1bit.hoa