index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
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
|
*
Beefed up collection axioms (in particular, for maps) to improve the chance o...
Rustan Leino
2015-03-10
|
*
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
*
Removed Util/VS2010 folder, which has been superseded by DafnyExtension years...
Rustan Leino
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
*
Minor change to a test case
wuestholz
2015-01-27
*
DafnyExtension: Made it use the more advanced on-demand re-verification by de...
wuestholz
2015-01-26
*
Updated test output after change in Boogie.
wuestholz
2015-01-24
*
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
|
|
/
|
/
|
*
|
When ambiguous references all resolve to the same declaration, don't complain
leino
2015-01-09
|
*
Check the AllowGlobals flag in one additional location to avoid a contract fa...
Bryan Parno
2015-01-08
|
/
*
Added command-line switch /allowGlobals to simplify transition from language ...
leino
2015-01-07
*
Bumped the version number to 1.9.3.20107
leino
2015-01-07
*
Fixed bug in opaque functions with type parameters
leino
2015-01-07
*
Added lemmas that make verification go through faster and more reliably
leino
2015-01-05
*
Merge
leino
2015-01-03
|
\
*
|
Fixed resolution of method calls with explicit type parameters.
leino
2015-01-02
|
*
Updated test output after change in Boogie.
wuestholz
2014-12-28
|
*
Minor change
wuestholz
2014-12-26
|
*
When in DafnyCC mode, ignore termination checking
Bryan Parno
2014-12-16
*
|
Fixed bug in /compile:3, when Main is explicitly given as a static method
leino
2014-12-12
*
|
Language change: All functions and methods declared lexically outside any cla...
leino
2014-12-12
|
*
Optimization to nativeType: have EuclideanModulus_sbyte and EuclideanModulus_...
chrishaw
2014-12-11
|
/
*
Fixed two crashes in resolver
leino
2014-12-10
[next]