| Commit message (Collapse) | Author | Age |
|---|
| | |
|
| |
|
|
| |
input).
|
| |
|
|
| |
projects which have a (more up-to-date) copy of cce.cs.
|
| |
|
|
| |
the version information.
|
| |
|
|
| |
project; making Core work with the port by removing the nonnull requirements on one abstract method.
|
| |
|
|
| |
were pointing to the yet-to-exist C# version.
|
| | |
|
| |
|
|
| |
Contracts dll) in AbsInt, Isabelle, and Z3
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
| |
building/execution of the program
|
| |
|
|
| |
Contracts checking is on, that should resolve once Core ports
|
| |
|
|
| |
on all ports once Core is ported. <\Isabelle> <\Boogie>
|
| | |
|
| |
|
|
| |
assembly signing information from AssemblyInfo.cs files (which since that was the only thing in BoogieDriver's assembly info, deleted that file). Now signing information is specified in the project files.
|
| | |
|
| |
|
|
| |
the required subfolders.
|
| | |
|
| | |
|
| |
|
|
| |
pants here.
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
| |
preparation for integrating my ported copies of that project. <\Isabelle> <\Boogie>
|
| | |
|
| | |
|
| |
|
|
| |
by explorer
|
| | |
|
| |
|
tabarbe