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

QBF Encoding #60

Open
marco-biasion opened this issue Jul 10, 2024 · 0 comments
Open

QBF Encoding #60

marco-biasion opened this issue Jul 10, 2024 · 0 comments
Assignees
@lollospadalaser
Labels
planning > in progress This issue is being actively developed

Comments

@marco-biasion
Copy link
Member

No description provided.

@marco-biasion marco-biasion added the planning > in progress This issue is being actively developed label Jul 10, 2024
lollospadalaser added a commit that referenced this issue Jul 10, 2024
@lollospadalaser
#60: first commit
283cb28
lollospadalaser added a commit that referenced this issue Jul 11, 2024
@lollospadalaser
#60: stopped on saving gates of inexact_circuit (commented those parts)
9cd101e
lollospadalaser added a commit that referenced this issue Jul 11, 2024
@lollospadalaser
#60: test for equivalence done, outputs of exact and inexact circuit …
8547fcc 
…should be correct
lollospadalaser added a commit that referenced this issue Jul 12, 2024
@lollospadalaser
#60: up to adder done
03dac34
lollospadalaser added a commit that referenced this issue Jul 12, 2024
@lollospadalaser
#60: hopefully fixed for when the outputs are part of the subgraph_ou…
5df1da7 
…tput_dict
lollospadalaser added a commit that referenced this issue Jul 16, 2024
@lollospadalaser
#60 added script to tests circuit logic + updated the generator of QBF
63d6fdb
lollospadalaser added a commit that referenced this issue Jul 16, 2024
@lollospadalaser
#60: finished script, should be working correctly
20c039a
lollospadalaser added a commit that referenced this issue Jul 16, 2024
@lollospadalaser
#60: removed useless comments
be38965
lollospadalaser added a commit that referenced this issue Jul 18, 2024
@lollospadalaser
#60: returned results the way they are supposed to be
cddc290
lollospadalaser added a commit that referenced this issue Jul 18, 2024
@lollospadalaser
#60: exact_circuit change during iteration, why?
29dd075
lollospadalaser added a commit that referenced this issue Jul 18, 2024
@lollospadalaser
#60: fixed?
5f2574a
lollospadalaser added a commit that referenced this issue Jul 18, 2024
@lollospadalaser
#60: trying to fix errors
e104199
lollospadalaser added a commit that referenced this issue Jul 18, 2024
@lollospadalaser
#60: was already correct, need to add the possibility of changing con…
e76e951 
…stants
lollospadalaser added a commit that referenced this issue Jul 24, 2024
@lollospadalaser
#60 fixed errors: working only with unsigned outputs
d831f9d
lollospadalaser added a commit that referenced this issue Jul 24, 2024
@lollospadalaser
#60: not working
262f206
lollospadalaser added a commit that referenced this issue Jul 24, 2024
@lollospadalaser
#60: merge with 56.2
f551c90
lollospadalaser added a commit that referenced this issue Jul 24, 2024
@lollospadalaser
#60: better but still errors
ce2c298
lollospadalaser added a commit that referenced this issue Jul 25, 2024
@lollospadalaser
#60: WORKING. Before merge of fix of issue #67. if everything goes ba…
e716b67 
…d use this
lollospadalaser added a commit that referenced this issue Jul 25, 2024
@lollospadalaser
#60: removed useless debug output on file
46657ae
lollospadalaser added a commit that referenced this issue Jul 25, 2024
@lollospadalaser
#60: print SAT\UNSAT at every cell, not only when UNSAT
8a8e64a
lollospadalaser added a commit that referenced this issue Jul 26, 2024
@lollospadalaser
#60: removed labeling for xpat
d24f769
lollospadalaser added a commit that referenced this issue Jul 26, 2024
@lollospadalaser
#60: added --top_grid option
14e03f4
lollospadalaser added a commit that referenced this issue Jul 26, 2024
@lollospadalaser
#60: added timeout for encoding3 and stopped exploration after first …
2657f48 
…iteration for xpat
lollospadalaser added a commit that referenced this issue Aug 14, 2024
@lollospadalaser
#60: added possibility of having constants in exact_circuit
ad6b074
lollospadalaser added a commit that referenced this issue Aug 19, 2024
@lollospadalaser
#60: Working commit
edabe9e
lollospadalaser added a commit that referenced this issue Aug 19, 2024
@lollospadalaser
#60: Created inner function for two level template
ef3deeb
lollospadalaser added a commit that referenced this issue Aug 19, 2024
@lollospadalaser
#60: cleanup
e5502f2
lollospadalaser added a commit that referenced this issue Aug 23, 2024
@lollospadalaser
#60: added possibility of seeing sat
bba3579
@lollospadalaser lollospadalaser linked a pull request Dec 13, 2024 that will close this issue
Draft: QBF encoding #74
Closed
marco-biasion pushed a commit that referenced this issue Dec 13, 2024
@lollospadalaser
#60: first commit
8024814
marco-biasion pushed a commit that referenced this issue Dec 13, 2024
@lollospadalaser
#60: stopped on saving gates of inexact_circuit (commented those parts)
a24706a
marco-biasion pushed a commit that referenced this issue Dec 13, 2024
@lollospadalaser
#60: test for equivalence done, outputs of exact and inexact circuit …
5824279 
…should be correct
marco-biasion pushed a commit that referenced this issue Dec 13, 2024
@lollospadalaser
#60: up to adder done
f922f09
marco-biasion pushed a commit that referenced this issue Dec 13, 2024
@lollospadalaser
#60: hopefully fixed for when the outputs are part of the subgraph_ou…
48991b1 
…tput_dict
marco-biasion pushed a commit that referenced this issue Dec 13, 2024
@lollospadalaser
#60 added script to tests circuit logic + updated the generator of QBF
c878c35
marco-biasion pushed a commit that referenced this issue Dec 13, 2024
@lollospadalaser
#60: finished script, should be working correctly
7ec3758
marco-biasion pushed a commit that referenced this issue Dec 13, 2024
@lollospadalaser
#60: removed useless comments
01d1955
marco-biasion pushed a commit that referenced this issue Dec 13, 2024
@lollospadalaser
#60: returned results the way they are supposed to be
701bbd2
marco-biasion pushed a commit that referenced this issue Dec 13, 2024
@lollospadalaser
#60: exact_circuit change during iteration, why?
c5955ae
marco-biasion pushed a commit that referenced this issue Dec 13, 2024
@lollospadalaser
#60: fixed?
1b4cac5
marco-biasion pushed a commit that referenced this issue Dec 13, 2024
@lollospadalaser
#60: trying to fix errors
0608517
marco-biasion pushed a commit that referenced this issue Dec 13, 2024
@lollospadalaser
#60: was already correct, need to add the possibility of changing con…
380afe2 
…stants
marco-biasion pushed a commit that referenced this issue Dec 13, 2024
@lollospadalaser
#60 fixed errors: working only with unsigned outputs
d44d288
marco-biasion pushed a commit that referenced this issue Dec 13, 2024
@lollospadalaser
#60: not working
a102f7c
marco-biasion pushed a commit that referenced this issue Dec 13, 2024
@lollospadalaser
#60: merge with 56.2
d325776
marco-biasion pushed a commit that referenced this issue Dec 13, 2024
@lollospadalaser
#60: better but still errors
ecee129
marco-biasion pushed a commit that referenced this issue Dec 13, 2024
@lollospadalaser
#60: WORKING. Before merge of fix of issue #67. if everything goes ba…
b0c668d 
…d use this
marco-biasion pushed a commit that referenced this issue Dec 13, 2024
@lollospadalaser
#60: removed useless debug output on file
d800b8f
marco-biasion pushed a commit that referenced this issue Dec 13, 2024
@lollospadalaser
#60: print SAT\UNSAT at every cell, not only when UNSAT
673e6b6
marco-biasion pushed a commit that referenced this issue Dec 13, 2024
@lollospadalaser
#60: removed labeling for xpat
b32ff4e
marco-biasion pushed a commit that referenced this issue Dec 13, 2024
@lollospadalaser
#60: added --top_grid option
cbed6b3
marco-biasion pushed a commit that referenced this issue Dec 13, 2024
@lollospadalaser
#60: added timeout for encoding3 and stopped exploration after first …
abfb551 
…iteration for xpat
marco-biasion pushed a commit that referenced this issue Dec 13, 2024
@lollospadalaser
#60: added possibility of having constants in exact_circuit
2f1696f
marco-biasion pushed a commit that referenced this issue Dec 13, 2024
@lollospadalaser
#60: Working commit
abd0158
marco-biasion pushed a commit that referenced this issue Dec 13, 2024
@lollospadalaser
#60: Created inner function for two level template
9d3dbdf
marco-biasion pushed a commit that referenced this issue Dec 13, 2024
@lollospadalaser
#60: cleanup
bf0c259
marco-biasion pushed a commit that referenced this issue Dec 13, 2024
@lollospadalaser
#60: added possibility of seeing sat
5f10a22
marco-biasion pushed a commit that referenced this issue Dec 13, 2024
@lollospadalaser
#60: time improvement for when et == 0
a23f3d7
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@lollospadalaser lollospadalaser

Labels
planning > in progress This issue is being actively developed
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Draft: QBF encoding LP-RG/subxpat
2 participants
@marco-biasion @lollospadalaser