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

mios version 1.3.0 #24

Merged
merged 80 commits into from
Sep 1, 2016
Merged

mios version 1.3.0 #24

merged 80 commits into from
Sep 1, 2016

Conversation

shnarazk
Copy link
Owner

@shnarazk shnarazk commented Sep 1, 2016

No description provided.

shnarazk and others added 30 commits July 21, 2016 09:58
mios version 1.2.1
3461f86 
* revise documentation
* add a CNF handling library
* revise cabal settings
WIP: replace LBD with clause length
832760e
change the name of executable file
02f7793
change cabal defaults for an experiment branch
6d9e811
change bit layout of clause sort key
9ac5923
more aggressive change
1bd25a3
start DL-based clause activity branch
67d0044
change the executable name
530cf8a
set LBD to zero
c667695
WIP: use decision level in 'claBumpActivity`
2fc349b
fix a bug: a wrong value for rescaling clause activity
c849468
introduce two constants: varActivityThreshold and `claActivityThres…
76bb91a 
…hold`
start DL-based clause activity branch
315ca26
change the executable name
80f891b
set LBD to zero
fcf5663
WIP: use decision level in 'claBumpActivity`
b674edd
Merge branch 'exp201608' of github.com:shnarazk/mios into exp201608
c024a02
use claActivityThresholdagain
c9ad437
WIP: the best of 2016-08-02
f2c1bfd
test: no elevation on activity in 'unsafeEnqueue`
20071ab
best set for UF250
85b4988
WIP: Glucose is renamed to Ranking
f8b0174
new branch: WIP-for-1.3.0
279e02b 
* collect statistics always
* ready to add rank field to Clause
* drop LBD completely
reset version number to 1.2.2
ce70eed
update comments; delete obsolete files
5e5534d
ranking functions accepts initialization flag
e292e8a
EXAM: protect conflicting clauses as a cheap alternative of dynamic r…
44fbd4a 
…anking
revert 44fbd4a
bb4baab
EXEM2: revert with tiny changes on interfaces
c67b77c
WIP; revert claActivityThreshold to 1e20
c3508cb
shnarazk and others added 28 commits August 25, 2016 06:55
EXAM: parameters = (6, ** 0.24)
a652b6f
add lib flag again
fcaf634
aesthetic tweaks
45e94f7
stop exporting varHeap
0c04f92
remove codes on clauseDecayRate
77601cc
newClause returns Either Bool Clause
ae14a45
style change on Stack definition
5b17fa7
aesthetic tweaks
e21d5af
EXAM: parameters = (6, ** 0.26)
45e7db9
a whitespace tweak
06faaac
aesthetic tweaks
93f4d11
EXAM: back to the best paramerters = (6, ** 0.25)
e04aa27
EXAM: retest ce70eed: parameters = (9, ** 0.25)
c81888b
Revert 93f4d11 "aesthetic tweaks"
66a61cc 
This reverts commit 93f4d11.
Revert "Revert 93f4d11 "aesthetic tweaks""
453dfe1 
This reverts commit 66a61cc.
Revert "newClause returns Either Bool Clause"
9ec62bb 
This reverts commit ae14a45.
use sqrt instead of (** 0.5)
4a4b69c
Revert "use sqrt instead of (** 0.5)"
fbf6e1c 
This reverts commit 4a4b69c.
drop useless strictness in INLINE functions
132a392
EXAM: use the best = (6, ** 0,25)
b998565
EXAM: drop the magit code
747e57f
change directory/file names
17280cf
use the best magic code
0a930e5
preparation for 1.3.0
4e88d91
update documentation on lb
96a8e4f
change category
5334129
fix a typo
3c17004
ditto
bb1834d
@shnarazk shnarazk merged commit b723923 into master Sep 1, 2016
@shnarazk shnarazk deleted the WIP-for-1.3.0 branch June 17, 2018 11:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@shnarazk