Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

release plan #1

Closed
28 tasks done
shnarazk opened this issue Nov 30, 2015 · 2 comments
Closed
28 tasks done

release plan #1

shnarazk opened this issue Nov 30, 2015 · 2 comments
Assignees
@shnarazk
Labels
research project
Milestone
hello world

Comments

@shnarazk
Copy link
Owner

LBD was implemented. But before committing it to master, I must make a release of a vanilla minisat implementation.

  • move codes on LBD from the HEAD to a new branch
  • move codes on my heuristics on clause activity to somewhere
  • bump to closed version 0.9 in my private repository -- a solid minisat implementation
  • swtich to this repository from a private one by Dec. 10
    • prune everything but mios 🎄
    • rebase 🎋
  • bump to closed version 1.0 in my private repository
    • switch to stack from cabal
    • comparison of IORef, Vector.Unboxed.Mutable singleton, Data.Mutable
  • reimplement old version based on 1.0 codebases to make version comparisons meaningful. (Old versions have critical mistakes in various functions)
    • salvage old classes and types ⚓
    • add some mechanism to switch versions easily
    • update cabal file in order to generate all versions
  • Test! Experiment! Record! Summarize! 🏫
  • refactoring to RC3
    • commit everything
    • rebase
    • activate all options
  • refactoring to 1.0
    • update REAME.md
    • commit everything
    • rebase
    • final check
  • update statistics
  • open version 1.0 -- slow but true minisat by Dec. 30 2016-01-13 🎉
@shnarazk shnarazk added this to the hello world milestone Nov 30, 2015
@shnarazk shnarazk self-assigned this Nov 30, 2015
@shnarazk
Copy link
Owner Author

shnarazk commented Jan 8, 2016

An emergent release blocker requires more evaluations:

  • class-based containers (1.0 RC2) or data-based containers (1.0 RC1)

@shnarazk
Copy link
Owner Author

screenshot from 2016-01-12 09-25-29

shnarazk pushed a commit that referenced this issue Apr 5, 2016
reset random decision rate to 0; update executable names
7396cb1 
                       -r 0                             -r 20
    problem     #1      #2      #3      median  #1      #2     #3       median
    100         0.83    0.80    0.79    0.80    0.88    0.81    0.77    0.81
    125         1.89    1.42    1.19    1.42    1.98    1.77    2.04    1.98
    150         3.88    3.69    3.57    3.69    3.86    3.74    4.12    3.86
    175         9.19    10.08   9.83    9.83    11.64   10.95   12.14   11.64
    200         22.05   22.65   21.68   22.05   22.62   23.68   22.93   22.93
    225         41.93   42.84   43.30   42.84   55.63   56.52   56.44   56.44
    250         126.61  125.20  126.67  126.61  175.93  175.87  176.74  175.93
    een         7.05    7.00    7.07    7.05    7.49    7.45    7.45    7.45
    bmc         3.09    3.03    3.05    3.05    3.94    3.93    3.97    3.94
    38b         20.46   20.61   20.12   20.46   32.41   29.80   32.33   32.33
shnarazk pushed a commit that referenced this issue May 29, 2016
parameter tuning #1
1c1b54f
shnarazk pushed a commit that referenced this issue Apr 3, 2018
cherry picking #1 from WIP-1.6.1
1a919fd
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@shnarazk shnarazk

Labels
research project
Projects
None yet
Milestone
hello world
Development

No branches or pull requests
1 participant
@shnarazk