summaryrefslogtreecommitdiff
path: root/.gitignore
Commit message (Collapse)AuthorAge
* Ignore TPTP dllsGravatar MichalMoskal2011-01-19
|
* More BCT ignoresGravatar MichalMoskal2010-12-10
|
* Ignore some BCT filesGravatar MichalMoskal2010-12-10
|
* Rename BVD binary to (suprise!) BVDGravatar MichalMoskal2010-12-08
|
* Remove FSharp DLLs (no longer needed) and obsolete MakefileGravatar MichalMoskal2010-12-06
|
* Ignore more generated files.Gravatar MichalMoskal2010-12-02
|
* Put Model.cs in separate assembly. Fix signing/versioning with it.Gravatar MichalMoskal2010-10-12
|
* Make the -mv option use the new Model class.Gravatar MichalMoskal2010-10-12
|
* Add one more fileGravatar MichalMoskal2010-10-07
|
* Update to include all build artifacts, also from DafnyGravatar MichalMoskal2010-10-07
|
* Addint ignore file for GITGravatar stobies2010-08-27