Merge requests · Dominic Kempf / dune-blocklab

Identify vectors by indices instead of names

!24 · created Sep 16, 2020 by Dominic Kempf
- Merged
updated Sep 17, 2020
Feature/jit app export

!23 · created Sep 16, 2020 by Dominic Kempf
- Merged
updated Sep 16, 2020
Remove warnings to move towards warning-free CI

!22 · created Sep 15, 2020 by Dominic Kempf
- Merged
updated Sep 16, 2020
A minimal docker compose setup

!21 · created Sep 15, 2020 by Dominic Kempf
- Merged
updated Sep 15, 2020
Docker containers and CI

!20 · created Sep 15, 2020 by Dominic Kempf
- Merged
updated Sep 15, 2020
Feature/more structures adaption

!19 · created Sep 10, 2020 by Dominic Kempf
- Merged
updated Sep 14, 2020
Yaml input 6 of 7 checklist items completed

!17 · created Sep 09, 2020 by Dominic Kempf
- Merged
- 1
updated Sep 09, 2020
Small changes for structures

!18 · created Sep 09, 2020 by Dominic Kempf
- Merged
updated Sep 09, 2020
Feature/small fixes

!16 · created Sep 07, 2020 by Dominic Kempf
- Merged
updated Sep 07, 2020
Upload/download functionality in the frontend 4 of 4 checklist items completed

!13 · created Sep 02, 2020 by Dominic Kempf
- Merged
updated Sep 07, 2020
Add a status icon for skipped blocks

!15 · created Sep 04, 2020 by Dominic Kempf
- Merged
updated Sep 04, 2020
blockly frontend for ufl

!9 · created Aug 31, 2020 by Dominic Kempf
feature frontend
- Merged
updated Sep 04, 2020
Feature/child blocks

!14 · created Sep 04, 2020 by Dominic Kempf
- Merged
updated Sep 04, 2020
Make HTTP requests for compiling and running asynchronous

!12 · created Sep 02, 2020 by Dominic Kempf
- Merged
updated Sep 02, 2020
Add save/load option for the blockly workspace

!11 · created Sep 02, 2020 by Dominic Kempf
- Merged
updated Sep 02, 2020
Status icons on the frontend

!10 · created Sep 01, 2020 by Dominic Kempf
- Merged
updated Sep 02, 2020
A first version of the HTTPRequestListener

!8 · created Aug 31, 2020 by Dominic Kempf
- Merged
updated Sep 01, 2020
Feature/event system

!7 · created Aug 31, 2020 by Dominic Kempf
- Merged
updated Aug 31, 2020
Add some dockerfiles

!6 · created Aug 24, 2020 by Dominic Kempf
- Merged
updated Aug 27, 2020
Blockly Frontend

!5 · created Aug 24, 2020 by Dominic Kempf
- Merged
updated Aug 27, 2020