Merge branch 'feature/ivette/graph' into 'master'
[Ivette] added the possibility of passing options to Graph See merge request frama-c/frama-c!4711
Showing
- ivette/src/dome/renderer/colors.tsx 96 additions, 0 deletionsivette/src/dome/renderer/colors.tsx
- ivette/src/dome/renderer/dark.css 54 additions, 0 deletionsivette/src/dome/renderer/dark.css
- ivette/src/dome/renderer/graph/diagram.tsx 25 additions, 78 deletionsivette/src/dome/renderer/graph/diagram.tsx
- ivette/src/dome/renderer/graph/graph.tsx 226 additions, 30 deletionsivette/src/dome/renderer/graph/graph.tsx
- ivette/src/dome/renderer/graph/style.css 1 addition, 1 deletionivette/src/dome/renderer/graph/style.css
- ivette/src/dome/renderer/light.css 53 additions, 0 deletionsivette/src/dome/renderer/light.css
- ivette/src/dome/renderer/themes.tsx 10 additions, 0 deletionsivette/src/dome/renderer/themes.tsx
- ivette/src/frama-c/react-three-css2drenderer.d.ts 23 additions, 0 deletionsivette/src/frama-c/react-three-css2drenderer.d.ts
- ivette/src/sandbox/dotdiagram.tsx 4 additions, 1 deletionivette/src/sandbox/dotdiagram.tsx
Loading
Please register or sign in to comment