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
2025-01-13
15:46:54 sourcecode scm commit: xengine: added new type of resource for generalized resource identification (based on XResourceID). Fow now, old and new systems co-exist. Old will be removed in new version allowing to get rid of RuleSet finally. Fixed bug with bad name for queue resources and assignement 4-slot queues to all queues of Simple. (repository: otawa-xdd commit: c9d801b)
2025-01-03
09:20:53 sourcecode scm commit: Fixed case of ITInst sub-instruction when prevInst() failing because the sub-instruction is not in the actual list of instructions. (repository: otawa-arm commit: 2388d1b)
2024-12-25
07:33:40 sourcecode scm commit: Update default optimisation level to a saner value (repository: opathfinder commit: 62734bb)
07:33:29 sourcecode scm commit: Fix missing -lcln with modern CVC4 (repository: opathfinder commit: 5fe9372)
07:33:17 sourcecode scm commit: Fix an error with display of elm::Time in std::cout (repository: opathfinder commit: c7b7b9e)
07:32:05 sourcecode scm commit: std::cout should not use elm::endl, fixed (repository: opathfinder commit: dc75a7d)
07:27:42 sourcecode scm commit: Unversion pathfinder binary (repository: opathfinder commit: 72baec0)
07:27:22 sourcecode scm commit: Unversion config.lua (repository: opathfinder commit: 90044d0)
07:26:39 sourcecode scm commit: Remove hardcoded path to otawa-config (repository: opathfinder commit: 01fb63b)
2024-12-20
13:37:11 sourcecode scm commit: Added test script. Improved XddEvent for fast access to underlying Event. URule: fixed time with data cache events. (repository: otawa-xdd commit: 351c685)