CEqEA Activity
Brought to you by:
renevestergaard
Activity for CEqEA
-
CEqEA released /CEqEA_2.7.1075.zip
-
Rene Vestergaard committed [r1075]
online-only MIG grammar
-
-
* grammar condition
-
-
* minor grammar fiddling
-
* touch copyright notices
-
* minor cleanup
-
migrated to java+netbeans 11
-
-
* submenu'd |-- expansion
-
-
* intensional/extensional is intensional/extensional
-
* arxiv ref
-
-
-
-
-
* better feedback on mutual coinhibition error
-
* kernel refactoring
-
* prep: kernel refactoring
-
-
* default to algebraic DNF
-
-
- moved to JGraphT 0.9.2 (final before move to Java 1.8)
-
-
- consistent indexing of inhibition domains (avoids 2 steps forward, 1 step back)
-
- remove false-positive (non-operational!) inhibition-domain information
-
- mimic treatment of payload on latent inhibitors to allow for re-visualization
-
- no divergence-resolution default: prudency
-
- change-over-not default: auto-mediation admits change ~> change-over-not is for the non-auto case
-
- phrasing
-
- CCP updates by payload (as opposed to target-node content)
-
tick-tock: copyright
-
-
* phrasing
-
-
* causation~>transition~>change
-
-
* `approximative'>`approximate'
-
-
* tick-tock
-
-
* non-fancy `Activity trace' visualization to w...
-
-
* reintroduced TRMNTN/APPRX, but with simplifie...
-
-
- MIG presentation update 2/2
-
- MIG presentation update 1/2
-
* rename modalities
-
* quasi-deprecation: explicit defaults
-
- modality simplification: endpt from {apprx,df...
-
* (moral) bug: PoIs not determined for excl EPP...
-
* details
-
* nomenclature
-
-
* tick, tock
-
* README update
-
-
explicit toggling of cert tab
-
updated obsolete terminology
-
-
undo previous
-
undo r1030 (for pretty-printing)
-
-
fixed bug affecting mainly active-only contrava...
-
-
new deStrong: explicit regulator conjoined to p...
-
new deStrong: explicit regulator conjoined to p...
-
consume modality-related separator
-
STRONG parsing: last for modalities, first for ...
-
re-introduced DEFERRED
-
* jgrapht 0.9.0 ~> 0.9.1
-
code-style changes
-
-
-
-
- magenta ~> orchid
-
-
* removed obsolete comment
-
-
* CEq_kernel ~> CEq_cstnKernel
-
-
* `Trace' ~> `Activity trace'
-
-
* reverted to Java 1.6: performance
-
-
* high-level interface maturation
-
* Activity trace ~> Trace
-
* maturation of low-level interface, incl info ...
-
* coextSS keyboard shortcut
-
* synchronization terminology
-
* fullscreen on Mac OS X
-
* trace panel always on top when shown in "froz...
-
* CTRL+SHIFT+s ~> CTRL+s
-
* CTRL+r ~> CTRL+SHIFT+s
-
* <CTRL>+r: whole-CCD SSD
-
- simplified conflict logic
-
- bug: conflict also for highlighted but non-co...
-
- bug: allow boosters to be considered for next...
1 >
