User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 02:52, 21 February 2013 (diff | hist) . . (0) . . N File:Tests datatypes.bz2 (current)
- 02:50, 21 February 2013 (diff | hist) . . (+445) . . RewriteRulesTheory (current)
- 03:25, 13 February 2013 (diff | hist) . . (+857) . . RewriteRulesTheory (→Propagating substituted bodies)
- 03:17, 13 February 2013 (diff | hist) . . (+1,170) . . RewriteRulesTheory (→Watching substituted guards)
- 02:53, 13 February 2013 (diff | hist) . . (-30) . . RewriteRulesTheory (→Addition of new rewrite rules)
- 02:52, 13 February 2013 (diff | hist) . . (+87) . . RewriteRulesTheory (→Watching substituted guards)
- 02:50, 13 February 2013 (diff | hist) . . (+1,032) . . RewriteRulesTheory (→Matching triggers)
- 02:25, 13 February 2013 (diff | hist) . . (+2,252) . . RewriteRulesTheory (→Addition of new rewrite rules)
- 01:41, 13 February 2013 (diff | hist) . . (+420) . . RewriteRulesTheory (→Implementation)
- 01:37, 13 February 2013 (diff | hist) . . (+22) . . RewriteRulesTheory
- 11:55, 20 December 2012 (diff | hist) . . (+540) . . RewriteRulesTheory (→Future Possibilities)
- 16:02, 6 December 2012 (diff | hist) . . (+138) . . Git Workflow (current)
- 15:48, 6 December 2012 (diff | hist) . . (-32) . . Git Workflow (→CVC4 workflow proposed)
- 15:47, 6 December 2012 (diff | hist) . . (+1,277) . . Git Workflow
- 15:30, 6 December 2012 (diff | hist) . . (+1,428) . . Git Workflow (→Svn to Git Transition)
- 12:06, 6 December 2012 (diff | hist) . . (+423) . . Git Workflow
- 04:27, 30 November 2012 (diff | hist) . . (+34) . . RewriteRulesTheory (→Syntax)
- 10:12, 23 November 2012 (diff | hist) . . (0) . . RewriteRulesTheory (→Syntax)
- 09:22, 23 November 2012 (diff | hist) . . (+69) . . RewriteRulesTheory (→Syntax)
- 08:59, 23 November 2012 (diff | hist) . . (+21) . . RewriteRulesTheory (→Principe)
- 08:55, 23 November 2012 (diff | hist) . . (-6) . . RewriteRulesTheory (→Principe)
- 06:40, 23 November 2012 (diff | hist) . . (+288) . . RewriteRulesTheory (→Optimisations)
- 06:34, 23 November 2012 (diff | hist) . . (+25) . . m RewriteRulesTheory (→Future Possibilities)
- 06:32, 23 November 2012 (diff | hist) . . (0) . . RewriteRulesTheory (→Missing)
- 06:31, 23 November 2012 (diff | hist) . . (-1) . . m RewriteRulesTheory (→Optimisations)
- 06:31, 23 November 2012 (diff | hist) . . (+787) . . RewriteRulesTheory (→Syntax)
- 08:54, 9 November 2012 (diff | hist) . . (+2) . . RewriteRulesTheory
- 08: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…")
- 02:03, 17 September 2012 (diff | hist) . . (+4,288) . . Git Workflow
- 02:40, 13 September 2012 (diff | hist) . . (+95) . . Git Workflow (→Commands in case of problems)
- 02:38, 13 September 2012 (diff | hist) . . (+340) . . Git Workflow (→Useful commands)
- 08:39, 11 September 2012 (diff | hist) . . (-11) . . Meeting Minutes - September 11, 2012 (→Status)
- 05:28, 6 September 2012 (diff | hist) . . (+2) . . Git Workflow (→Straight way)
- 03:20, 6 September 2012 (diff | hist) . . (+25) . . Git Workflow (→Modifying, commiting, updating, sending commits)
- 03:19, 6 September 2012 (diff | hist) . . (+66) . . Git Workflow (→Straight way)
- 03:17, 6 September 2012 (diff | hist) . . (-2) . . Git Workflow (→Conflicts Resolution)
- 03:16, 6 September 2012 (diff | hist) . . (-4) . . Git Workflow (→Conflicts Resolution)
- 03:16, 6 September 2012 (diff | hist) . . (+156) . . Git Workflow (→Conflicts Resolution)
- 03:14, 6 September 2012 (diff | hist) . . (+1,989) . . Git Workflow (→Conflicts Resolution)
- 02:27, 6 September 2012 (diff | hist) . . (+1,097) . . Git Workflow (→Some explications)
- 02:08, 6 September 2012 (diff | hist) . . (+1,214) . . Git Workflow
- 04:33, 7 August 2012 (diff | hist) . . (+869) . . Git Workflow
- 12:16, 26 July 2012 (diff | hist) . . (+437) . . Git Workflow
- 11:11, 26 July 2012 (diff | hist) . . (+403) . . Git Workflow
- 08:58, 26 July 2012 (diff | hist) . . (+899) . . Git Workflow
- 01:51, 19 July 2012 (diff | hist) . . (+40) . . Git Workflow
- 01: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…")
- 06:09, 12 July 2012 (diff | hist) . . (+2,279) . . Meeting Minutes - July 12, 2012 (→git?)
- 11:18, 8 June 2012 (diff | hist) . . (0) . . Meeting Minutes - June 8, 2012 (→Finite model finding)
- 11: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)