 Joeri Exelmans
|
1591685723
Some major changes
|
2 年之前 |
|
Joeri Exelmans
|
9aa1db9b80
NodeDeletion: Fix bug (wrongly detect conflict when deleting a node with a self-edge)
|
2 年之前 |
|
Joeri Exelmans
|
6836dbcbc9
WIP: Frontend uses TrivialParser to parse CS -> Corr + AS
|
2 年之前 |
|
Joeri Exelmans
|
55d89b1045
WIP: Embedding of versions
|
2 年之前 |
|
Joeri Exelmans
|
1c29c8d55b
Implement merging of versions in frontend
|
2 年之前 |
|
Joeri Exelmans
|
86eb3fd371
Simpler serialization of NodeCreation delta
|
2 年之前 |
|
Joeri Exelmans
|
0e2829ad0b
Remove .exec() and .unexec() functions from PrimitiveDelta (this was over-engineered and redundant with GraphDeltaExecutor.exec())
|
2 年之前 |
|
Joeri Exelmans
|
4535e906b8
Right-clicking on a version loads that version. Fixed bug in Graph component (d3 stuff). Begin implementation of delta serialization (to (re)store state). Refactor primitive deltas a little bit (but still too complex for my taste).
|
2 年之前 |
|
Joeri Exelmans
|
42fcafafe0
Implemented (edges to) value nodes
|
2 年之前 |
|
Joeri Exelmans
|
ff23a83a4e
Implemented 'undo' for primitive+composite deltas. Conflict relations between deltas are drawn in dependency graph.
|
2 年之前 |
|
Joeri Exelmans
|
2e59173ee9
Refactor EditableGraph: decoupled (re)playing of deltas from d3 stuff. The flow is now always (1) user action -> (2) creation of deltas -> (3) execution of deltas.
|
2 年之前 |
|
Joeri Exelmans
|
04e44844aa
Pulled up state: contents of Graph react component. WIP: clicking on a Version (in History Graph) shows that version in Graph State view.
|
2 年之前 |
|
Joeri Exelmans
|
1760abf806
Fix bug when deleting a node that has a self-edge.
|
2 年之前 |
|
Joeri Exelmans
|
af1cb0bdef
May (not sure) have fixed all conflict types.
|
2 年之前 |
|
Joeri Exelmans
|
8d6004a10a
Progress with Demo - still haven't got conflict types between primitive deltas figured out entirely.
|
2 年之前 |
|
Joeri Exelmans
|
72b7a05567
Versions & deltas: refactor a tiny bit, extend tests.
|
3 年之前 |
|
Joeri Exelmans
|
0556e36e4c
Implement merging of versions
|
3 年之前 |
