| Commit message (Expand) | Author | Age |
|---|
| ... | |
| * | Use the new UniformArguments property; formatting |  MichalMoskal | 2011-02-15 |
| * | Add VCExprNAry.UniformArguments property to return arguments of nested And/Or... | MichalMoskal | 2011-02-15 |
| * | Add some extension methods to IEnumberable<T> | MichalMoskal | 2011-02-15 |
| * | Print terms in SMT2 syntax (drop term/formula distinction) | MichalMoskal | 2011-02-15 |
| * | Move name-quoting (already for SMT2 not SMT1) into a seprate class | MichalMoskal | 2011-02-15 |
| * | Dafny: added alternate version of PriorityQueue | rustanleino | 2011-02-15 |
| * | Boogie build succeeded, 4 test(s) failed | codeplexbot | 2011-02-15 |
| * | Boogie build succeeded, 26 test(s) failed | codeplexbot | 2011-02-15 |
| * | Fix with timeout | akashlal | 2011-02-12 |
| * | Better support for timeout | akashlal | 2011-02-12 |
| * | Boogie build succeeded, 4 test(s) failed | codeplexbot | 2011-02-12 |
| * | Fix a bug in cloning of nested lambda expressions in AI engine | MichalMoskal | 2011-02-11 |
| * | Add USE_PREDICATES option to TPTP and SMT provers | MichalMoskal | 2011-02-11 |
| * | Get rid of -smtOutput option. Add /proverOpt:OUTPUT=... to SMT and TPTP prove... | MichalMoskal | 2011-02-11 |
| * | Get rid of some warnings. | MichalMoskal | 2011-02-11 |
| * | Moved the creation of Boogie procedures from the MetadataTraverser to the Sin... | mikebarnett | 2011-02-11 |
| * | Minor change to stratified inlining | akashlal | 2011-02-11 |
| * | If a method definition has any custom attributes, translate them into BPL att... | mikebarnett | 2011-02-09 |
| * | Changed the API for Declaration.AddAttribute so it takes a params argument so... | mikebarnett | 2011-02-09 |
| * | Boogie: Yet another refinement of how Z3 is found. Previously, it would only... | rustanleino | 2011-02-09 |
| * | Added support for translating delegates | qadeer | 2011-02-08 |
| * | Added a new method StratifiedVC for refinement. | akashlal | 2011-02-08 |
| * | implemented /UseUnsatCoreForInlining option for use in stratified inlining | qadeer | 2011-02-06 |
| * | deleted debugging statement | akashlal | 2011-02-05 |
| * | Fix to counterexample generation for over-approx query | akashlal | 2011-02-05 |
| * | Boogie build succeeded, 4 test(s) failed | codeplexbot | 2011-02-05 |
| * | Dafny: Answer file to go with previously updated test file | rustanleino | 2011-02-04 |
| * | Boogie build succeeded, 5 test(s) failed | codeplexbot | 2011-02-04 |
| * | Dafny: every decreases clause implicitly ends with a never-ending sequence of... | rustanleino | 2011-02-03 |
| * | Dafny: allow self-calls in function postconditions--these simply refer to the... | rustanleino | 2011-02-03 |
| * | Dafny: implemented a more precise scheme for allowing use of a function's rep... | rustanleino | 2011-02-03 |
| * | Dafny: replaced the user-defined $ite function with Boogie's built-in if-then... | rustanleino | 2011-02-03 |
| * | Dafny: removed CEV instrumentation | rustanleino | 2011-02-03 |
| * | Dafny: removed unused Position argument from CheckWellformed | rustanleino | 2011-02-03 |
| * | Dafny: white-space deltas in source code | rustanleino | 2011-02-02 |
| * | BVD Dafny: support Skolem constants | rustanleino | 2011-02-02 |
| * | Dafny: added ensures clauses to functions | rustanleino | 2011-02-02 |
| * | Don't treat "Inconclusive" answer as fatal when splitting. | MichalMoskal | 2011-02-02 |
| * | Look for z3.exe in the prover plugin directory first. | MichalMoskal | 2011-02-02 |
| * | Improve display of sets; add \now "variable"; | MichalMoskal | 2011-01-29 |
| * | Fix a bug with previous state display | MichalMoskal | 2011-01-28 |
| * | Display stack-allocated structs, as_array types, and *ID in tooltips | MichalMoskal | 2011-01-28 |
| * | Display integers in decimal and hexadecimal in tooltip | MichalMoskal | 2011-01-27 |
| * | Speedup the number display algorithm, what was I thinking? | MichalMoskal | 2011-01-27 |
| * | Display numbers within +-%0.1 of a power of two as 2^N+M | MichalMoskal | 2011-01-27 |
| * | Improve colors in source view | MichalMoskal | 2011-01-26 |
| * | Simplify state name selection | MichalMoskal | 2011-01-26 |
| * | VCC-BVD: display qualifiers of VCC-generated copies of local variables; hide ... | MichalMoskal | 2011-01-26 |
| * | Double-click in state list brings up source view | MichalMoskal | 2011-01-26 |
| * | Allow the provider to skip some states when generating SourceLocations | MichalMoskal | 2011-01-26 |
MichalMoskal