Issues
- 6
tutorial: Update authors and emails
#32 opened by ivanperez-keera - 6
- 2
XOR for Stream Word8
#30 opened by simondlevy - 0
- 1
Remove or update WC-End2End paper
#27 opened by fdedden - 0
Remove Copilot 3 paper from repo
#28 opened by ivanperez-keera - 0
- 0
Update build instructions in manual
#25 opened by fdedden - 0
Update README
#1 opened by fdedden - 0
- 1
- 0
Update announcements
#21 opened by fdedden - 1
Update cooperative agreement numbers
#11 opened by ivanperez-keera - 0
Fix ref in section 2.2
#22 opened by fdedden - 0
Fix ref in section 3.1
#18 opened by fdedden - 0
Write section about structs
#17 opened by fdedden - 1
Fix latch example
#19 opened by fdedden - 1
Fix counter example
#20 opened by fdedden - 0
Write a complete example
#15 opened by fdedden - 0
Fix typo in Heater example
#16 opened by fdedden - 0
Update section '2.2 Compiling Copilot'
#8 opened by fdedden - 0
Update section '2.1 Interpreting Copilot'
#7 opened by fdedden - 0
Fix what Copilot can monitor in section 3.5
#13 opened by fdedden - 1
Small fixes in introduction
#12 opened by fdedden - 0
Rewrite part about arrays in 3.5
#14 opened by fdedden - 1
Remove externFun from section 3.5
#9 opened by fdedden - 0
Fix typo 'ratei'
#6 opened by fdedden - 1
Remove sections 3.6 till the end
#10 opened by fdedden - 0
Add names to titlepage
#3 opened by fdedden - 0
Add Copilot version to tutorial title
#2 opened by fdedden - 0
Update section '1.3 Structure'
#5 opened by fdedden - 0
Update section '1.2 Installation'
#4 opened by fdedden