update makefile and README

palmskog · Feb 20, 2019 · b5f4fa5 · b5f4fa5
1 parent c5591ad
commit b5f4fa5
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -18,10 +18,10 @@ clean: Makefile.coq
 	$(MAKE) -C extraction/impacted-rbt clean
 
 impacted:
-	+$(MAKE) -C extraction/impacted filtering.native filteringinv.native topfiltering.native
+	+$(MAKE) -C extraction/impacted filtering.native topfiltering.native hierarchical.native
 
 impacted-rbt:
-	+$(MAKE) -C extraction/impacted-rbt filtering.native filteringinv.native topfiltering.native
+	+$(MAKE) -C extraction/impacted-rbt filtering.native topfiltering.native hierarchical.native
 
 Makefile.coq: _CoqProject
 	coq_makefile -f _CoqProject -o Makefile.coq

diff --git a/README.md b/README.md
@@ -89,5 +89,6 @@ Implementation-related definitions and lemmas:
 - `core/close_dfs.v`: refined sequence-based transitive closure computation
 - `core/dfs_set.v`: refined transitive closure computation using MSet functor (to enable red-black trees)
 - `core/check_seq.v`: sequence-based change impact analysis definitions, optimized topological sorting using impact analysis
+- `core/check_seq_hierarchical.v`: sequence-based hierarchical change impact analysis definitions
 - `core/finn.v`: regular instantiation of sequence-based definitions for the ordinal finite type
 - `core/finn_set.v`: red-black tree instantiation of sequence-based definitions for the ordinal finite type