index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
...
*
|
Don't inline opaque functions.
Rustan Leino
2013-12-17
|
*
Merge
Rustan Leino
2013-12-16
|
|
\
|
|
/
|
/
|
|
*
Fixed bug where free conditions preceded checked conditions (for inlined pred...
Rustan Leino
2013-12-16
*
|
Pass assert/assume attributes down to Boogie
Rustan Leino
2013-12-16
*
|
Fix build failure due to changes in Boogie.
wuestholz
2013-12-16
*
|
Merge
Bryan Parno
2013-12-13
|
\
\
*
|
|
Add support for the :axiom attribute for ghost methods.
Bryan Parno
2013-12-13
|
*
|
Produce "tail recursive" hover text in the IDE only for methods that are recu...
Rustan Leino
2013-12-13
*
|
|
Added support for opaque function definitions, indicated via the {:opaque} at...
Bryan Parno
2013-12-13
|
/
/
*
|
Add a command-line option to disable include directives.
Bryan Parno
2013-12-13
*
|
Fixed emacs coloring to not color things that are only substrings of symbols
Bryan Parno
2013-12-12
*
|
Merge
Rustan Leino
2013-12-11
|
\
\
*
|
|
Refactored the calling of rewriters
Rustan Leino
2013-12-11
|
*
|
Fix build failures due to changes in Boogie.
wuestholz
2013-12-11
|
*
|
Add support for the "include" keyword, which accepts a (possibly relative) path
Bryan Parno
2013-12-10
|
*
|
Update an 'Answer' file.
wuestholz
2013-12-10
|
*
|
Change a test program to verify faster (by a factor of 10-25).
wuestholz
2013-12-10
|
/
/
*
|
Fixed a bug in the Boogie generated for refinement checks (now that there is ...
Rustan Leino
2013-12-09
*
|
Fixed bug reported as discussion:472216 on dafny.codeplex.com
Rustan Leino
2013-12-09
*
|
Fix some things due to changes in Boogie (execution engine API, 'UnivBackPred...
wuestholz
2013-12-09
*
|
Updated an 'Answer' file.
wuestholz
2013-12-03
*
|
Fixed build failures due to changes in Boogie.
wuestholz
2013-11-23
|
/
*
Use full name of type in compilation error
Rustan Leino
2013-11-18
*
Merge
Rustan Leino
2013-11-18
|
\
|
*
Added support for attributes on variable declarations.
wuestholz
2013-11-18
*
|
Let compiler complain about body-less functions and methods, even if these ar...
Rustan Leino
2013-11-14
|
/
*
Fixed build failure due to changes in Boogie.
wuestholz
2013-10-28
*
Fixed typo in build script
Rustan Leino
2013-08-06
*
Removed old keyword "choose"
Rustan Leino
2013-08-06
*
Bumped version to 1.7.0, to be released as a binary and on rise4fun.
wuestholz
2013-08-06
*
Removed code for an unreachable case
Rustan Leino
2013-08-06
*
Merge
Rustan Leino
2013-08-06
|
\
*
|
Allow calls to side-effect-free ghost methods from expressions
Rustan Leino
2013-08-06
*
|
Merged PredicateExpr and CalcExpr into a single StmtExpr
Rustan Leino
2013-08-06
|
*
Updated 'PrepareDafnyZip.bat'.
wuestholz
2013-08-05
|
*
DafnyExtension: Use the same version number as Dafny (unfortunately needs to ...
wuestholz
2013-08-05
*
|
Added hover text ("additional information") in places where co-predicates pro...
Rustan Leino
2013-08-04
*
|
Allow co-predicates to be wrapped inside bounded existential quantifiers
Rustan Leino
2013-08-04
*
|
Added hover text ("additional information") in places where co-methods provid...
Rustan Leino
2013-08-04
*
|
Unified function/method context heights
Rustan Leino
2013-08-04
*
|
Disallow call-graph clusters that mix co-methods / prefix methods with other ...
Rustan Leino
2013-08-04
*
|
Set up call-graph to keep track of edges between functions and methods. (To ...
Rustan Leino
2013-08-04
|
*
DafnyExtension: Fixed issue with visual elements being accessed by non-owning...
wuestholz
2013-08-04
|
*
DafnyExtension: Did some refactoring and added a description to error states.
wuestholz
2013-08-03
|
/
*
Introduced keywords "lemma" (like a "ghost method", but not allowed to have a...
Rustan Leino
2013-08-02
*
More and improved CaptureState info
Rustan Leino
2013-08-02
*
Merge adjustments
Rustan Leino
2013-08-02
|
\
*
|
Added activation antecedents for co-predicate / prefix predicate axioms.
Rustan Leino
2013-08-02
*
|
Changed the encoding of recursive functions. Previous, three hardcoded layer...
Rustan Leino
2013-08-02
|
*
DafnyExtension: Fixed a minor issue in the error selection.
wuestholz
2013-08-01
[prev]
[next]