The Higher Education and Research forge

Home My Page Projects Code Snippets Project Openings OTAWA
Summary Activity Forums Tracker Tasks Docs Surveys News SCM Dokuwiki Mantis Nuxeo

Activity

Activity:
Start Date:
End Date:
Time Activity By
2024-07-12
12:43:11 sourcecode scm commit: CFG setup fix (repository: otawa-xdd commit: 9723606)
2024-07-10
20:26:25 sourcecode scm commit: Fixed bug induced by error in setup(). (repository: otawa-dcache commit: 7d4cee1)
13:45:10 sourcecode scm commit: CFG setup fix. (repository: otawa-dcache commit: 2ebf3c7)
13:34:50 sourcecode scm commit: Fixed bug on setup parent call. (repository: otawa-clp commit: b4a4b58)
10:50:21 sourcecode scm commit: Added otawa::MAX_LOOP_LEVEL_FEATURE. (repository: otawa-branch commit: ead8e66)
2024-07-09
14:04:27 sourcecode scm commit: CFGOOOTimeProcessor follow Node changes (repository: otawa-xdd commit: a5631fe)
13:56:30 sourcecode scm commit: Xdd remove constructor predating intervals (repository: otawa-xdd commit: 4f89789)
13:49:41 sourcecode scm commit: XddILPGenerator use upBound in ILP (repository: otawa-xdd commit: 7045a61)
13:46:44 sourcecode scm commit: XddILPGenerator replace INT_MIN with NEGINF (repository: otawa-xdd commit: a1cea07)
13:40:21 sourcecode scm commit: XddILPGenerator remove assert made false by intervals (repository: otawa-xdd commit: 8f79505)
12:48:50 sourcecode scm commit: Xdd isEqual using Node pointer comparaison (repository: otawa-xdd commit: 8a1d3ee)
12:48:26 sourcecode scm commit: elm::Comparator of Node using interval upperBound (repository: otawa-xdd commit: 188a87d)
11:34:41 sourcecode scm commit: XStepsMatrixCompiler follow Node changes (repository: otawa-xdd commit: d499b59)
09:31:22 sourcecode scm commit: flowfact: documentation fix. ostat: fix. (repository: otawa commit: 9608af3a)
2024-07-08
14:13:32 sourcecode scm commit: prog: fixed bug preventing good work of GLOBAL_ISLAND. (repository: otawa commit: 69a26692)
12:29:19 sourcecode scm commit: proc: removed old unused and/or deprecated Processor constructors (lots of fixes everywhere); added GLOBAL_STATS support. ostat: changed to support GLOBAL STATS. cfg: added support for GLOBAL_STATS to CFGProvider. (repository: otawa commit: c834099f)
11:53:18 sourcecode scm commit: OpsManager Rewords some asserts (repository: otawa-xdd commit: 8fe7c41)
11:51:57 sourcecode scm commit: OpsManager Fix errors in asserts (repository: otawa-xdd commit: a0a22ea)
11:23:55 sourcecode scm commit: Node remove definition of getLeavesVal (repository: otawa-xdd commit: 15aa25e)
11:23:33 sourcecode scm commit: Node remove nodes comparison (repository: otawa-xdd commit: b9201e4)
11:17:08 sourcecode scm commit: XddMatrix follow Node changes (repository: otawa-xdd commit: 0860f87)
11:09:21 sourcecode scm commit: OpsManager nullify with intervals (repository: otawa-xdd commit: f4a7a6e)
2024-07-04
14:53:07 sourcecode scm commit: OpsManager leftME with intervals (repository: otawa-xdd commit: d7fdf7f)
14:43:26 sourcecode scm commit: OpsManager leftFE with intervals (repository: otawa-xdd commit: 9e1c913)
14:40:44 sourcecode scm commit: cfg: CFGDumper exited loop fix; added classes and function for easier exited loop iteration. display: improved display of constraints in ILPSystemDisplayer. (repository: otawa commit: 5e2d3f38)
13:31:54 sourcecode scm commit: OpsManager sub with empty interval (repository: otawa-xdd commit: 871aa74)
13:31:15 sourcecode scm commit: OpsManager sub_saturated with empty interval (repository: otawa-xdd commit: 9e0aa1d)
13:30:48 sourcecode scm commit: OpsManager add with empty interval (repository: otawa-xdd commit: 2cb157a)
13:05:13 sourcecode scm commit: OpsManager min with empty interval (repository: otawa-xdd commit: 0756577)
12:52:13 sourcecode scm commit: trivial: improved EventAdder. (repository: otawa commit: 897d986b)
12:39:22 sourcecode scm commit: OpsManager implement min with intervals (repository: otawa-xdd commit: e18b96b)
12:36:59 sourcecode scm commit: OpsManager max remove unrelevent comments with interval (repository: otawa-xdd commit: 451e2c6)
12:35:30 sourcecode scm commit: OpsManager max with empty interval (repository: otawa-xdd commit: 6d671b7)
11:38:08 sourcecode scm commit: NodeManager Add empty interval (repository: otawa-xdd commit: be9ec9c)
09:32:33 sourcecode scm commit: Node Xdd Add isEmptyInterval method and SpecialVal (repository: otawa-xdd commit: b058873)
09:17:47 sourcecode scm commit: Node isNeg|PosInf check if isLeaf too (repository: otawa-xdd commit: 674b121)
08:56:25 sourcecode scm commit: autodoc: improved. ai: improved constructors of CFGAnalyzer. (repository: otawa commit: caab5791)
2024-07-02
15:00:41 sourcecode scm commit: Fix with evolution of CFG/BBProcessor. (repository: otawa-icat commit: a049dcf)
14:20:34 sourcecode scm commit: trivial: added EVENT_ADDING_FEATURE. (repository: otawa commit: 6c7805f4)
2024-06-28
14:02:15 sourcecode scm commit: Added FFX documentation. Website is now complete. (repository: otawa-website commit: c2178ff)
13:47:58 sourcecode scm commit: Added FFX report. (repository: otawa-doc commit: 94d3917)
12:54:11 sourcecode scm commit: Added carousel to theme. (repository: otawa-website commit: 33c2c24)
2024-06-25
08:13:41 sourcecode scm commit: OpsManager Fix some comments (repository: otawa-xdd commit: 2c47f98)
08:12:57 sourcecode scm commit: Xdd topToBot to posInfToNegInf (repository: otawa-xdd commit: 9c159f1)
08:11:43 sourcecode scm commit: OpsManager topToBot to posInfToNegInf (repository: otawa-xdd commit: 3d0fbf4)
2024-06-20
13:37:07 sourcecode scm commit: ipet: fixed bug preventing generation of loop constraints. (repository: otawa commit: 66ab0e79)
10:14:27 sourcecode scm commit: Improved display with additional information from OTAWA. (repository: obviews commit: 0ca8ab4)
10:13:40 sourcecode scm commit: app, view: added more details to the generated CFG. (repository: otawa commit: 064689c3)
2024-06-19
09:02:49 sourcecode scm commit: cfg: ConditionalRestructurer fixed bug with ANY condition. (repository: otawa commit: 4630e2df)