summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
...
* | | Closing branch.Gravatar Ally Donaldson2013-07-22
| | * MergeGravatar Ally Donaldson2013-07-22
| | |\
* | | | Fixed bugs arising from differences between hashtables and dictionariesGravatar Ally Donaldson2013-07-22
* | | | Large refactoring of Hashtable to Dictionary.Gravatar Ally Donaldson2013-07-22
* | | | MergeGravatar allydonaldson2013-07-22
|\ \ \ \ | | |/ / | |/| |
| * | | Fixed what looks like a type-related bug in the manipulation of newGotoCmdOri...Gravatar allydonaldson2013-07-22
* | | | Refactored variable2sequenceNumber to use DictionaryGravatar Ally Donaldson2013-07-22
|/ / /
* | | Refactored labsl2absy so that it is a Dictionary<int, Absy> instead of a plai...Gravatar Ally Donaldson2013-07-22
| | * Changed the API to make it possible to set the current state in BVD.Gravatar wuestholz2013-07-21
| |/ |/|
| * fixGravatar Pantazis Deligiannis2013-07-19
| * mergeGravatar Pantazis Deligiannis2013-07-19
| |\ | |/ |/|
| * mergeGravatar Pantazis Deligiannis2013-07-19
| * refactoring and fixes in the SMTLIB2 parserGravatar Pantazis Deligiannis2013-07-19
* | MergeGravatar allydonaldson2013-07-18
|\ \
| * | Populate a model only once.Gravatar Rustan Leino2013-07-18
* | | Revamp of staged Houdini, and completion of parallel support.Gravatar allydonaldson2013-07-18
|/ /
* | Extracted Houdini statistics into a record, and parametersied Houdini class w...Gravatar allydonaldson2013-07-16
* | MergeGravatar allydonaldson2013-07-16
|\ \
* | | Some cleanup in HoudiniSessionGravatar allydonaldson2013-07-16
* | | Reworking of Staged Houdini in preparation for parallelising it.Gravatar allydonaldson2013-07-16
| | * fix: can now setup CVC4 logic properly, default is ALL_SUPPORTED, other logic...Gravatar Pantazis Deligiannis2013-07-15
| | * fix for SetTimeOut in ProverInterface to work only under Z3 parserGravatar Pantazis Deligiannis2013-07-15
| | * small fixGravatar Pantazis Deligiannis2013-07-15
| | * MergeGravatar Pantazis Deligiannis2013-07-15
| | |\
| | | * temp fix until CVC4 bug is fixed (using QF_ALL_SUPPORTED instead of ALL_SUPPO...Gravatar Pantazis Deligiannis2013-07-15
| * | | Split up the model viewer into a library and an application and added some fu...Gravatar wuestholz2013-07-14
| |/ /
| * | added another regressionGravatar qadeer2013-07-15
| * | end atomic actions at async and parallel callsGravatar qadeer2013-07-15
| * | 1. changed values passed to additional parameters to procedures; async and pa...Gravatar qadeer2013-07-14
| * | Changed the class 'ErrorInformation' to store the model separately.Gravatar wuestholz2013-07-12
| * | Added an attribute to set the time limit for implementations.Gravatar wuestholz2013-07-12
| * | Worked on the parallelization.Gravatar wuestholz2013-07-12
| * | Worked on the parallelization.Gravatar wuestholz2013-07-11
| * | Worked on the parallelization.Gravatar wuestholz2013-07-11
| * | Worked on the parallelization.Gravatar wuestholz2013-07-11
|/ /
| * code cleanup and refactoringGravatar Pantazis Deligiannis2013-07-11
| * code cleanup & refactoringGravatar Pantazis Deligiannis2013-07-11
* | Worked on the parallelization.Gravatar wuestholz2013-07-10
| * fixed another bug when parsing nested arrays under CVC4Gravatar Pantazis Deligiannis2013-07-10
| * fix a bug when parsing nested arrays under CVC4Gravatar Pantazis Deligiannis2013-07-10
| * the cvc4 parser can now parse nested array expressionsGravatar Pantazis Deligiannis2013-07-10
| * fixed a bug where a formula was being send to CVC4 although it shouldn't norm...Gravatar Pantazis Deligiannis2013-07-10
* | Worked on the parallelization (task cancellation).Gravatar wuestholz2013-07-09
| * fix in modelviewer, ParseModels now requires 2 arguments, second should be an...Gravatar Pantazis Deligiannis2013-07-09
| * added specific command line options to enable the SMTLIB2 output model parser...Gravatar Pantazis Deligiannis2013-07-09
| * some clean upGravatar Pantazis Deligiannis2013-07-09
* | Worked on the parallelization.Gravatar wuestholz2013-07-08
| * allows (reset) to be send only to the Z3 proverGravatar Pantazis Deligiannis2013-07-09
* | Worked on the parallelization.Gravatar wuestholz2013-07-08
| * added python scripts (work in unix and windows) for testing Z3 and CVC4 to ma...Gravatar Pantazis Deligiannis2013-07-07
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 14:04:31 +0000