From b7c5b39e029e1b5dc97f8e4075d74997c72371b2 Mon Sep 17 00:00:00 2001 From: Guillaume Bury Date: Fri, 14 Nov 2014 11:58:43 +0100 Subject: [PATCH] moved smt folder to old --- {smt => old}/.merlin | 0 {smt => old}/arith.ml | 0 {smt => old}/arith.mli | 0 {smt => old}/cc.ml | 0 {smt => old}/cc.mli | 0 {smt => old}/combine.ml | 0 {smt => old}/combine.mli | 0 {smt => old}/exception.ml | 0 {smt => old}/exception.mli | 0 {smt => old}/fm.ml | 0 {smt => old}/fm.mli | 0 {smt => old}/intervals.ml | 0 {smt => old}/intervals.mli | 0 {smt => old}/literal.ml | 0 {smt => old}/literal.mli | 0 {smt => old}/polynome.ml | 0 {smt => old}/polynome.mli | 0 {smt => old}/sig.mli | 0 {smt => old}/smt.ml | 0 {smt => old}/smt.mli | 0 {smt => old}/sum.ml | 0 {smt => old}/sum.mli | 0 {smt => old}/symbols.ml | 0 {smt => old}/symbols.mli | 0 {smt => old}/term.ml | 0 {smt => old}/term.mli | 0 {smt => old}/ty.ml | 0 {smt => old}/ty.mli | 0 {smt => old}/uf.ml | 0 {smt => old}/uf.mli | 0 {smt => old}/use.ml | 0 {smt => old}/use.mli | 0 32 files changed, 0 insertions(+), 0 deletions(-) rename {smt => old}/.merlin (100%) rename {smt => old}/arith.ml (100%) rename {smt => old}/arith.mli (100%) rename {smt => old}/cc.ml (100%) rename {smt => old}/cc.mli (100%) rename {smt => old}/combine.ml (100%) rename {smt => old}/combine.mli (100%) rename {smt => old}/exception.ml (100%) rename {smt => old}/exception.mli (100%) rename {smt => old}/fm.ml (100%) rename {smt => old}/fm.mli (100%) rename {smt => old}/intervals.ml (100%) rename {smt => old}/intervals.mli (100%) rename {smt => old}/literal.ml (100%) rename {smt => old}/literal.mli (100%) rename {smt => old}/polynome.ml (100%) rename {smt => old}/polynome.mli (100%) rename {smt => old}/sig.mli (100%) rename {smt => old}/smt.ml (100%) rename {smt => old}/smt.mli (100%) rename {smt => old}/sum.ml (100%) rename {smt => old}/sum.mli (100%) rename {smt => old}/symbols.ml (100%) rename {smt => old}/symbols.mli (100%) rename {smt => old}/term.ml (100%) rename {smt => old}/term.mli (100%) rename {smt => old}/ty.ml (100%) rename {smt => old}/ty.mli (100%) rename {smt => old}/uf.ml (100%) rename {smt => old}/uf.mli (100%) rename {smt => old}/use.ml (100%) rename {smt => old}/use.mli (100%) diff --git a/smt/.merlin b/old/.merlin similarity index 100% rename from smt/.merlin rename to old/.merlin diff --git a/smt/arith.ml b/old/arith.ml similarity index 100% rename from smt/arith.ml rename to old/arith.ml diff --git a/smt/arith.mli b/old/arith.mli similarity index 100% rename from smt/arith.mli rename to old/arith.mli diff --git a/smt/cc.ml b/old/cc.ml similarity index 100% rename from smt/cc.ml rename to old/cc.ml diff --git a/smt/cc.mli b/old/cc.mli similarity index 100% rename from smt/cc.mli rename to old/cc.mli diff --git a/smt/combine.ml b/old/combine.ml similarity index 100% rename from smt/combine.ml rename to old/combine.ml diff --git a/smt/combine.mli b/old/combine.mli similarity index 100% rename from smt/combine.mli rename to old/combine.mli diff --git a/smt/exception.ml b/old/exception.ml similarity index 100% rename from smt/exception.ml rename to old/exception.ml diff --git a/smt/exception.mli b/old/exception.mli similarity index 100% rename from smt/exception.mli rename to old/exception.mli diff --git a/smt/fm.ml b/old/fm.ml similarity index 100% rename from smt/fm.ml rename to old/fm.ml diff --git a/smt/fm.mli b/old/fm.mli similarity index 100% rename from smt/fm.mli rename to old/fm.mli diff --git a/smt/intervals.ml b/old/intervals.ml similarity index 100% rename from smt/intervals.ml rename to old/intervals.ml diff --git a/smt/intervals.mli b/old/intervals.mli similarity index 100% rename from smt/intervals.mli rename to old/intervals.mli diff --git a/smt/literal.ml b/old/literal.ml similarity index 100% rename from smt/literal.ml rename to old/literal.ml diff --git a/smt/literal.mli b/old/literal.mli similarity index 100% rename from smt/literal.mli rename to old/literal.mli diff --git a/smt/polynome.ml b/old/polynome.ml similarity index 100% rename from smt/polynome.ml rename to old/polynome.ml diff --git a/smt/polynome.mli b/old/polynome.mli similarity index 100% rename from smt/polynome.mli rename to old/polynome.mli diff --git a/smt/sig.mli b/old/sig.mli similarity index 100% rename from smt/sig.mli rename to old/sig.mli diff --git a/smt/smt.ml b/old/smt.ml similarity index 100% rename from smt/smt.ml rename to old/smt.ml diff --git a/smt/smt.mli b/old/smt.mli similarity index 100% rename from smt/smt.mli rename to old/smt.mli diff --git a/smt/sum.ml b/old/sum.ml similarity index 100% rename from smt/sum.ml rename to old/sum.ml diff --git a/smt/sum.mli b/old/sum.mli similarity index 100% rename from smt/sum.mli rename to old/sum.mli diff --git a/smt/symbols.ml b/old/symbols.ml similarity index 100% rename from smt/symbols.ml rename to old/symbols.ml diff --git a/smt/symbols.mli b/old/symbols.mli similarity index 100% rename from smt/symbols.mli rename to old/symbols.mli diff --git a/smt/term.ml b/old/term.ml similarity index 100% rename from smt/term.ml rename to old/term.ml diff --git a/smt/term.mli b/old/term.mli similarity index 100% rename from smt/term.mli rename to old/term.mli diff --git a/smt/ty.ml b/old/ty.ml similarity index 100% rename from smt/ty.ml rename to old/ty.ml diff --git a/smt/ty.mli b/old/ty.mli similarity index 100% rename from smt/ty.mli rename to old/ty.mli diff --git a/smt/uf.ml b/old/uf.ml similarity index 100% rename from smt/uf.ml rename to old/uf.ml diff --git a/smt/uf.mli b/old/uf.mli similarity index 100% rename from smt/uf.mli rename to old/uf.mli diff --git a/smt/use.ml b/old/use.ml similarity index 100% rename from smt/use.ml rename to old/use.ml diff --git a/smt/use.mli b/old/use.mli similarity index 100% rename from smt/use.mli rename to old/use.mli