December 2013 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...

Starting: Sun Dec 1 18:34:55 CET 2013
Ending: Mon Dec 30 09:38:24 CET 2013
Messages: 63

• [PPL-devel] [GIT] ppl/ppl(master): Useless typedefs avoided. Formatting improved on passing.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added Prolog_put_nil() and Prolog_get_nil().   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Use Prolog_put_nil() and Prolog_get_nil().   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Some corrections.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed check_nil_terminating().   Roberto Bagnara
• [PPL-devel] ppl / multithreading   Roberto Bagnara
• [PPL-devel] Out of memory when solving integer problem with only two large vars   Roberto Bagnara
• [PPL-devel] Out of memory when solving integer problem with only two large vars   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed several typos.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Book title fixed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed more book titles.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Title fixed and abstract added.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Book title fixed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Removed duplicate entry.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed more book titles.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Book title corrected.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed title capitalization.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Book titles corrected.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Book title fixed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed capitalization.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed book title and capitalization.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Book title corrected.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Braces restored.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added missing quote.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added missing acronym.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Duplicate key avoided.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added missing acronym.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Book title fixed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Author field fixed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Accented letters fixed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed KapurZHZLN13.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed BrauerKK13.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed CostantiniFM13.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Several corrections.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): More corrections.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Several corrections.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed bogus label.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Abstracts fixed. Avoided non-ASCII characters.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Several improvements.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added Fu14b.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added Zu14th.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added abstract of Fu13th.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Several corrections to the abstract of Fu13th.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Capitalization fixes.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Several corrections.   Roberto Bagnara
• [PPL-devel] ppl / multithreading   Samir Genaim
• [PPL-devel] Out of memory when solving integer problem with only two large vars   Georgi Guninski
• [PPL-devel] Out of memory when solving integer problem with only two large vars   Georgi Guninski
• [PPL-devel] Out of memory when solving integer problem with only two large vars   Georgi Guninski
• [PPL-devel] [GIT] ppl/ppl(master): Added recently published papers citing the PPL.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Typo fixed.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Typo fixed.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): More references added.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Typo fixed.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): More references added.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): More references added.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): More references added.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): More references added.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): More references added.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): References added.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Reference added.   Patricia Hill
• [PPL-devel] Out of memory when solving integer problem with only two large vars   Sven Verdoolaege
• [PPL-devel] ppl / multithreading   Enea Zaffanella

Last message date: Mon Dec 30 09:38:24 CET 2013
Archived on: Sun Mar 6 09:35:48 CET 2022

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...