API tools faq
paste
Advertisement
Guest User

Untitled

a guest
Nov 17th, 2015
112
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 12.44 KB | None | 0 0
raw download clone embed print report
  1. commit c958eadd579e6cc1ef8e3cf346480154299f1f1d
  2. Author: Kelsey McKenna <ToastNumber@users.noreply.github.com>
  3. Date: Mon Nov 16 21:01:17 2015 +0000
  4.  
  5. Removed wrong [IH]
  6.  
  7. commit 7a1d4e211c96944f3ec4360ca89dd5b67f425e48
  8. Author: Kelsey McKenna <kelseyguitar55@googlemail.com>
  9. Date: Sun Nov 15 02:09:09 2015 +0000
  10.  
  11. Proof solutions added
  12.  
  13. commit 38e27afff5116601cbe0271950aa190ec6519d8b
  14. Author: Kelsey McKenna <kelseyguitar55@googlemail.com>
  15. Date: Sun Nov 15 01:20:19 2015 +0000
  16.  
  17. 7.2 and 7.3a sample solutions added
  18.  
  19. commit 22b59e2f49c6ebc314670a96c7e066d13a68f60e
  20. Author: Kelsey McKenna <kelseyguitar55@googlemail.com>
  21. Date: Fri Nov 13 03:14:23 2015 +0000
  22.  
  23. Success = Success
  24.  
  25. commit 482f44ea9e78c20ffe970e216412c9c41e04982c
  26. Author: Kelsey McKenna <kelseyguitar55@googlemail.com>
  27. Date: Fri Nov 13 01:36:30 2015 +0000
  28.  
  29. Bench and Test files updated
  30.  
  31. commit 834f9912cd88b8106f3c633da1efd968d0c3c211
  32. Author: Kelsey McKenna <kelseyguitar55@googlemail.com>
  33. Date: Fri Nov 13 01:27:50 2015 +0000
  34.  
  35. Week-7 files added
  36.  
  37. commit f8b2ded74c2b5806426668203aa363192226bc1a
  38. Author: ToastNumber <kelseyguitar55@googlemail.com>
  39. Date: Sat Nov 7 14:28:02 2015 +0000
  40.  
  41. Week 6 solutions added
  42.  
  43. commit 58f484895d1dcd63c0f8ab47c4101dc4cd88d89c
  44. Author: Duta <wheen.b@gmail.com>
  45. Date: Fri Nov 6 16:54:56 2015 +0000
  46.  
  47. Updated week-6/exercise-2 test-cases
  48.  
  49. commit fd7614d23e858395b20367f959312c89b879e203
  50. Author: Kelsey McKenna <kelseyguitar55@googlemail.com>
  51. Date: Fri Nov 6 10:50:12 2015 +0000
  52.  
  53. ex2 test code fixed
  54.  
  55. commit cb5be24a8e2781ed9ba5eca1cad30256e4a21e9d
  56. Merge: 3882db8 fca554d
  57. Author: Kelsey McKenna <kelseyguitar55@googlemail.com>
  58. Date: Fri Nov 6 00:18:37 2015 +0000
  59.  
  60. Attempting to fix merge conflict
  61.  
  62. commit 3882db84bd8b303b89231800078fdb597cd003f4
  63. Author: Kelsey McKenna <kelseyguitar55@googlemail.com>
  64. Date: Fri Nov 6 00:15:49 2015 +0000
  65.  
  66. Week-6 test scripts added
  67.  
  68. commit c958eadd579e6cc1ef8e3cf346480154299f1f1d
  69. Author: Kelsey McKenna <ToastNumber@users.noreply.github.com>
  70. Date: Mon Nov 16 21:01:17 2015 +0000
  71.  
  72. Removed wrong [IH]
  73.  
  74. commit 7a1d4e211c96944f3ec4360ca89dd5b67f425e48
  75. Author: Kelsey McKenna <kelseyguitar55@googlemail.com>
  76. Date: Sun Nov 15 02:09:09 2015 +0000
  77.  
  78. Proof solutions added
  79.  
  80. commit 38e27afff5116601cbe0271950aa190ec6519d8b
  81. Author: Kelsey McKenna <kelseyguitar55@googlemail.com>
  82. Date: Sun Nov 15 01:20:19 2015 +0000
  83.  
  84. 7.2 and 7.3a sample solutions added
  85.  
  86. commit 22b59e2f49c6ebc314670a96c7e066d13a68f60e
  87. Author: Kelsey McKenna <kelseyguitar55@googlemail.com>
  88. Date: Fri Nov 13 03:14:23 2015 +0000
  89.  
  90. Success = Success
  91.  
  92. commit 482f44ea9e78c20ffe970e216412c9c41e04982c
  93. Author: Kelsey McKenna <kelseyguitar55@googlemail.com>
  94. Date: Fri Nov 13 01:36:30 2015 +0000
  95.  
  96. Bench and Test files updated
  97.  
  98. commit 834f9912cd88b8106f3c633da1efd968d0c3c211
  99. Author: Kelsey McKenna <kelseyguitar55@googlemail.com>
  100. Date: Fri Nov 13 01:27:50 2015 +0000
  101.  
  102. Week-7 files added
  103.  
  104. commit f8b2ded74c2b5806426668203aa363192226bc1a
  105. Author: ToastNumber <kelseyguitar55@googlemail.com>
  106. Date: Sat Nov 7 14:28:02 2015 +0000
  107.  
  108. Week 6 solutions added
  109.  
  110. commit 58f484895d1dcd63c0f8ab47c4101dc4cd88d89c
  111. Author: Duta <wheen.b@gmail.com>
  112. Date: Fri Nov 6 16:54:56 2015 +0000
  113.  
  114. Updated week-6/exercise-2 test-cases
  115.  
  116. commit fd7614d23e858395b20367f959312c89b879e203
  117. Author: Kelsey McKenna <kelseyguitar55@googlemail.com>
  118. Date: Fri Nov 6 10:50:12 2015 +0000
  119.  
  120. ex2 test code fixed
  121.  
  122. commit cb5be24a8e2781ed9ba5eca1cad30256e4a21e9d
  123. Merge: 3882db8 fca554d
  124. Author: Kelsey McKenna <kelseyguitar55@googlemail.com>
  125. Date: Fri Nov 6 00:18:37 2015 +0000
  126.  
  127. Attempting to fix merge conflict
  128.  
  129. commit 3882db84bd8b303b89231800078fdb597cd003f4
  130. Author: Kelsey McKenna <kelseyguitar55@googlemail.com>
  131. Date: Fri Nov 6 00:15:49 2015 +0000
  132.  
  133. Week-6 test scripts added
  134.  
  135. commit fca554d5e4e20a47b1872dd098db08f28e34cec2
  136. Author: Kelsey McKenna <ToastNumber@users.noreply.github.com>
  137. Date: Thu Nov 5 02:16:32 2015 +0000
  138.  
  139. Change position of loop example
  140.  
  141. commit 8c5dcdaddd3c46e7cf8835f9cefea2b64d8c82e9
  142. Merge: 190b93e 06d3440
  143. Author: Kelsey McKenna <ToastNumber@users.noreply.github.com>
  144. Date: Thu Nov 5 01:48:05 2015 +0000
  145.  
  146. Merge pull request #3 from BlurrechDev/patch-1
  147.  
  148. Replace a mistaken ; with a , for a tuple.
  149.  
  150. commit 06d3440858e021dfb74ddd0d239980b20e49b9bf
  151. Author: BlurrechDev <blurrech@gmail.com>
  152. Date: Thu Nov 5 01:46:06 2015 +0000
  153.  
  154. Replace a mistaken ; with a , for a tuple.
  155.  
  156. commit 190b93e908378e5a7ee4f73b8397d93bc2c0b714
  157. Author: ToastNumber <kelseyguitar55@googlemail.com>
  158. Date: Thu Nov 5 00:06:36 2015 +0000
  159.  
  160. Week-6 questions added
  161.  
  162. commit 899b6ce8aaa0d1a1980c9f419c5d32f725fd2d0f
  163. Author: Kelsey McKenna <kelseyguitar55@googlemail.com>
  164. Date: Sat Oct 31 00:47:24 2015 +0000
  165.  
  166. Accidentally uploaded test scripts last time
  167.  
  168. commit 8e3f7d1e3484c3edbcb95b07ddf3179008d15f05
  169. Author: Kelsey McKenna <kelseyguitar55@googlemail.com>
  170. Date: Sat Oct 31 00:44:02 2015 +0000
  171.  
  172. Week-5 solutions added
  173.  
  174. commit dacc0e22d22530af8760121449da65897e4ea790
  175. Author: ToastNumber <kelseyguitar55@googlemail.com>
  176. Date: Fri Oct 30 00:17:46 2015 +0000
  177.  
  178. Week 5 test scripts added
  179.  
  180. commit 3943f8cce1de6f3eb544a807927ae829b389487e
  181. Author: ToastNumber <kelseyguitar55@googlemail.com>
  182. Date: Tue Oct 27 20:22:30 2015 +0000
  183.  
  184. Changed location of OCaml logo
  185.  
  186. commit d81058d0ac8132afc2d9ebbd506a564fe829b039
  187. Author: ToastNumber <kelseyguitar55@googlemail.com>
  188. Date: Tue Oct 27 20:21:21 2015 +0000
  189.  
  190. OCaml logo added
  191.  
  192. commit 4f87b3b3b4b7a03c6c05f992b171c1e3d52abf33
  193. Merge: 2bfc523 e236212
  194. Author: Kelsey McKenna <ToastNumber@users.noreply.github.com>
  195. Date: Tue Oct 27 20:14:24 2015 +0000
  196.  
  197. Merge pull request #2 from SamTebbs33/patch-2
  198.  
  199. Changed location of the OCaml mascot, it didn't seem to be visible in…
  200.  
  201. commit e236212b397b42d24cd768019f231d014544cd4f
  202. Author: Sam Tebbs <samuel.tebbs@yahoo.com>
  203. Date: Tue Oct 27 20:13:30 2015 +0000
  204.  
  205. Changed location of the OCaml mascot, it didn't seem to be visible in the he
  206.  
  207. commit 2bfc523cce2f124ec1a44a2eccae403854021a34
  208. Author: Bertie Wheen <wheen.b@gmail.com>
  209. Date: Tue Oct 27 19:14:56 2015 +0000
  210.  
  211. Update README.md
  212.  
  213. commit 79a6bf30a69fa341e2a36666de2008ac015fbcd8
  214. Merge: fa6b510 17d726f
  215. Author: Bertie Wheen <wheen.b@gmail.com>
  216. Date: Tue Oct 27 19:14:34 2015 +0000
  217.  
  218. Merge pull request #1 from SamTebbs33/patch-1
  219.  
  220. Added essential camel emoji
  221.  
  222. commit 17d726f031472066c070363af9a807b8ea833241
  223. Author: Sam Tebbs <samuel.tebbs@yahoo.com>
  224. Date: Sun Oct 25 13:35:14 2015 +0000
  225.  
  226. Added essential camel emoji
  227.  
  228. commit fa6b510a600ffa34552fc962139e217350f88c25
  229. Author: ToastNumber <kelseyguitar55@googlemail.com>
  230. Date: Sat Oct 24 14:28:23 2015 +0100
  231.  
  232. Week 4 solutions added
  233.  
  234. commit 7266d65621ce26c93afa7a1c5458772bb20c4f23
  235. Author: Bertie Wheen <wheen.b@gmail.com>
  236. Date: Thu Oct 22 18:25:54 2015 +0100
  237.  
  238. Fixed typo in questions
  239.  
  240. commit 62e33053881ab95c855a3e7e28fd113242cebc50
  241. Author: ToastNumber <kelseyguitar55@googlemail.com>
  242. Date: Thu Oct 22 02:53:23 2015 +0100
  243.  
  244. Week 4 assignments added
  245.  
  246. commit a58d425a90972aaae4d2fa9cb99f29fde093b8ed
  247. Author: Kelsey McKenna <kelseyguitar55@googlemail.com>
  248. Date: Tue Oct 20 17:25:39 2015 +0100
  249.  
  250. week-{0,3,3_unassessed} solutions
  251.  
  252. commit f0b5a68c31b3110611ff904d110d44034f994543
  253. Author: Kelsey McKenna <kelseyguitar55@googlemail.com>
  254. Date: Tue Oct 20 17:25:10 2015 +0100
  255.  
  256. Number of points per question updated
  257.  
  258. commit e6a962c52e8c37788746ec4374e660791bea0d96
  259. Author: Bertie Wheen <wheen.b@gmail.com>
  260. Date: Tue Oct 20 11:52:01 2015 +0100
  261.  
  262. Change message on submission
  263.  
  264. commit f5981162a3bbdf2a1f79b09929c1d731663155cd
  265. Author: Dan Ghica <dan@ghica.net>
  266. Date: Sun Oct 18 15:31:40 2015 +0100
  267.  
  268. Update README.md
  269.  
  270. commit e8aee86728eac3ff1aa1b2eace2853bad8ab3978
  271. Author: Dan Ghica <dan@ghica.net>
  272. Date: Sun Oct 18 15:30:05 2015 +0100
  273.  
  274. Update README.md
  275.  
  276. commit 67f645b34409eef911cd468a23c557f6eefb79a2
  277. Author: ToastNumber <kelseyguitar55@googlemail.com>
  278. Date: Fri Oct 16 16:25:39 2015 +0100
  279.  
  280. Fixing bullet pont
  281.  
  282. commit a82fe3763b0d4679edc29ee5ace36c1f3a749658
  283. Merge: 0102489 04f39ee
  284. Author: ToastNumber <kelseyguitar55@googlemail.com>
  285. Date: Fri Oct 16 16:23:47 2015 +0100
  286.  
  287. Merge branch 'master' of https://github.com/Duta/focs-2015-16
  288.  
  289. commit 01024899385cd2a9baab8b2daad1d1cb937ee1e2
  290. Author: ToastNumber <kelseyguitar55@googlemail.com>
  291. Date: Fri Oct 16 16:23:26 2015 +0100
  292.  
  293. Added link to folder structure section
  294.  
  295. commit 04f39ee3646e3a748d212724145d0576e79dd112
  296. Author: Bertie Wheen <wheen.b@gmail.com>
  297. Date: Fri Oct 16 14:54:32 2015 +0100
  298.  
  299. Update README.md
  300.  
  301. commit 5177e4bdce0c1bcc51c0ce8f0a46560fbcb626ca
  302. Author: ToastNumber <kelseyguitar55@googlemail.com>
  303. Date: Fri Oct 16 13:53:53 2015 +0100
  304.  
  305. Changed instructions
  306.  
  307. commit e5eed94f3d3b3b8ee1f1d52502e236ba7faeb99b
  308. Author: ToastNumber <kelseyguitar55@googlemail.com>
  309. Date: Fri Oct 16 12:03:45 2015 +0100
  310.  
  311. Assignment IDs fixed
  312.  
  313. commit 8e9299eb72d819052e9d2d35b0b34cf80279189d
  314. Author: Kelsey McKenna <ToastNumber@users.noreply.github.com>
  315. Date: Fri Oct 16 02:03:01 2015 +0100
  316.  
  317. Fixing formatting
  318.  
  319. commit 18e6084c500317a002e48074e0f3734400742395
  320. Author: Kelsey McKenna <ToastNumber@users.noreply.github.com>
  321. Date: Fri Oct 16 02:02:15 2015 +0100
  322.  
  323. Created Virtual Machine section and changed anchor
  324.  
  325. commit d0a3b636ce474a9d6f0f79e61313c7a2bf6d1909
  326. Author: Dan Ghica <dan@ghica.net>
  327. Date: Thu Oct 15 21:12:18 2015 +0100
  328.  
  329. Update README.md
  330.  
  331. commit 8c05dcf4e55b6a618712903d9d0f83fd8b84675d
  332. Author: Dan Ghica <dan@ghica.net>
  333. Date: Thu Oct 15 15:44:16 2015 +0100
  334.  
  335. Update README.md
  336.  
  337. commit 7aeb131f89efd2a41b4bf596256c883ff44aba28
  338. Author: Dan Ghica <dan@ghica.net>
  339. Date: Thu Oct 15 13:51:13 2015 +0100
  340.  
  341. Update README.md
  342.  
  343. commit 389565fa23b6f6c7242a9f6d6c06484b738118c1
  344. Author: Dan Ghica <dan@ghica.net>
  345. Date: Thu Oct 15 13:42:01 2015 +0100
  346.  
  347. Update README.md
  348.  
  349. commit 4822bdcbb6839476b9d63a24cace305a8ccec56c
  350. Author: Dan Ghica <dan@ghica.net>
  351. Date: Thu Oct 15 13:36:13 2015 +0100
  352.  
  353. Update README.md
  354.  
  355. commit ad314baca6b284a3c46a61fa5789fa2014df82fb
  356. Author: Dan Ghica <dan@ghica.net>
  357. Date: Thu Oct 15 13:35:31 2015 +0100
  358.  
  359. Update README.md
  360.  
  361. commit 4917b3e75377190e216948851163334b630c9b8b
  362. Author: Dan Ghica <dan@ghica.net>
  363. Date: Thu Oct 15 13:34:44 2015 +0100
  364.  
  365. Update README.md
  366.  
  367. commit 27db3058c3accf5ec3a347cb2389cf38bf82ff8f
  368. Author: Kelsey McKenna <kelseyguitar55@googlemail.com>
  369. Date: Wed Oct 14 22:45:16 2015 +0100
  370.  
  371. python test files fixed
  372.  
  373. commit 18048c57f772f239d7e6e749298565285dcc1bc6
  374. Author: Kelsey McKenna <kelseyguitar55@googlemail.com>
  375. Date: Wed Oct 14 22:37:52 2015 +0100
  376.  
  377. Three zero exercises added
  378.  
  379. commit 42e598f28c5fe170e051ebe7131716b91fb7dcbc
  380. Author: Kelsey McKenna <kelseyguitar55@googlemail.com>
  381. Date: Wed Oct 14 22:16:33 2015 +0100
  382.  
  383. Weird files deleted
  384.  
  385. commit a1ee8a090ae2ea86ae3f2eeb72261a391ea13e61
  386. Author: Kelsey McKenna <kelseyguitar55@googlemail.com>
  387. Date: Wed Oct 14 22:11:16 2015 +0100
  388.  
  389. Deleted .pyc files
  390.  
  391. commit 8952e2e1e07be08a518056408a3d15b4e6958f6f
  392. Merge: 9536253 bd5759b
  393. Author: Kelsey McKenna <kelseyguitar55@googlemail.com>
  394. Date: Wed Oct 14 22:09:32 2015 +0100
  395.  
  396. Merge branch 'master' of https://github.com/Duta/focs-2015-16
  397.  
  398. Trying to fix issue. I think the bench.cm{i,o} files weren't copied over.
  399.  
  400. commit 9536253c5c56271c4dbd4a116ac6003aab1ca15a
  401. Author: Kelsey McKenna <kelseyguitar55@googlemail.com>
  402. Date: Wed Oct 14 22:09:10 2015 +0100
  403.  
  404. Hopefully fixed issue
  405.  
  406. commit bd5759b25afd5a30925ccbdef0ef2c0a24baf907
  407. Author: Kelsey McKenna <kelseyguitar55@googlemail.com>
  408. Date: Wed Oct 14 22:06:51 2015 +0100
  409.  
  410. week-0 and week-3 added
  411.  
  412. commit eb11ab61ca4af6fd454085fd29430a8ae5a5c28d
  413. Author: Kelsey McKenna <kelseyguitar55@googlemail.com>
  414. Date: Wed Oct 14 21:42:17 2015 +0100
  415.  
  416. week-0 and week-3 added
  417.  
  418. commit 2fb34202b76e0641254bddee443bc31de11da081
  419. Author: Bertie Wheen <wheen.b@gmail.com>
  420. Date: Wed Oct 14 18:41:35 2015 +0100
  421.  
  422. Minor fixes
  423.  
  424. commit f97a661725e85c691cdc8205202b0ff0c81e8d40
  425. Author: Bertie Wheen <wheen.b@gmail.com>
  426. Date: Wed Oct 14 17:26:14 2015 +0100
  427.  
  428. The smallest commit ever. Minor formatting fix
  429.  
  430. commit bd52c05afba7f28188295b06c06fb3d21f01619b
  431. Author: Bertie Wheen <wheen.b@gmail.com>
  432. Date: Wed Oct 14 17:22:50 2015 +0100
  433.  
  434. Initial commit.
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!