# # ChangeLog for liacs/SCA2010/BDD # # Generated by Trac 1.6 # Nov 25, 2024, 3:35:31 AM Tue, 03 Aug 2010 23:35:14 GMT Rick van der Zwet [169] * liacs/SCA2010/BDD/report.pdf (modified) * liacs/SCA2010/BDD/report.tex (modified) Aanpassingen naar aanleiding van Verbeteringen en suggesties Hendrik ... Tue, 27 Jul 2010 13:27:34 GMT Rick van der Zwet [167] * liacs/SCA2010/BDD/report.pdf (added) * liacs/SCA2010/BDD/report.tex (modified) Paper ready for next delivery Tue, 27 Jul 2010 12:11:28 GMT Rick van der Zwet [166] * liacs/SCA2010/BDD/report.tex (modified) More fixes to go Tue, 27 Jul 2010 11:20:34 GMT Rick van der Zwet [165] * liacs/SCA2010/BDD/report.tex (modified) Some more corrections we are almost at the end Tue, 27 Jul 2010 10:04:48 GMT Rick van der Zwet [164] * liacs/SCA2010/BDD/report.tex (modified) First block of corrections Tue, 27 Jul 2010 09:43:22 GMT Rick van der Zwet [163] * liacs/SCA2010/BDD/Makefile (modified) Distclean FTW Thu, 01 Jul 2010 10:31:08 GMT Rick van der Zwet [139] * liacs/SCA2010/BDD/report.tex (modified) Typo's fixed Thu, 01 Jul 2010 10:27:13 GMT Rick van der Zwet [138] * liacs/SCA2010/BDD/report.tex (modified) Raw version completed Thu, 01 Jul 2010 01:06:58 GMT Rick van der Zwet [137] * liacs/SCA2010/BDD/report.tex (modified) Figuren werkend. Kinder bedijd Wed, 30 Jun 2010 21:59:52 GMT Rick van der Zwet [136] * liacs/SCA2010/BDD/latex.mk (modified) postscript compatible, graphs fails to view properly otherwhise Wed, 30 Jun 2010 20:03:44 GMT Rick van der Zwet [135] * liacs/SCA2010/BDD/report.tex (modified) Bunch of formula's added Wed, 30 Jun 2010 20:03:29 GMT Rick van der Zwet [134] * liacs/SCA2010/BDD/latex.mk (modified) Left of the screen by default Tue, 29 Jun 2010 05:46:24 GMT Rick van der Zwet [133] * liacs/SCA2010/BDD/report.tex (modified) Changes made on the bus Sat, 26 Jun 2010 16:34:59 GMT Rick van der Zwet [132] * liacs/SCA2010/BDD/report.tex (modified) Going for dinner Sat, 26 Jun 2010 15:38:22 GMT Rick van der Zwet [131] * liacs/SCA2010/BDD/report.tex (modified) Explain about effienty Sat, 26 Jun 2010 14:59:51 GMT Rick van der Zwet [130] * liacs/SCA2010/BDD/report.tex (modified) Introduction foo Sat, 26 Jun 2010 14:46:35 GMT Rick van der Zwet [129] * liacs/SCA2010/BDD/latex.mk (modified) Page options Sun, 20 Jun 2010 19:53:35 GMT Rick van der Zwet [128] * liacs/SCA2010/BDD/report.tex (modified) Work in process we are getting somewhere... Sun, 20 Jun 2010 19:11:59 GMT Rick van der Zwet [127] * liacs/SCA2010/BDD/report.tex (modified) DK _really_ likes his math Sun, 20 Jun 2010 14:55:28 GMT Rick van der Zwet [126] * liacs/SCA2010/BDD/report.tex (modified) Initial framework to play around with BDD reports Sun, 20 Jun 2010 10:07:47 GMT Rick van der Zwet [121] * liacs/SCA2010 (moved) Better fit to the name of the course Sun, 20 Jun 2010 10:03:31 GMT Rick van der Zwet [120] * liacs/README (modified) * liacs/sca (added) * liacs/sca/BDD (copied) * liacs/sca/nQueens (copied) Template holders sCA papers