summaryrefslogtreecommitdiff
path: root/Source/Houdini/Houdini.csproj
Commit message (Expand)AuthorAge
* Merging complete. Everything looks good *crosses fingers*Gravatar Checkmate502016-06-06
* Updated to Staged HoudiniGravatar Ally Donaldson2015-01-08
* added the QED build configurationGravatar qadeer2013-12-02
* refactoring + new class ConcurrentHoudiniGravatar Pantazis Deligiannis2013-09-27
* mergeGravatar Pantazis Deligiannis2013-07-19
|\
| * Revamp of staged Houdini, and completion of parallel support.Gravatar allydonaldson2013-07-18
* | CVC4 ParserGravatar pantazis2013-06-12
|/
* Staged HoudiniGravatar allydonaldson2013-04-30
* Added Abstract Houdini: an implementation of Houdini based on abstract domains.Gravatar Unknown2012-11-05
* Removed AIFramework from Boogie -- use native trivial or native interval-base...Gravatar boehmes2012-09-27
* further fixes related to using uninterpreted function for error tracesGravatar qadeer2012-02-25
* updated Houdini so it works with SMTLibGravatar qadeer2011-09-27
* Fixed test failures in the "Checked" configuration.Gravatar wuestholz2011-09-19
* Added build version stamping for Houdini.dllGravatar stobies2011-09-05
* fixed the key signing problem with houdiniGravatar qadeer2011-08-05
* cleaned up houdini optionsGravatar qadeer2011-08-04
* ported Houdini to C#, added Houdini project to the Boogie solutionGravatar qadeer2011-08-03