User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 01:52, 21 February 2013 (diff | hist) . . (0) . . N File:Tests datatypes.bz2 (current)
- 01:50, 21 February 2013 (diff | hist) . . (+445) . . RewriteRulesTheory (current)
- 02:25, 13 February 2013 (diff | hist) . . (+857) . . RewriteRulesTheory (→Propagating substituted bodies)
- 02:17, 13 February 2013 (diff | hist) . . (+1,170) . . RewriteRulesTheory (→Watching substituted guards)
- 01:53, 13 February 2013 (diff | hist) . . (-30) . . RewriteRulesTheory (→Addition of new rewrite rules)
- 01:52, 13 February 2013 (diff | hist) . . (+87) . . RewriteRulesTheory (→Watching substituted guards)
- 01:50, 13 February 2013 (diff | hist) . . (+1,032) . . RewriteRulesTheory (→Matching triggers)
- 01:25, 13 February 2013 (diff | hist) . . (+2,252) . . RewriteRulesTheory (→Addition of new rewrite rules)
- 00:41, 13 February 2013 (diff | hist) . . (+420) . . RewriteRulesTheory (→Implementation)
- 00:37, 13 February 2013 (diff | hist) . . (+22) . . RewriteRulesTheory
- 10:55, 20 December 2012 (diff | hist) . . (+540) . . RewriteRulesTheory (→Future Possibilities)
- 15:02, 6 December 2012 (diff | hist) . . (+138) . . Git Workflow (current)
- 14:48, 6 December 2012 (diff | hist) . . (-32) . . Git Workflow (→CVC4 workflow proposed)
- 14:47, 6 December 2012 (diff | hist) . . (+1,277) . . Git Workflow
- 14:30, 6 December 2012 (diff | hist) . . (+1,428) . . Git Workflow (→Svn to Git Transition)
- 11:06, 6 December 2012 (diff | hist) . . (+423) . . Git Workflow
- 03:27, 30 November 2012 (diff | hist) . . (+34) . . RewriteRulesTheory (→Syntax)
- 09:12, 23 November 2012 (diff | hist) . . (0) . . RewriteRulesTheory (→Syntax)
- 08:22, 23 November 2012 (diff | hist) . . (+69) . . RewriteRulesTheory (→Syntax)
- 07:59, 23 November 2012 (diff | hist) . . (+21) . . RewriteRulesTheory (→Principe)
- 07:55, 23 November 2012 (diff | hist) . . (-6) . . RewriteRulesTheory (→Principe)
- 05:40, 23 November 2012 (diff | hist) . . (+288) . . RewriteRulesTheory (→Optimisations)
- 05:34, 23 November 2012 (diff | hist) . . (+25) . . m RewriteRulesTheory (→Future Possibilities)
- 05:32, 23 November 2012 (diff | hist) . . (0) . . RewriteRulesTheory (→Missing)
- 05:31, 23 November 2012 (diff | hist) . . (-1) . . m RewriteRulesTheory (→Optimisations)
- 05:31, 23 November 2012 (diff | hist) . . (+787) . . RewriteRulesTheory (→Syntax)
- 07:54, 9 November 2012 (diff | hist) . . (+2) . . RewriteRulesTheory
- 07:53, 9 November 2012 (diff | hist) . . (+2,950) . . N RewriteRulesTheory (Created page with "== Principe == The goal of this theory is to offer allow cvc4 to reason about a new user-theory in complement to the quantifiers theory. In fact it's a restriction of the quanti…")
- 01:03, 17 September 2012 (diff | hist) . . (+4,288) . . Git Workflow
- 01:40, 13 September 2012 (diff | hist) . . (+95) . . Git Workflow (→Commands in case of problems)
- 01:38, 13 September 2012 (diff | hist) . . (+340) . . Git Workflow (→Useful commands)
- 07:39, 11 September 2012 (diff | hist) . . (-11) . . Meeting Minutes - September 11, 2012 (→Status)
- 04:28, 6 September 2012 (diff | hist) . . (+2) . . Git Workflow (→Straight way)
- 02:20, 6 September 2012 (diff | hist) . . (+25) . . Git Workflow (→Modifying, commiting, updating, sending commits)
- 02:19, 6 September 2012 (diff | hist) . . (+66) . . Git Workflow (→Straight way)
- 02:17, 6 September 2012 (diff | hist) . . (-2) . . Git Workflow (→Conflicts Resolution)
- 02:16, 6 September 2012 (diff | hist) . . (-4) . . Git Workflow (→Conflicts Resolution)
- 02:16, 6 September 2012 (diff | hist) . . (+156) . . Git Workflow (→Conflicts Resolution)
- 02:14, 6 September 2012 (diff | hist) . . (+1,989) . . Git Workflow (→Conflicts Resolution)
- 01:27, 6 September 2012 (diff | hist) . . (+1,097) . . Git Workflow (→Some explications)
- 01:08, 6 September 2012 (diff | hist) . . (+1,214) . . Git Workflow
- 03:33, 7 August 2012 (diff | hist) . . (+869) . . Git Workflow
- 11:16, 26 July 2012 (diff | hist) . . (+437) . . Git Workflow
- 10:11, 26 July 2012 (diff | hist) . . (+403) . . Git Workflow
- 07:58, 26 July 2012 (diff | hist) . . (+899) . . Git Workflow
- 00:51, 19 July 2012 (diff | hist) . . (+40) . . Git Workflow
- 00:50, 19 July 2012 (diff | hist) . . (+1,832) . . N Git Workflow (Created page with "This page intends to present different possible workflow using the git CVS. == Tutorials on Git == Before actual tutorials, I would like to stress the two main points of git fo…")
- 05:09, 12 July 2012 (diff | hist) . . (+2,279) . . Meeting Minutes - July 12, 2012 (→git?)
- 10:18, 8 June 2012 (diff | hist) . . (0) . . Meeting Minutes - June 8, 2012 (→Finite model finding)
- 10:17, 8 June 2012 (diff | hist) . . (+232) . . Meeting Minutes - June 8, 2012 (→Finite model finding)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
