All public logs

Combined display of all available logs of CVC4. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 15:11, 18 April 2012 Ajreynol (Talk | contribs) uploaded File:Javafe.tc.FlowInsensitiveChecks.682.smt2
• 14:48, 18 April 2012 Ajreynol (Talk | contribs) uploaded File:Quantifiers-diff.pdf
• 15:43, 11 April 2012 Ajreynol (Talk | contribs) uploaded File:NLP059+1.smt2
• 15:32, 11 April 2012 Ajreynol (Talk | contribs) uploaded File:Quantifiers-summary-0411.pdf
• 07:11, 5 April 2012 Ajreynol (Talk | contribs) uploaded File:Tptp-arith.pdf
• 07:10, 5 April 2012 Ajreynol (Talk | contribs) uploaded File:Tptp.pdf
• 06:52, 5 April 2012 Ajreynol (Talk | contribs) uploaded File:Tptp-results-0403.xlsx