From 0e329b81794c582ca845d2fc547bfdefad89a972 Mon Sep 17 00:00:00 2001 From: Emilio Jesus Gallego Arias Date: Mon, 2 Mar 2020 02:56:32 -0500 Subject: [ci] Overlays for declare interface refactoring. --- dev/ci/user-overlays/11731-ejgallego-proof+more_naming_unif.sh | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 dev/ci/user-overlays/11731-ejgallego-proof+more_naming_unif.sh (limited to 'dev') diff --git a/dev/ci/user-overlays/11731-ejgallego-proof+more_naming_unif.sh b/dev/ci/user-overlays/11731-ejgallego-proof+more_naming_unif.sh new file mode 100644 index 0000000000..c87c3f7f0f --- /dev/null +++ b/dev/ci/user-overlays/11731-ejgallego-proof+more_naming_unif.sh @@ -0,0 +1,9 @@ +if [ "$CI_PULL_REQUEST" = "11731" ] || [ "$CI_BRANCH" = "proof+more_naming_unif" ]; then + + equations_CI_REF=proof+more_naming_unif + equations_CI_GITURL=https://github.com/ejgallego/Coq-Equations + + rewriter_CI_REF=proof+more_naming_unif + rewriter_CI_GITURL=https://github.com/ejgallego/rewriter + +fi -- cgit v1.2.3 From c3350ed82e1dd4e299a5a14e6e63103556a379d2 Mon Sep 17 00:00:00 2001 From: Emilio Jesus Gallego Arias Date: Sat, 7 Mar 2020 14:50:20 -0500 Subject: [obligations] Step towards more structured handling of remaining obligations. There is a lot of check overhead in the code, we will try to provide a more convenient API for manipulation of remaining obligations. --- dev/ci/user-overlays/11731-ejgallego-proof+more_naming_unif.sh | 3 +++ 1 file changed, 3 insertions(+) (limited to 'dev') diff --git a/dev/ci/user-overlays/11731-ejgallego-proof+more_naming_unif.sh b/dev/ci/user-overlays/11731-ejgallego-proof+more_naming_unif.sh index c87c3f7f0f..6928925e54 100644 --- a/dev/ci/user-overlays/11731-ejgallego-proof+more_naming_unif.sh +++ b/dev/ci/user-overlays/11731-ejgallego-proof+more_naming_unif.sh @@ -6,4 +6,7 @@ if [ "$CI_PULL_REQUEST" = "11731" ] || [ "$CI_BRANCH" = "proof+more_naming_unif" rewriter_CI_REF=proof+more_naming_unif rewriter_CI_GITURL=https://github.com/ejgallego/rewriter + elpi_CI_REF=proof+more_naming_unif + elpi_CI_GITURL=https://github.com/ejgallego/coq-elpi + fi -- cgit v1.2.3