Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / microsoft/Zen issues and pull requests

#100 - Example request: Employee Scheduling

Issue - State: open - Opened by danpadmore 5 months ago

#99 - Apple silicon compatibility?

Issue - State: closed - Opened by dz7903 9 months ago - 2 comments

#98 - Add additional `Option` methods

Pull Request - State: open - Opened by alberdingk-thijm 12 months ago - 3 comments

#95 - Add extension methods for enumerables

Pull Request - State: closed - Opened by alberdingk-thijm about 1 year ago - 1 comment

#94 - correct simplification of regex terms

Pull Request - State: closed - Opened by rabeckett about 1 year ago

#92 - Add the ability to collect Z3 solver debugging information.

Pull Request - State: closed - Opened by rabeckett about 1 year ago

#91 - update docs and bump version

Pull Request - State: closed - Opened by rabeckett over 1 year ago

#91 - update docs and bump version

Pull Request - State: closed - Opened by rabeckett over 1 year ago

#90 - fix issue with unicode surrogate pairs in regex matching

Pull Request - State: closed - Opened by rabeckett over 1 year ago

#89 - Add optional timeouts

Pull Request - State: closed - Opened by rabeckett over 1 year ago

#89 - Add optional timeouts

Pull Request - State: closed - Opened by rabeckett over 1 year ago

#88 - Tracking progress of Solve()

Issue - State: closed - Opened by saguiitay over 1 year ago - 1 comment

#88 - Tracking progress of Solve()

Issue - State: closed - Opened by saguiitay over 1 year ago - 1 comment

#87 - Limit Solve() duration

Issue - State: closed - Opened by saguiitay over 1 year ago - 1 comment

#86 - better handling of unbound arbitrary values in transformers

Pull Request - State: closed - Opened by rabeckett over 1 year ago

#86 - better handling of unbound arbitrary values in transformers

Pull Request - State: closed - Opened by rabeckett over 1 year ago

#85 - FSeq question

Issue - State: closed - Opened by andrzejolszak about 2 years ago - 2 comments

#85 - FSeq question

Issue - State: closed - Opened by andrzejolszak about 2 years ago - 2 comments

#84 - remove dead code. increase default fseq size.

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

#84 - remove dead code. increase default fseq size.

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

#83 - puts all the hashconsing into a single place

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

#83 - puts all the hashconsing into a single place

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

#82 - add a basic transition system abstraction for model checking

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

#82 - add a basic transition system abstraction for model checking

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

#80 - remove the FSeq empty ast type and replace it with constant expr

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

#80 - remove the FSeq empty ast type and replace it with constant expr

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

#77 - Model checker backend changes

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

#77 - Model checker backend changes

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

#75 - Adds a set difference operator

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

#75 - Adds a set difference operator

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

#74 - improve the interleaving heuristic for BDDs

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

#74 - improve the interleaving heuristic for BDDs

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

#73 - Moves from a custom Char type to the default C# char type.

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

#73 - Moves from a custom Char type to the default C# char type.

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

#72 - Zen lazy symbolic execution

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

#72 - Zen lazy symbolic execution

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

#70 - Add source generators for C# 9.0 and later

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

#70 - Add source generators for C# 9.0 and later

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

#69 - Zen reals and optimization

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

#69 - Zen reals and optimization

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

#67 - Adds support for bounded iteration {n, m} syntax in regexes

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

#67 - Adds support for bounded iteration {n, m} syntax in regexes

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

#65 - Adds unicode strings and basic regex parsing for unicode strings

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

#65 - Adds unicode strings and basic regex parsing for unicode strings

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

#64 - Adds basic regex parsing from strings

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

#63 - Removes the dependency on the IDictionary and IList interfaces.

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

#63 - Removes the dependency on the IDictionary and IList interfaces.

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

#62 - Adds compilation from Zen regex to Z3.

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

#62 - Adds compilation from Zen regex to Z3.

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

#61 - Adds initial regex classes for sequences.

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

#61 - Adds initial regex classes for sequences.

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

#60 - Implements Zen sequences

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

#60 - Implements Zen sequences

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

#58 - add tests and fix map creation issue. combine Zen classes into one.

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

#58 - add tests and fix map creation issue. combine Zen classes into one.

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

#57 - Adds set intersection and set union operations.

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

#57 - Adds set intersection and set union operations.

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

#55 - Adds support for unbounded sets and maps.

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

#55 - Adds support for unbounded sets and maps.

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

#54 - Zen refactor datatype methods

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

#54 - Zen refactor datatype methods

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

#53 - Add division and modulo operators to Zen

Issue - State: closed - Opened by alberdingk-thijm almost 3 years ago - 4 comments

#53 - Add division and modulo operators to Zen

Issue - State: closed - Opened by alberdingk-thijm almost 3 years ago - 4 comments

#52 - Zen fix option null bug

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

#52 - Zen fix option null bug

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

#51 - Zen fix stateset bug

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

#51 - Zen fix stateset bug

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

#49 - avoid expensive SAT call when allocating a large set of variables.

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

#49 - avoid expensive SAT call when allocating a large set of variables.

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

#48 - adds a proper union-find implementation for the interleaving heuristic

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

#48 - adds a proper union-find implementation for the interleaving heuristic

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

#47 - Improves the variable ordering heuristic

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

#47 - Improves the variable ordering heuristic

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

#46 - better symbolic execution

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

#46 - better symbolic execution

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

#45 - remove unrolling and make hashcode deterministic

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

#45 - remove unrolling and make hashcode deterministic

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

#44 - Zen eliminate allocations

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

#44 - Zen eliminate allocations

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

#43 - Update nuget dependencies and cleanup APIs.

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

#43 - Update nuget dependencies and cleanup APIs.

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

#42 - integrate cbdds into dd backend and improve stateset conversion perfo…

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