microsoft/Zen issues and pull requests

#41 - Zen fast statesets

Pull Request - State: closed - Opened by rabeckett about 3 years ago

#40 - Adds various performance optimizations

Pull Request - State: closed - Opened by rabeckett about 3 years ago

#40 - Adds various performance optimizations

Pull Request - State: closed - Opened by rabeckett about 3 years ago

#39 - add sat API and fix signed fixed width integer bug due to trailing ze…

Pull Request - State: closed - Opened by rabeckett about 3 years ago

#39 - add sat API and fix signed fixed width integer bug due to trailing ze…

Pull Request - State: closed - Opened by rabeckett about 3 years ago

#38 - add simplification for If expressions by default with a setting to di…

Pull Request - State: closed - Opened by rabeckett about 3 years ago

#38 - add simplification for If expressions by default with a setting to di…

Pull Request - State: closed - Opened by rabeckett about 3 years ago

#37 - Reuse function bodies in ZenFunction

Pull Request - State: closed - Opened by rabeckett about 3 years ago

#37 - Reuse function bodies in ZenFunction

Pull Request - State: closed - Opened by rabeckett about 3 years ago

#36 - Fixes a bug in the interleaving heuristic and improves the simplifier.

Pull Request - State: closed - Opened by rabeckett over 3 years ago

#36 - Fixes a bug in the interleaving heuristic and improves the simplifier.

Pull Request - State: closed - Opened by rabeckett over 3 years ago

#35 - Fixes a performance bug when allocating a large number of transformers

Pull Request - State: closed - Opened by rabeckett over 3 years ago

#35 - Fixes a performance bug when allocating a large number of transformers

Pull Request - State: closed - Opened by rabeckett over 3 years ago

#34 - fixes a bug in the simplifier for unsigned longs

Pull Request - State: closed - Opened by rabeckett over 3 years ago

#34 - fixes a bug in the simplifier for unsigned longs

Pull Request - State: closed - Opened by rabeckett over 3 years ago

#33 - What appears to be a bug of comparison operators in Zen

Issue - State: closed - Opened by shiibaryu over 3 years ago - 1 comment

#32 - several performance and thread safety improvements

Pull Request - State: closed - Opened by rabeckett over 3 years ago

#32 - several performance and thread safety improvements

Pull Request - State: closed - Opened by rabeckett over 3 years ago

#31 - Simplifies the tranformer API and cleans up the backend by moving dictionary, pair, and option types to library types.

Pull Request - State: closed - Opened by rabeckett over 3 years ago

#31 - Simplifies the tranformer API and cleans up the backend by moving dictionary, pair, and option types to library types.

Pull Request - State: closed - Opened by rabeckett over 3 years ago

#30 - added a specialized constraint class

Pull Request - State: closed - Opened by rabeckett almost 4 years ago

#30 - added a specialized constraint class

Pull Request - State: closed - Opened by rabeckett almost 4 years ago

#29 - Reduces memory usage by reclaiming memory held in hash cons tables.

Pull Request - State: closed - Opened by rabeckett almost 4 years ago

#29 - Reduces memory usage by reclaiming memory held in hash cons tables.

Pull Request - State: closed - Opened by rabeckett almost 4 years ago

#28 - Simplifies the option implementation to avoid using adapters.

Pull Request - State: closed - Opened by rabeckett almost 4 years ago

#28 - Simplifies the option implementation to avoid using adapters.

Pull Request - State: closed - Opened by rabeckett almost 4 years ago

#27 - Constant conversions

Pull Request - State: closed - Opened by rabeckett almost 4 years ago

#27 - Constant conversions

Pull Request - State: closed - Opened by rabeckett almost 4 years ago

#26 - Improves symbolic execution performance

Pull Request - State: closed - Opened by rabeckett about 4 years ago

#26 - Improves symbolic execution performance

Pull Request - State: closed - Opened by rabeckett about 4 years ago

#25 - Event tests

Pull Request - State: closed - Opened by rabeckett about 4 years ago

#25 - Event tests

Pull Request - State: closed - Opened by rabeckett about 4 years ago

#24 - Adds a simple way to model custom length integers.

Pull Request - State: closed - Opened by rabeckett about 4 years ago

#24 - Adds a simple way to model custom length integers.

Pull Request - State: closed - Opened by rabeckett about 4 years ago

#23 - Biginteger support

Pull Request - State: closed - Opened by rabeckett about 4 years ago

#23 - Biginteger support

Pull Request - State: closed - Opened by rabeckett about 4 years ago

#22 - adds special AndIf and OrIf combinators, which enable better test gen…

Pull Request - State: closed - Opened by rabeckett about 4 years ago

#22 - adds special AndIf and OrIf combinators, which enable better test gen…

Pull Request - State: closed - Opened by rabeckett about 4 years ago

#21 - Adds a FindAll method to enumerate multiple solutions

Pull Request - State: closed - Opened by rabeckett about 4 years ago

#21 - Adds a FindAll method to enumerate multiple solutions

Pull Request - State: closed - Opened by rabeckett about 4 years ago

#20 - Rewrite some library functions to better support symbolic execution

Pull Request - State: closed - Opened by rabeckett about 4 years ago

#20 - Rewrite some library functions to better support symbolic execution

Pull Request - State: closed - Opened by rabeckett about 4 years ago

#19 - Adds two input generation strategies based on symbolic execution and random generation

Pull Request - State: closed - Opened by rabeckett about 4 years ago