Commit graph

Select branches

Hide pull requests

master

testing

Mono Color

• 2104e340d7 Makefile: upload > all testing Théophile Bastian 2016-09-08 00:44:31 +0200
• 8e2f478e2a near final? Théophile Bastian 2016-09-08 00:23:45 +0200
• db0a4a5a29 A lot of progress Théophile Bastian 2016-09-07 22:13:18 +0200
• 01b36c6e48 Aux files Théophile Bastian 2016-09-07 22:13:09 +0200
• c4961d148d Fix xcolor Théophile Bastian 2016-09-07 22:12:37 +0200
• f1cad075f1 Linked useful self-made packages Théophile Bastian 2016-08-30 16:51:36 +0200
• 4ffb48b42f Final version of the report Théophile Bastian 2016-08-30 16:49:49 +0200
• 9905d42396 Init slides master Théophile Bastian 2016-08-22 10:57:08 +0200
• 541234a049 Adapted gitignore files Théophile Bastian 2016-08-22 10:53:56 +0200
• d0588d3a69 Move todo/note functions to a dedicated file Théophile Bastian 2016-08-22 10:51:36 +0200
• fdb5d06dbf Move to subdirectory Théophile Bastian 2016-08-22 10:50:23 +0200
• 9c452f5f22 Add details about full abstraction Théophile Bastian 2016-08-21 01:50:16 +0200
• 461ca6aeaa Fix few sentences starting with math. Théophile Bastian 2016-08-21 00:41:37 +0200
• 01e0b0fba6 Small layout change Théophile Bastian 2016-08-20 22:20:30 +0200
• 1fedc0b668 Nearly final version Théophile Bastian 2016-08-20 20:00:32 +0200
• 4bcd8dba6f Worked in train. Théophile Bastian 2016-08-14 17:18:28 +0100
• 5a5e8df5ff A bit more. Théophile Bastian 2016-08-12 18:12:53 +0100
• 579bcc3451 Fix Pierre's feedback, switched to linear CCS Théophile Bastian 2016-08-12 16:29:29 +0100
• 2ee16840bf Pierre's printing Théophile Bastian 2016-08-11 11:49:40 +0100
• 9a1fddaf8e Bit more on operations Théophile Bastian 2016-08-10 18:45:28 +0100
• 508ffd0351 Now redacting event structures' presentation Théophile Bastian 2016-08-10 16:57:58 +0100
• 15de66b6a5 Few more lines Théophile Bastian 2016-08-09 20:30:22 +0100
• e659c053a4 Redacted introduction Théophile Bastian 2016-08-09 18:40:25 +0100
• 0efa3e5d5d Biblio, intro Théophile Bastian 2016-08-08 18:49:31 +0100
• 3fe8ae9881 Enrich bibliography (Pierre's mail), typos Théophile Bastian 2016-08-08 13:44:07 +0100
• a5abbd2680 Started informal intro Théophile Bastian 2016-07-21 18:10:02 +0100
• 9266131494 Done lCCS interpretation Théophile Bastian 2016-07-21 12:42:17 +0100
• 090c60b4f1 More lCCS Théophile Bastian 2016-07-21 12:30:56 +0100
• 47f6a1880c CCS Théophile Bastian 2016-07-21 11:30:17 +0100
• c6ba74dd75 Add team-used macros Théophile Bastian 2016-07-20 15:20:08 +0100
• a3ad301113 Linear lambda: started details Théophile Bastian 2016-07-20 14:18:33 +0100
• df1e931494 Few more lines Théophile Bastian 2016-07-19 23:26:19 +0100
• 7738081f2a defined hooks Théophile Bastian 2016-07-19 16:55:48 +0100
• f985f371ff Examples, ... Théophile Bastian 2016-07-19 10:50:11 +0100
• cddf029ded Elaborate on operations, linear lambda. Théophile Bastian 2016-07-18 16:27:34 +0100
• 3cc92cea0f Games representation Théophile Bastian 2016-07-18 14:02:32 +0100
• 468c1341e5 Few more words. Théophile Bastian 2016-07-18 13:43:49 +0100
• e5fcffe586 Testing git Théophile Bastian 2016-07-18 13:18:58 +0100
• a7af481447 Work on title Théophile Bastian 2016-07-18 12:27:55 +0100
• 9bdde2b02d Fix github logo compilation Théophile Bastian 2016-07-18 12:15:09 +0100
• 1dcdeaaac2 Few more lines in report. Théophile Bastian 2016-07-18 11:50:51 +0100
• 30c374cf1a Update few libs. Théophile Bastian 2016-07-18 11:50:28 +0100
• 1693fbd7f6 Few more defs on the concurrent games background. Théophile Bastian 2016-07-12 13:49:51 +0100
• 180dc8ba6a Useful custom libs Théophile Bastian 2016-07-12 13:49:11 +0100
• 8c9109c612 Initial commit Théophile Bastian 2016-07-11 16:42:34 +0100
• d184c83513 initial commit tobast 2016-07-11 17:40:39 +0200