Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

F

frama-c
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Incidents

Snippets Groups Projects

e9d8ccd7

Commit e9d8ccd7 authored 3 years ago by David Bühler

Downloads
- Plain Diff

Merge branch 'feature/ivette/fix-synchro' into 'master'

[ivette] fix server-synchro problems

Closes #860 and #1113

See merge request frama-c/frama-c!3684

parents fbc88554 1dba1ef3

No related branches found

No related tags found

No related merge requests found

Changes 13

Hide whitespace changes

Inline Side-by-side

Showing

ivette/src/frama-c/client.ts 15 additions, 1 deletion

ivette/src/frama-c/client.ts
ivette/src/frama-c/client_socket.ts 9 additions, 3 deletions

ivette/src/frama-c/client_socket.ts
ivette/src/frama-c/client_zmq.ts 6 additions, 0 deletions

ivette/src/frama-c/client_zmq.ts
ivette/src/frama-c/server.ts 65 additions, 26 deletions

ivette/src/frama-c/server.ts
ivette/src/frama-c/states.ts 4 additions, 1 deletion

ivette/src/frama-c/states.ts
ivette/src/renderer/Controller.tsx 17 additions, 2 deletions

ivette/src/renderer/Controller.tsx
src/plugins/server/main.ml 126 additions, 64 deletions

src/plugins/server/main.ml
src/plugins/server/main.mli 28 additions, 7 deletions

src/plugins/server/main.mli
src/plugins/server/server_socket.ml 76 additions, 40 deletions

src/plugins/server/server_socket.ml
src/plugins/server/server_zmq.ml 2 additions, 0 deletions

src/plugins/server/server_zmq.ml
src/plugins/server/share/server.md 27 additions, 7 deletions

src/plugins/server/share/server.md
src/plugins/server/share/server_socket.md 2 additions, 0 deletions

src/plugins/server/share/server_socket.md
src/plugins/server/share/server_zmq.md 2 additions, 0 deletions

src/plugins/server/share/server_zmq.md

with 379 additions and 151 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment