openhub.net
Black Duck Software, Inc.
Black Duck Open Hub
Follow @
OH
Sign In
Join Now
Projects
People
Organizations
Tools
Blog
BDSA
Projects
People
Projects
Organizations
Forums
P
Piaba
Settings
|
Report Duplicate
0
I Use This!
×
Login Required
Log in to Open Hub
Remember Me
Inactive
Commits
: Listings
Analyzed
about 9 hours
ago. based on code collected
about 14 hours
ago.
Mar 28, 2023 — Mar 28, 2024
Showing page 1 of 1
Search / Filter on:
Commit Message
Contributor
Files Modified
Lines Added
Lines Removed
Code Location
Date
pequenas correcoes
jmi27
More...
about 16 years ago
Maioria dos ajustes recomendados por Rohit, alem de pequenos consertos. Falta incluir simp-testing.bib
jmi27
More...
about 16 years ago
closing the gap
damorim
More...
about 16 years ago
pequenos ajustes no related work e no exemplo
jmi27
More...
about 16 years ago
late changes
damorim
More...
about 16 years ago
ok
rohit-gheyi
More...
about 16 years ago
ok
rohit-gheyi
More...
about 16 years ago
adicionando o pdf
damorim
More...
about 16 years ago
adicionando citacao para metodo de newton
damorim
More...
about 16 years ago
update intro e technique. trying to address differences with DPLL(T) e tecnicas de teste
damorim
More...
about 16 years ago
alterei um erro na variavel do alg. randSOL
rohit-gheyi
More...
about 16 years ago
careful on intro
damorim
More...
about 16 years ago
correcoes pequenas em eval.tex e reducao da conclusao
jmi27
More...
about 16 years ago
*** empty log message ***
jmi27
More...
about 16 years ago
changing evaluation section
damorim
More...
about 16 years ago
eval.tex
damorim
More...
about 16 years ago
small mod. in abstract and intro, mod. in example and eval
damorim
More...
about 16 years ago
*** empty log message ***
jmi27
More...
about 16 years ago
Conclusao- 1a. versao
jmi27
More...
about 16 years ago
Mudancas em intro e example resultado da reuniao Rohit & Juliano
jmi27
More...
about 16 years ago
update
damorim
More...
about 16 years ago
*** empty log message ***
jmi27
More...
about 16 years ago
adding also the eps to make it easier to compile
damorim
More...
about 16 years ago
adding plot
damorim
More...
about 16 years ago
update text
damorim
More...
about 16 years ago
commit tables
damorim
More...
about 16 years ago
several changes to ransat
damorim
More...
over 16 years ago
updating s script (we need PIABA_DIR to be set on you profile)
damorim
More...
over 16 years ago
*** empty log message ***
jmi27
More...
over 16 years ago
Initial revision
damorim
More...
over 16 years ago
This site uses cookies to give you the best possible experience. By using the site, you consent to our use of cookies. For more information, please see our
Privacy Policy
Agree