Commit graph

Select branches

Hide pull requests

master

release

review1

review2

review3

Mono Color

• 6e38932d5a Everything is said. Would deserve some polish. master Théophile Bastian 2017-09-08 00:46:33 +0200
• 4cd3ee0eaf A few more slides Théophile Bastian 2017-09-07 19:18:31 +0200
• e36ed54167 First few slides Théophile Bastian 2017-09-07 16:13:10 +0200
• fb8c99bb13 Start internship slides Théophile Bastian 2017-09-07 14:20:21 +0200
• f54582dbbe Another few fixes release Théophile Bastian 2017-08-29 10:46:13 +0200
• f2a312cd17 Few fixes review3 Théophile Bastian 2017-08-29 00:02:50 +0200
• 6e9cec0c32 Fix few typos Théophile Bastian 2017-08-28 20:10:06 +0200
• 1802f8caa8 Presentation details, make fit in 14 pages Théophile Bastian 2017-08-28 19:37:35 +0200
• c7d1841af7 More details about the processor Théophile Bastian 2017-08-28 19:20:24 +0200
• 9f3120f0aa More progress Théophile Bastian 2017-08-28 18:49:08 +0200
• ca21ecf0ff Enhance a little bit conclusion review2 Théophile Bastian 2017-08-28 10:28:11 +0200
• a89ba72d6d Few additions Théophile Bastian 2017-08-27 00:32:16 +0200
• f0f62595ff Add measurement for subcircuit find Théophile Bastian 2017-08-26 15:52:51 +0200
• 7167edeb7b Add subcircuit match perf section Théophile Bastian 2017-08-26 01:39:03 +0200
• f30d695832 Add Ullmann refining process example Théophile Bastian 2017-08-25 01:02:17 +0200
• 53ff786f91 Add figures Théophile Bastian 2017-08-24 19:04:33 +0200
• 4f5b0e8784 Add code quality subsection review1 Théophile Bastian 2017-08-24 17:07:02 +0200
• 5cafe06d2f Mention codebase location Théophile Bastian 2017-08-24 15:42:32 +0200
• dbbe189f7f More content Théophile Bastian 2017-08-24 15:10:07 +0200
• 064add1285 Ullmann -- some more Théophile Bastian 2017-08-22 16:43:33 +0200
• 2dbaba6779 Ullmann -- some more Théophile Bastian 2017-08-22 16:43:33 +0200
• 0bf014766a Explain Ullmann Théophile Bastian 2017-08-22 01:37:07 +0200
• 34458bcc44 Start explaining Ullmann Théophile Bastian 2017-08-21 23:35:00 +0200
• 881fe54ef0 Work from RER Théophile Bastian 2017-08-20 19:41:32 +0200
• def30994a3 Start matching Théophile Bastian 2017-08-20 18:20:20 +0200
• 1621d258f9 First content on group equality Théophile Bastian 2017-08-20 18:00:45 +0200
• f141526b66 More on signatures Théophile Bastian 2017-08-20 16:55:13 +0200
• 740a2ab6a3 Elaborate on signatures — content should be here Théophile Bastian 2017-08-20 16:39:23 +0200
• ff65bbbcb8 Work a bit on signatures Théophile Bastian 2017-08-20 14:05:12 +0200
• d4c10896b2 General approach Théophile Bastian 2017-08-19 23:25:21 +0200
• c196fe0621 First draft of an abstract Théophile Bastian 2017-08-19 20:41:46 +0200
• 84aedfe38e Include references from Carl Seger Théophile Bastian 2017-08-19 19:35:01 +0200
• 9ce4235ca7 Restructure Théophile Bastian 2017-08-19 19:30:25 +0200
• d21ab27062 A bit more text Théophile Bastian 2017-08-19 18:03:20 +0200
• 0f04918c33 Add circuit AST Théophile Bastian 2017-08-19 16:35:11 +0200
• f623ad1191 Add sty of commonly used symbols and functions Théophile Bastian 2017-08-19 16:34:39 +0200
• 0575bfd3f5 Switch to biblatex Théophile Bastian 2017-08-19 12:30:11 +0200
• 20898800cb Continue intro a little Théophile Bastian 2017-08-19 10:56:04 +0200
• 53c64f4157 Create general structure, title, etc. Théophile Bastian 2017-06-28 19:40:32 +0200
• b6ccb5fc64 Add base template tex file and Makefile Théophile Bastian 2017-06-28 19:06:26 +0200
• 57ad1363b2 Ignore pdf files Théophile Bastian 2017-06-28 19:06:09 +0200
• a641797e42 Add usual homemade STYs Théophile Bastian 2017-06-28 19:05:21 +0200
• 1f340b3d15 Start gathering references Théophile Bastian 2017-06-28 19:04:52 +0200
• 4b9d599a5e Initial commit Théophile Bastian 2017-06-28 11:53:47 +0200