copilot-language/copilot-discussion issues and pull requests

#39 - Re-structure repo naming talks, authors, years

Issue - State: open - Opened by ivanperez-keera 6 months ago

#38 - Move papers to top directory

Issue - State: closed - Opened by ivanperez-keera 6 months ago

#37 - Remove TODOs

Issue - State: closed - Opened by ivanperez-keera 6 months ago

#36 - Update copilot tutorial for typename => typeName ?

Issue - State: open - Opened by simondlevy 10 months ago - 1 comment

#35 - Add follow along examples to the Copilot Tutorials.

Pull Request - State: open - Opened by willpog almost 2 years ago

#34 - Edit the authors to add new authors and update or remove outdated emails. Refs #32.

Pull Request - State: closed - Opened by willpog about 2 years ago - 1 comment

#33 - Updated the tutorial with the addition of the types header file. Refs #31.

Pull Request - State: closed - Opened by willpog about 2 years ago - 1 comment

#32 - tutorial: Update authors and emails

Issue - State: closed - Opened by ivanperez-keera about 2 years ago - 6 comments
Labels: CR:Status:Closed, CR:Type:Management

#31 - tutorial: Update explanations of C code generated

Issue - State: closed - Opened by ivanperez-keera about 2 years ago - 6 comments
Labels: CR:Status:Closed, CR:Type:Bug

#30 - XOR for Stream Word8

Issue - State: closed - Opened by simondlevy over 3 years ago - 2 comments
Labels: question

#29 - Update installation instructions due to all repos merged

Issue - State: open - Opened by ivanperez-keera almost 4 years ago
Labels: enhancement

#28 - Remove Copilot 3 paper from repo

Issue - State: closed - Opened by ivanperez-keera over 4 years ago

#27 - Remove or update WC-End2End paper

Issue - State: closed - Opened by fdedden about 4 years ago - 1 comment
Labels: enhancement, help wanted

#26 - Update build instructions in manual to reflect repo rename

Issue - State: closed - Opened by fdedden about 5 years ago
Labels: enhancement

#25 - Update build instructions in manual

Issue - State: closed - Opened by fdedden over 5 years ago

#24 - The point of this repo is not clear in the README

Issue - State: closed - Opened by ivanperez-keera almost 6 years ago
Labels: enhancement

#23 - README incorrectly states that this repo is on hackage

Issue - State: closed - Opened by ivanperez-keera almost 6 years ago - 1 comment
Labels: bug

#22 - Fix ref in section 2.2

Issue - State: closed - Opened by fdedden almost 6 years ago

#21 - Update announcements

Issue - State: closed - Opened by fdedden almost 6 years ago

#20 - Fix counter example

Issue - State: closed - Opened by fdedden almost 6 years ago - 1 comment

#19 - Fix latch example

Issue - State: closed - Opened by fdedden almost 6 years ago - 1 comment

#18 - Fix ref in section 3.1

Issue - State: closed - Opened by fdedden almost 6 years ago

#17 - Write section about structs

Issue - State: closed - Opened by fdedden almost 6 years ago

#16 - Fix typo in Heater example

Issue - State: closed - Opened by fdedden almost 6 years ago

#15 - Write a complete example

Issue - State: closed - Opened by fdedden almost 6 years ago

#14 - Rewrite part about arrays in 3.5

Issue - State: closed - Opened by fdedden almost 6 years ago

#14 - Rewrite part about arrays in 3.5

Issue - State: closed - Opened by fdedden almost 6 years ago

#13 - Fix what Copilot can monitor in section 3.5

Issue - State: closed - Opened by fdedden almost 6 years ago

#12 - Small fixes in introduction

Issue - State: closed - Opened by fdedden almost 6 years ago - 1 comment

#11 - Update cooperative agreement numbers

Issue - State: closed - Opened by ivanperez-keera almost 6 years ago - 1 comment
Labels: bug

#10 - Remove sections 3.6 till the end

Issue - State: closed - Opened by fdedden almost 6 years ago - 1 comment

#9 - Remove externFun from section 3.5

Issue - State: closed - Opened by fdedden almost 6 years ago - 1 comment

#8 - Update section '2.2 Compiling Copilot'

Issue - State: closed - Opened by fdedden almost 6 years ago

#7 - Update section '2.1 Interpreting Copilot'

Issue - State: closed - Opened by fdedden almost 6 years ago

#7 - Update section '2.1 Interpreting Copilot'

Issue - State: closed - Opened by fdedden almost 6 years ago

#6 - Fix typo 'ratei'

Issue - State: closed - Opened by fdedden almost 6 years ago

#5 - Update section '1.3 Structure'

Issue - State: closed - Opened by fdedden almost 6 years ago

#4 - Update section '1.2 Installation'

Issue - State: closed - Opened by fdedden almost 6 years ago

#3 - Add names to titlepage

Issue - State: closed - Opened by fdedden almost 6 years ago

#2 - Add Copilot version to tutorial title

Issue - State: closed - Opened by fdedden almost 6 years ago

#1 - Update README

Issue - State: closed - Opened by fdedden almost 6 years ago

GitHub / copilot-language/copilot-discussion issues and pull requests