Dev#7

Open

cagve wants to merge 80 commits into

vezwork:masterfrom

Commits on Mar 10, 2025

First commit test script
karu
committed
Adding syntax for common knowledge.
karu
committed
Json reader: [add states]
karu
committed
Complete model from JSON
karu
committed
Añadir meter el modelo como un json.
karu
committed
Implemented transitivity closure.
karu
committed
Group closure
karu
committed
1st try common knowledge.
karu
committed

Commits on Mar 11, 2025

fork
Carlos AGUILERA VENTURA
committed
checkout
Carlos AGUILERA VENTURA
committed

Commits on Mar 12, 2025

mer. 12 mars 2025 17:43:15 CET
Carlos AGUILERA VENTURA
committed

Commits on Mar 13, 2025

updateModel function
Carlos AGUILERA VENTURA
committed
jeu. 13 mars 2025 16:57:31 CET
Carlos AGUILERA VENTURA
committed
updateModelGraph
Carlos AGUILERA VENTURA
committed
new feat. input model as a file
Carlos AGUILERA VENTURA
committed

Commits on Mar 14, 2025

ven. 14 mars 2025 12:53:31 CET
Carlos AGUILERA VENTURA
committed
ven. 14 mars 2025 14:01:16 CET
Carlos AGUILERA VENTURA
committed

Commits on Mar 18, 2025

Fix commong knowledge
Carlos AGUILERA VENTURA
committed

Commits on Mar 19, 2025

fix common and distributed model
Carlos AGUILERA VENTURA
committed
clean logs
Carlos AGUILERA VENTURA
committed
readme + web
Carlos AGUILERA VENTURA
committed
Merge branch 'dev'
Carlos AGUILERA VENTURA
committed

Commits on Mar 21, 2025

Commits on Mar 24, 2025

subformula function
Carlos AGUILERA VENTURA
committed
[web feat] add dynamic radios for subformulae
Carlos AGUILERA VENTURA
committed
Mon Mar 24 18:02:43 CET 2025
Carlos AGUILERA VENTURA
committed
Merge branch 'dev' of github.com:cagve/epistemicmodallogic into dev
Carlos AGUILERA VENTURA
committed
[feat] subformulas debug
karu
committed

Commits on Mar 25, 2025

[imp] use unicode to subformulas
Carlos AGUILERA VENTURA
committed
[feat] subformulae dropdown menu
Carlos AGUILERA VENTURA
committed

Commits on Mar 28, 2025

[feat] see common arrows
Carlos AGUILERA VENTURA
committed
[feat] show dist relations
Carlos AGUILERA VENTURA
committed
Merge branch 'test' of github.com:cagve/epistemicmodallogic into test
Carlos AGUILERA VENTURA
committed
merge
karu
committed
2025-03-28T21:27:38Z
karu
committed

Commits on Mar 30, 2025

not showing link
karu
committed
not showing links
karu
committed
2025-03-30T17:13:32Z
karu
committed
Sun Mar 30 07:16:04 PM CEST 2025
karu
committed
[FEAT] setLinkAgent function
karu
committed

Commits on Apr 2, 2025

[FEAT] arrow's angle = 0 for g and h
Carlos AGUILERA VENTURA
committed
add buttons
Carlos AGUILERA VENTURA
committed
remove file \
karu
committed

Commits on Jun 5, 2025

README
Carlos AGUILERA VENTURA
committed

Commits on Feb 3, 2026

Commits on Feb 4, 2026

prerefactor
karu
committed
Tree file
karu
committed
create tree folder
karu
committed
Implementing simple tab + tree style
karu
committed
styles
karu
committed

Commits on Feb 10, 2026

Regla T'
karu
committed
Add tree container diff from graphh container
karu
committed
Full screen
karu
committed
remove old stuff
karu
committed

Commits on Apr 27, 2026

Fix current and subformula display
karu
committed
fix if superflous is empty
karu
committed
Add scroll in subformulas
karu
committed
Doble negación
karu
committed
Mostrar info solo en edit y evaluate mode
karu
committed
Merge branch 'dev'
karu
committed

Commits on Apr 28, 2026

dev
karu
committed
Merge branch 'dev'
karu
committed
Instruction on tableau
karu
committed
fix color links
karu
committed
Add alert when syntax error
karu
committed
Hide tree when edit mode
karu
committed
Add project info
karu
committed
Add random model
karu
committed
Adding test prompt
karu
committed

Commits on Apr 29, 2026

s4
karu
committed
fix parsing formula in check_test_mode
karu
committed
fix placeholder
karu
committed

Commits on Apr 30, 2026

fix newlabel
karu
committed
placeholders
karu
committed

Commits on May 4, 2026

readme.md
karu
committed

Commits on May 5, 2026

implementar cambios s4
karu
committed
Merge branch 's4' into dev
karu
committed