index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
Commit message (
Expand
)
Author
Age
*
Merge
qunyanm
2015-04-06
|
\
*
|
Add z3.exe and z3-license.txt to dafny binary and extension distribution.
qunyanm
2015-04-06
|
*
Fixed compilation of static members in traits
leino
2015-04-05
|
*
Fixed some bugs in override axioms (but still missing support for classes wit...
leino
2015-04-05
|
*
Merge
leino
2015-04-03
|
|
\
|
|
/
|
/
|
|
*
Added test cases and fixes for overrides termination checks
leino
2015-04-03
*
|
Eliminate redundant checks of newtype and opaque function well-formedness fro...
chrishaw
2015-04-02
|
/
*
Fix issue #62. Check for modifies clause and constructors in the enclosing
qunyanm
2015-03-31
*
Fix issue 61. Decreases are by default in ghost context. Therefore,
qunyanm
2015-03-31
*
Fix issue #56. Convert parametered opaque type parameters into an IdentifierExpr
qunyanm
2015-03-27
*
Fix issue #58. In TrSplitExpr(), add allocatedness for arguments to the inlined
qunyanm
2015-03-26
*
Merge
chrishaw
2015-03-17
|
\
*
|
Optimize datatype/tuple update expression to coalesce adjacent updates into a...
chrishaw
2015-03-17
|
*
Fix issue #63. ForceSubstitutionOfQuantifiedVars for SetComprehesion.
qunyanm
2015-03-17
|
/
*
Fix issue #55 and #64. When performing type argument substitution for function
qunyanm
2015-03-16
*
Fixed merge issues
leino
2015-03-13
*
Merge
leino
2015-03-13
|
\
*
|
Allow let-such-that expression to be compiled, provided that they provably ha...
leino
2015-03-13
|
*
Allow trigger annotations in more statements and expressions
chrishaw
2015-03-11
|
*
Remove unneeded reference from DafnyExtension.csproj (accidentally added by m...
chrishaw
2015-03-11
|
*
Add DafnyOptions.txt, and have the Dafny Visual Studio extension read command...
chrishaw
2015-03-11
|
*
Merge
qunyanm
2015-03-11
|
|
\
|
|
/
|
/
|
|
*
Fix issue #54 and #57. Resolve a formal's type before creating a substitute.
qunyanm
2015-03-11
*
|
Fixed bug in resolution of illegal programs.
leino
2015-03-10
*
|
Removed some old and unused functions
leino
2015-03-09
*
|
This changeset changes the default visibility of a function/predicate body ou...
leino
2015-03-09
*
|
Added 'protected' keyword (syntax)
leino
2015-03-07
|
/
*
Fix issue #60
qunyanm
2015-03-06
*
Stop pretty-print from emitting deprecated semi-colons.
qunyanm
2015-03-05
*
Fixed issue #59.
wuestholz
2015-03-03
*
Add imap display/update expressions
chrishaw
2015-02-27
*
Add imap keyword to VS/emacs/vim/latex files
chrishaw
2015-02-26
*
Add imap type, which is like map but may have have infinite size
chrishaw
2015-02-26
*
Add an explicit trigger so that Z3 doesn't choose an overly generous trigger ...
Bryan Parno
2015-02-09
*
Make allowGlobals a bit more generous
Bryan Parno
2015-02-09
*
Generate unique IDs hierarchically, to reduce changes to IDs when the program...
leino
2015-01-28
*
Did some refactoring to improve the name generation.
wuestholz
2015-01-28
*
Did some refactoring to improve the name generation.
wuestholz
2015-01-28
*
Did some refactoring to improve the name generation.
wuestholz
2015-01-27
*
Did some refactoring to improve the name generation.
wuestholz
2015-01-27
*
Did some refactoring to improve the name generation.
wuestholz
2015-01-27
*
Assume type properties of values that are created by a havoc assignment. Such...
Rustan Leino
2015-01-27
*
Fixed an encoding bug for newtypes (this fixes Issue #50)
Rustan Leino
2015-01-27
*
DafnyExtension: Made it use the more advanced on-demand re-verification by de...
wuestholz
2015-01-26
*
Minor change to grammar to avoid missing token
wuestholz
2015-01-24
*
Make sure to check that subrange types are not used as type parameters
leino
2015-01-23
*
Merge
leino
2015-01-23
|
\
*
|
Switched use of List(IToken) in UserDefinedType to NameSegment/ExprDotName, s...
leino
2015-01-23
|
*
Merge
Bryan Parno
2015-01-13
|
|
\
|
|
*
Minor change due to a change in Boogie
wuestholz
2015-01-13
|
|
/
|
/
|
[next]