Ecosyste.ms: Issues

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

GitHub / FedericoAureliano/aiutare issues and pull requests

#39 - Convenient packaging solution?

Issue - State: open - Opened by fnnbrr over 5 years ago

#39 - Convenient packaging solution?

Issue - State: open - Opened by fnnbrr over 5 years ago

#36 - Model cross-checking for SAT branch

Issue - State: open - Opened by fnnbrr over 5 years ago

#33 - Feature extraction

Pull Request - State: closed - Opened by fnnbrr over 5 years ago

#32 - SMT model peer-verification

Issue - State: closed - Opened by fnnbrr over 5 years ago

#31 - Do more experimentation with Syrup to analyze performance

Issue - State: closed - Opened by fnnbrr over 5 years ago

#28 - Reorganize repo structure to mimic stringfuzz

Issue - State: closed - Opened by fnnbrr over 5 years ago

#28 - Reorganize repo structure to mimic stringfuzz

Issue - State: closed - Opened by fnnbrr over 5 years ago

#27 - All plotting needs to still function on data where Exceptions were caught

Issue - State: closed - Opened by fnnbrr over 5 years ago
Labels: graphing

#27 - All plotting needs to still function on data where Exceptions were caught

Issue - State: closed - Opened by fnnbrr over 5 years ago
Labels: graphing

#26 - Replace analyze.py with our own summarize script

Issue - State: closed - Opened by fnnbrr over 5 years ago

#25 - Changes for loading bar and pip packaging

Pull Request - State: closed - Opened by fnnbrr over 5 years ago

#25 - Changes for loading bar and pip packaging

Pull Request - State: closed - Opened by fnnbrr over 5 years ago

#24 - Progress indicator while benching

Issue - State: closed - Opened by fnnbrr over 5 years ago

#24 - Progress indicator while benching

Issue - State: closed - Opened by fnnbrr over 5 years ago

#23 - Make everything work on Windows 10 64bit

Issue - State: closed - Opened by fnnbrr over 5 years ago

#21 - Package project for pip distribution

Issue - State: closed - Opened by fnnbrr over 5 years ago

#21 - Package project for pip distribution

Issue - State: closed - Opened by fnnbrr over 5 years ago

#20 - Fixed broken filepaths

Pull Request - State: closed - Opened by fnnbrr over 5 years ago

#20 - Fixed broken filepaths

Pull Request - State: closed - Opened by fnnbrr over 5 years ago

#19 - Stable release using MongoDB and config file for setup

Pull Request - State: closed - Opened by fnnbrr over 5 years ago - 3 comments

#18 - Merging finnbarr into dev

Pull Request - State: closed - Opened by fnnbrr over 5 years ago

#18 - Merging finnbarr into dev

Pull Request - State: closed - Opened by fnnbrr over 5 years ago

#17 - Make the program easier for users to set up

Issue - State: closed - Opened by fnnbrr over 5 years ago

#17 - Make the program easier for users to set up

Issue - State: closed - Opened by fnnbrr over 5 years ago

#16 - Individual solvers will occasionally not run and/or not write their results to the database

Issue - State: closed - Opened by fnnbrr over 5 years ago - 1 comment
Labels: bug

#16 - Individual solvers will occasionally not run and/or not write their results to the database

Issue - State: closed - Opened by fnnbrr over 5 years ago - 1 comment
Labels: bug

#12 - Write setup.sh files for automated installation of case study solvers

Issue - State: closed - Opened by fnnbrr over 5 years ago - 1 comment

#12 - Write setup.sh files for automated installation of case study solvers

Issue - State: closed - Opened by fnnbrr over 5 years ago - 1 comment

#11 - Select which CDCL SAT solvers to compare

Issue - State: closed - Opened by fnnbrr over 5 years ago - 1 comment

#10 - Develop NoSQL database schema

Issue - State: closed - Opened by fnnbrr over 5 years ago
Labels: database

#9 - Use linear regression to generate expected runtime models

Issue - State: open - Opened by fnnbrr over 5 years ago
Labels: database, graphing

#8 - Extract features from problems and allow for graphing based on these metrics

Issue - State: closed - Opened by fnnbrr over 5 years ago
Labels: database, graphing

#8 - Extract features from problems and allow for graphing based on these metrics

Issue - State: closed - Opened by fnnbrr over 5 years ago
Labels: database, graphing

#7 - Writing benchmark results to database

Issue - State: closed - Opened by fnnbrr over 5 years ago
Labels: database

#7 - Writing benchmark results to database

Issue - State: closed - Opened by fnnbrr over 5 years ago
Labels: database

#6 - Analyze/graph benchmark results from database

Issue - State: closed - Opened by fnnbrr over 5 years ago
Labels: database, graphing

#6 - Analyze/graph benchmark results from database

Issue - State: closed - Opened by fnnbrr over 5 years ago
Labels: database, graphing

#5 - Run past versions of solvers

Issue - State: closed - Opened by fnnbrr over 5 years ago

#5 - Run past versions of solvers

Issue - State: closed - Opened by fnnbrr over 5 years ago

#4 - Use control groups to plot accurate significance levels on each graph

Issue - State: closed - Opened by fnnbrr over 5 years ago
Labels: database, graphing

#3 - Use JSON files to handle command line input for each category

Issue - State: closed - Opened by fnnbrr over 5 years ago

#2 - Need a collection of real problems for benchmarks

Issue - State: closed - Opened by fnnbrr over 5 years ago - 2 comments

#1 - Need a way to generate artificial problems

Issue - State: closed - Opened by fnnbrr over 5 years ago
Labels: fuzzing