diff options
author | Jason Gross <jgross@mit.edu> | 2017-11-07 14:34:07 -0500 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-11-07 14:34:07 -0500 |
commit | 6a9fcb91e1e7ae45ede6626bd60592a7cd53a5b0 (patch) | |
tree | 6f8974aee0bc48229714d80cb19a1af5db3b6393 /_CoqProject | |
parent | 3f3f454c314a5c71cba88ee2d8fc5968f85a5b36 (diff) |
Move SideConditionFramework
Diffstat (limited to '_CoqProject')
-rw-r--r-- | _CoqProject | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/_CoqProject b/_CoqProject index fecae0fc5..2735dd02a 100644 --- a/_CoqProject +++ b/_CoqProject @@ -272,7 +272,6 @@ src/Specific/Framework/Packages.v src/Specific/Framework/RawCurveParameters.v src/Specific/Framework/ReificationTypes.v src/Specific/Framework/ReificationTypesPackage.v -src/Specific/Framework/SideConditionFramework.v src/Specific/Framework/SynthesisFramework.v src/Specific/Framework/ArithmeticSynthesis/Base.v src/Specific/Framework/ArithmeticSynthesis/BasePackage.v @@ -4189,6 +4188,7 @@ src/Util/ForLoop/Tests.v src/Util/ForLoop/Unrolling.v src/Util/ListUtil/FoldBool.v src/Util/Logic/ImplAnd.v +src/Util/SideConditions/Autosolve.v src/Util/Sigma/Associativity.v src/Util/Sigma/Lift.v src/Util/Sigma/MapProjections.v |