Ecosyste.ms: Issues

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

GitHub / nvcleemp/conjecturing issues and pull requests

#19 - added real estate python3 and added change name functions to conjectu…

Pull Request - State: open - Opened by jpbrooks over 3 years ago - 1 comment

#19 - added real estate python3 and added change name functions to conjectu…

Pull Request - State: open - Opened by jpbrooks over 3 years ago - 1 comment

#18 - added covid example code

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

#17 - Conjecturing hangs if debug is set to True

Issue - State: closed - Opened by nvcleemp over 4 years ago

#16 - Package Installation is Taking a Very Long Time

Issue - State: open - Opened by davidblitz over 4 years ago - 8 comments

#15 - python3 print

Pull Request - State: closed - Opened by fchapoton about 5 years ago

#14 - no more xrange in python3

Pull Request - State: closed - Opened by fchapoton about 5 years ago

#13 - python3 print

Pull Request - State: closed - Opened by fchapoton about 5 years ago

#12 - Broken Pipe Bug

Issue - State: open - Opened by grantmolnar almost 6 years ago - 7 comments

#11 - Installation automatically places files in user's home directory

Issue - State: closed - Opened by yirkajk over 6 years ago - 1 comment

#10 - Hard-coded limits

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

#9 - Precomputed invariant/property values

Issue - State: closed - Opened by nvcleemp over 8 years ago
Labels: enhancement

#8 - Add docstring to conjecture method

Issue - State: closed - Opened by nvcleemp over 8 years ago
Labels: enhancement

#7 - Remove property based conjectures when they are no longer significant

Issue - State: closed - Opened by nvcleemp over 10 years ago
Labels: enhancement

#6 - Use symbolic logic for property based conjectures

Issue - State: closed - Opened by nvcleemp over 10 years ago
Labels: enhancement

#5 - Allow user to specify known bounds

Issue - State: closed - Opened by nvcleemp over 10 years ago
Labels: enhancement

#4 - Add property-based conjecturing to the program

Issue - State: closed - Opened by nvcleemp over 10 years ago
Labels: enhancement

#3 - Matrix theory invariants

Issue - State: open - Opened by nvcleemp about 11 years ago

#2 - Add some more operators

Issue - State: open - Opened by nvcleemp about 11 years ago - 2 comments

#1 - Add complexity bound to dalmatian heuristics

Issue - State: open - Opened by nvcleemp about 11 years ago