Commit message (Expand) | Author | Age | |
---|---|---|---|
* | More refactoring | Ally Donaldson | 2013-07-22 |
* | More refactoring | Ally Donaldson | 2013-07-22 |
* | Merge | Ally Donaldson | 2013-07-22 |
|\ | |||
* | | More refactoring | Ally Donaldson | 2013-07-22 |
* | | More refactoring | Ally Donaldson | 2013-07-22 |
* | | More refactoring: PureCollections.Sequence not used anymore. | Ally Donaldson | 2013-07-22 |
* | | More refactoring towards replacing PureCollections.Sequence with List | Ally Donaldson | 2013-07-22 |
| * | Fixed an issue with parallelization. | wuestholz | 2013-07-22 |
|/ | |||
* | Merge | Ally Donaldson | 2013-07-22 |
|\ | |||
| * | small fix to pickup correctly the CVC4 executable | Pantazis Deligiannis | 2013-07-22 |
* | | Whitespace fix | Ally Donaldson | 2013-07-22 |
* | | Whitespace fix | Ally Donaldson | 2013-07-22 |
* | | Whitespace fix | Ally Donaldson | 2013-07-22 |
* | | Merge | Ally Donaldson | 2013-07-22 |
|\| | |||
* | | Refactoring of TypeVariableSeq | Ally Donaldson | 2013-07-22 |
* | | Changed Has method of PureSequence to Contains to make refactoring easier. | Ally Donaldson | 2013-07-22 |
| * | fix in the answer | Pantazis Deligiannis | 2013-07-22 |
| * | fix | Pantazis Deligiannis | 2013-07-22 |
| * | fix | Pantazis Deligiannis | 2013-07-22 |
| * | merge | Pantazis Deligiannis | 2013-07-22 |
| |\ | |||
| * \ | merge | Pantazis Deligiannis | 2013-07-22 |
| |\ \ | |/ / |/| | | |||
| * | | refactoring | Pantazis Deligiannis | 2013-07-22 |
| * | | refactoring | Pantazis Deligiannis | 2013-07-22 |
* | | | Refactoring of VariableSeq and TypeSeq | Ally Donaldson | 2013-07-22 |
* | | | Requires/EnsuresSeq replaced by List<Requires/Ensures> | Ally Donaldson | 2013-07-22 |
* | | | Refactored RequiresSeq and EnsuresSeq so that they wrap List<Requires> and Li... | Ally Donaldson | 2013-07-22 |
* | | | Closing branch. | Ally Donaldson | 2013-07-22 |
| | * | Merge | Ally Donaldson | 2013-07-22 |
| | |\ | |||
* | | | | Fixed bugs arising from differences between hashtables and dictionaries | Ally Donaldson | 2013-07-22 |
* | | | | Large refactoring of Hashtable to Dictionary. | Ally Donaldson | 2013-07-22 |
* | | | | Merge | allydonaldson | 2013-07-22 |
|\ \ \ \ | | |/ / | |/| | | |||
| * | | | Fixed what looks like a type-related bug in the manipulation of newGotoCmdOri... | allydonaldson | 2013-07-22 |
* | | | | Refactored variable2sequenceNumber to use Dictionary | Ally Donaldson | 2013-07-22 |
|/ / / | |||
* | | | Refactored labsl2absy so that it is a Dictionary<int, Absy> instead of a plai... | Ally Donaldson | 2013-07-22 |
| | * | Changed the API to make it possible to set the current state in BVD. | wuestholz | 2013-07-21 |
| |/ |/| | |||
| * | fix | Pantazis Deligiannis | 2013-07-19 |
| * | merge | Pantazis Deligiannis | 2013-07-19 |
| |\ | |/ |/| | |||
| * | merge | Pantazis Deligiannis | 2013-07-19 |
| * | refactoring and fixes in the SMTLIB2 parser | Pantazis Deligiannis | 2013-07-19 |
* | | Merge | allydonaldson | 2013-07-18 |
|\ \ | |||
| * | | Populate a model only once. | Rustan Leino | 2013-07-18 |
* | | | Revamp of staged Houdini, and completion of parallel support. | allydonaldson | 2013-07-18 |
|/ / | |||
* | | Extracted Houdini statistics into a record, and parametersied Houdini class w... | allydonaldson | 2013-07-16 |
* | | Merge | allydonaldson | 2013-07-16 |
|\ \ | |||
* | | | Some cleanup in HoudiniSession | allydonaldson | 2013-07-16 |
* | | | Reworking of Staged Houdini in preparation for parallelising it. | allydonaldson | 2013-07-16 |
| | * | fix: can now setup CVC4 logic properly, default is ALL_SUPPORTED, other logic... | Pantazis Deligiannis | 2013-07-15 |
| | * | fix for SetTimeOut in ProverInterface to work only under Z3 parser | Pantazis Deligiannis | 2013-07-15 |
| | * | small fix | Pantazis Deligiannis | 2013-07-15 |
| | * | Merge | Pantazis Deligiannis | 2013-07-15 |
| | |\ |