index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
ModelViewer
/
ModelViewer.csproj
Commit message (
Expand
)
Author
Age
*
Rename DLLs to non-generic names by prefixing "Boogie". Project names and
akashlal
2016-04-15
*
Normalise line endings using a .gitattributes file. Unfortunately
Dan Liew
2015-06-28
*
Fix Boogie so it compiled with mono. Patch by Dan Liew.
Ally Donaldson
2014-01-14
*
Minor Changes in YieldTypeChecker
kuruis
2013-12-19
*
various updates
qadeer
2013-12-09
*
added the QED build configuration
qadeer
2013-12-02
*
Fixed several build errors in the 'Checked' configuration.
wuestholz
2013-08-05
*
Make 'Model' a proper project.
wuestholz
2013-07-26
*
merge
Pantazis Deligiannis
2013-07-19
|
\
|
*
Split up the model viewer into a library and an application and added some fu...
wuestholz
2013-07-14
*
|
small update in options
pantazis
2013-06-12
*
|
CVC4 Parser
pantazis
2013-06-12
|
/
*
Switch bvd to MSIL (instead of x86) target architecture
stobies
2012-03-26
*
Link Model.cs in ModelViewer, so that BVD can be updated independtly of the r...
Michal Moskal
2011-10-03
*
fixed the key signing problem with houdini
qadeer
2011-08-05
*
Re-enabled quantifier checking in the Checked configuration.
mikebarnett
2011-03-16
*
Turn off quantifier checking in the runtime checking.
mikebarnett
2011-03-14
*
Added a new solution configuration, Checked, that builds the Checked configur...
mikebarnett
2011-03-07
*
Display numbers within +-%0.1 of a power of two as 2^N+M
MichalMoskal
2011-01-27
*
Right-clicking on a state allows to display the source code for it
MichalMoskal
2011-01-26
*
Add an icon. Get rid of SearchBox (not used).
MichalMoskal
2010-12-10
*
Rename BVD binary to (suprise!) BVD
MichalMoskal
2010-12-08
*
Added version.cs as link to those projects that were missing it
stobies
2010-12-06
*
Set output directory to Binaries/
MichalMoskal
2010-12-02
*
Ported all projects to .NET Framework 4.0 in both Boogie.sln and Dafny.sln. ...
qadeer
2010-11-27
*
Dafny: a partial first crack at a Dafny model-viewer provider, including capt...
rustanleino
2010-11-01
*
Start work on the generic namer
MichalMoskal
2010-10-26
*
Move SkeletonItem to a separate file
MichalMoskal
2010-10-14
*
Add interfaces for langauge providers. Start with VCC provider.
MichalMoskal
2010-10-12
*
Put Model.cs in separate assembly. Fix signing/versioning with it.
MichalMoskal
2010-10-12
*
Put in proper namespace, move files around.
MichalMoskal
2010-10-12
*
Starting work on Boogie Model Viewer.
MichalMoskal
2010-10-12