Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | BEST_PRACTICE.md | 653 | logstatsplain |
-rw-r--r-- | Conversion_tactics.v | 16890 | logstatsplain |
-rw-r--r-- | Misc.v | 45530 | logstatsplain |
-rw-r--r-- | PropToBool.v | 10149 | logstatsplain |
-rw-r--r-- | QInst.v | 7182 | logstatsplain |
-rw-r--r-- | ReflectFacts.v | 3027 | logstatsplain |
-rw-r--r-- | SMTCoq.v | 1020 | logstatsplain |
-rw-r--r-- | SMT_terms.v | 110597 | logstatsplain |
-rw-r--r-- | State.v | 22063 | logstatsplain |
-rw-r--r-- | Trace.v | 34735 | logstatsplain |
d--------- | array | 163 | logstatsplain |
d--------- | bva | 77 | logstatsplain |
d--------- | classes | 92 | logstatsplain |
d--------- | cnf | 33 | logstatsplain |
-rwxr-xr-x | configure.sh | 2058 | logstatsplain |
d--------- | euf | 33 | logstatsplain |
d--------- | extraction | 616 | logstatsplain |
d--------- | lfsc | 774 | logstatsplain |
d--------- | lia | 102 | logstatsplain |
d--------- | smtlib2 | 346 | logstatsplain |
d--------- | spl | 159 | logstatsplain |
d--------- | trace | 863 | logstatsplain |
d--------- | verit | 243 | logstatsplain |
d--------- | versions | 68 | logstatsplain |
d--------- | zchaff | 324 | logstatsplain |