log inhelp

 | 

Boogie Homework

Revisions (38)

Showing the 20 most recent revisions. Show all 38 revisions.

Added small test programs used in the demo sessions.

October 14, 2011 at 5:03:52 pm by tayfunelmas		   (Current revision)

Added example transformation by Boogie.exe.

October 4, 2011 at 4:01:36 pm by tayfunelmas		    

Renamings in the BNF listing. Replaced dummy with bound_var (for quantified expressions), global with global_var, local with local_var, param with input_param and output_param to be clearer.

September 30, 2011 at 10:05:18 pm by tayfunelmas		    

Note about irreducible loops.

September 30, 2011 at 3:30:36 pm by tayfunelmas		    

Added a note about python version (3.0 or later)

September 30, 2011 at 3:27:24 pm by tayfunelmas		    

Added a note about submitting questions to Piazza

September 30, 2011 at 10:27:06 am by tayfunelmas		    

Minor edit.

September 29, 2011 at 4:27:05 pm by tayfunelmas		    

Added links to slides used in the lecture.

September 29, 2011 at 4:26:34 pm by tayfunelmas		    

Updated due date to October 14, and simplified the output requirement of the assignment tool.

September 29, 2011 at 12:26:07 pm by tayfunelmas		    

Added a note that Visual Studio 2010 should have C# and .NET support in order to recognize C# projects and solutions.

September 28, 2011 at 7:30:58 pm by tayfunelmas		    

Added more explanations for the Boogie101 elements. Added the model file format. Some text formatting to emphasize things.

September 28, 2011 at 11:28:30 am by tayfunelmas		    

Replaced Z3 version 2.19 with 3.0 or later. Added username and password for Windows-VM

September 28, 2011 at 9:54:14 am by tayfunelmas		    

Some minor edits.

September 27, 2011 at 5:16:25 pm by tayfunelmas		    

Added the boogie101.zip file.

September 27, 2011 at 5:04:21 pm by tayfunelmas		    

No description entered

September 27, 2011 at 4:56:16 pm by tayfunelmas		    

No description entered

September 27, 2011 at 4:33:36 pm by tayfunelmas		    

No description entered

September 27, 2011 at 4:23:25 pm by tayfunelmas		    

No description entered

September 27, 2011 at 4:22:29 pm by tayfunelmas		    

Note about input, output of the helper scripts. Added path to the Windows VM. Talked about benchmarks.

September 27, 2011 at 3:03:06 pm by tayfunelmas		    

No description entered

September 27, 2011 at 2:51:07 pm by tayfunelmas		    
Show all revisions