christoph/fail
1
Fork 0
Code Releases Activity

Commit Graph

  • 3413243ea9 bochs(un)install targets removed hsc 2012-07-03 13:27:04 +00:00
  • b2353078bc add cmake configuration for additional ag++ flags hsc 2012-07-03 13:27:01 +00:00
  • ababa48fd7 reboot (and interrupt injection?) are also async_events hsc 2012-07-03 13:26:58 +00:00
  • 765c5f6985 fix restore() in case no "natural" async_events occur hsc 2012-07-03 12:38:24 +00:00
  • e0072e393b checksum-oostubs: instr_offset + mem_addr for bochs debugging chb 2012-07-03 10:03:39 +00:00
  • 80076ec568 reduced cmake cache variable namespace pollution hsc 2012-07-02 17:16:30 +00:00
  • 4c3c5d53ab more fine-grained X11 library linking hsc 2012-07-02 12:03:12 +00:00
  • 83f64fd4bc removing build-system debug output hsc 2012-07-02 12:03:09 +00:00
  • 9e41c1a39c Initial example experiment: hoffmann 2012-07-02 10:40:04 +00:00
  • 0ff2fb4dad more fine-grained X11 checks hsc 2012-06-30 00:14:37 +00:00
  • 32d882742c build system fix for Ubuntu 12.04 hsc 2012-06-30 00:14:33 +00:00
  • e8ec6dc722 find and use libudis86 properly in l4-sys experiment hsc 2012-06-29 22:51:18 +00:00
  • 711572507d cmake compatibility fix hsc 2012-06-29 22:51:14 +00:00
  • b832a11837 cmake compatibility fixes; optional Bochs dependencies hsc 2012-06-29 22:22:47 +00:00
  • 4a4b3ea7e2 FailBochs build process reversed hsc 2012-06-29 22:22:41 +00:00
  • 651738fcca Empty base dir for VEZS hoffmann 2012-06-29 11:20:05 +00:00
  • fe915e7d52 ++coding-style. adrian 2012-06-27 11:27:06 +00:00
  • ac5dee6549 Renamed EventList -> EventManager (refactoring). adrian 2012-06-27 11:15:42 +00:00
  • 1dd7f40e30 ++coding-style. adrian 2012-06-27 07:56:41 +00:00
  • 22c5cdbde2 Adding some code to the L4-Sys experiment, and making it compile again. unzner 2012-06-26 11:37:21 +00:00
  • 5259f3497b checksum-oostubs experiment update for new ecc aspects chb 2012-06-22 14:19:35 +00:00
  • 5f7ca1bc7b wmoo: 400x fault-space pruning speedup hsc 2012-06-22 14:03:56 +00:00
  • 10ac5aac45 update checksum-oostubs target + experiment (use ecc for classes w/ inheritance) * TODO: find bug in standAlone variant chb 2012-06-22 12:14:55 +00:00
  • 09c3f64d51 Bugfixing in L4-Sys unzner 2012-06-22 08:56:22 +00:00
  • 58822b02f3 Some improvements on L4, and correcting a mistake made in revision 1361 (see mailing list). unzner 2012-06-21 14:19:21 +00:00
  • aa838b3c5a update checksum-oostubs for new timer chb 2012-06-21 12:46:17 +00:00
  • 32481e1442 update for checksum-oostubs chb 2012-06-21 12:43:30 +00:00
  • ccf57e3d7a ++coding-style.txt adrian 2012-06-21 11:49:46 +00:00
  • f4b2737091 TODO revisited. adrian 2012-06-21 11:35:21 +00:00
  • 2f42fd07f5 class-diagram update adrian 2012-06-21 11:34:23 +00:00
  • d143d6ae50 EvendId -> event_id_t (refactoring). adrian 2012-06-21 11:18:38 +00:00
  • e586f9d844 wmoo: TimerEvent constructor fix. adrian 2012-06-21 11:04:16 +00:00
  • ad0cfb9b11 Pre-/postprocessing is done within the event objects (Bochs-specific event added), ++coding-style. adrian 2012-06-21 10:47:22 +00:00
  • 5effe564f0 ++coding-style adrian 2012-06-21 10:39:05 +00:00
  • 127a25707f coding-style improved. adrian 2012-06-20 08:42:58 +00:00
  • 583f60c430 Typo fixed. adrian 2012-06-20 08:27:48 +00:00
  • bff60aeae3 Additionally passing the current Bochs CPU context and instruction cache entry to BochsController (enables detailed instruction analysis and modification) unzner 2012-06-15 16:39:14 +00:00
  • 33772f750e wmoo: don't do more experiments than necessary hsc 2012-06-14 15:54:03 +00:00
  • 94909e8565 Separated how-to-build -> how-to-build + how-to-use, added details on experiment parallelization, updated fail-structure docs. adrian 2012-06-14 10:26:51 +00:00
  • 784c05572e wmoo: store more details on broken result data hsc 2012-06-13 16:43:22 +00:00
  • 87f3ed10b4 wmoo: don't send a fishy result set hsc 2012-06-13 16:43:18 +00:00
  • 10c68fdb9d wmoo: don't trace more than necessary hsc 2012-06-13 12:53:36 +00:00
  • c250d58e21 wmoo: remove events before leaving their scope hsc 2012-06-13 12:53:32 +00:00
  • d48f4d0f69 wmoo: TimerEvent bugfix (the event needs to be deleted explicitly). adrian 2012-06-13 11:37:33 +00:00
  • 18d18d0225 Documentation for directory and namespace structure added. adrian 2012-06-12 17:50:36 +00:00
  • 4ff6871482 wmoo: experimentInfo update for new wmoo images hsc 2012-06-12 15:13:28 +00:00
  • 6447c52355 wmoo: properly deal with timeouts (e.g., stuck in HLT) hsc 2012-06-12 15:13:24 +00:00
  • ff29f900ec wmoo: trace and sim-state suffix hsc 2012-06-12 15:13:21 +00:00
  • 2562df92e2 wmoo campaign: show elapsed time hsc 2012-06-12 15:13:18 +00:00
  • f74c794789 Bochs tweak: properly handle restore() after TimerEvent hsc 2012-06-12 15:13:15 +00:00
  • 5f3df24cf5 don't distribute core dumps hsc 2012-06-12 15:13:12 +00:00
  • 031c7fc749 not all feature dependencies are mandatory hsc 2012-06-12 15:13:02 +00:00
  • 00bcf3986e statename variable is not unused hsc 2012-06-11 13:48:16 +00:00
  • f49fa07a25 Changed BufferCache Backend to STL (as proposed), added IOPortEvent-Cache, updated class diagram unzner 2012-06-10 19:32:05 +00:00
  • db88736bb9 And the class diagram. unzner 2012-06-09 18:05:16 +00:00
  • 13cd951a87 Bugfix in BufferCache, added some security checks, plus minor stuff in doc/howtobuild.txt unzner 2012-06-09 17:31:32 +00:00
  • 2575604b41 Fail* directories reorganized, Code-cleanup (-> coding-style), Typos+comments fixed. adrian 2012-06-08 20:09:43 +00:00
  • d474a5b952 Moved deprecated files/folders to temp-folder, FI-stuff removed, cleaned up aspect (file-)names and code (-> coding-style). adrian 2012-06-07 18:57:26 +00:00
  • b7d904140e Namespaces unified (sal+fi -> fail), Code cleanups (-> coding-style.txt), Doxygen-comments fixed. adrian 2012-06-07 17:47:19 +00:00
  • cdd5379e19 Class diagram update (don't use namespace identifiers in the diagrams). adrian 2012-06-07 17:43:22 +00:00
  • 33154a35c4 Tiny updates in Coding-Style guideline. adrian 2012-06-07 17:41:08 +00:00
  • 715a393598 Introducing the BufferCache announced on the mailing list, and some small changes. L4Sys is still WIP. unzner 2012-06-06 15:13:16 +00:00
  • 3284fba7d3 ProtoStream: comments, FIXMEs hsc 2012-06-06 14:27:32 +00:00
  • 7573010685 no "using namespace std" in a header hsc 2012-06-06 14:27:29 +00:00
  • c9c468fdbd bugfix: we still need the tracefile variable hsc 2012-06-06 14:27:26 +00:00
  • cfa6153b56 jobserver: improved job retry hsc 2012-06-06 14:27:23 +00:00
  • 08ec3548af Bochs CPU fix: don't crash on weird memory accesses hsc 2012-06-06 14:27:20 +00:00
  • 71141b80ee don't use tabs in Python code hsc 2012-06-06 14:27:17 +00:00
  • be7b519346 coding style update hsc 2012-06-06 14:27:14 +00:00
  • ed463b71d6 TODO hsc 2012-06-06 14:27:11 +00:00
  • 9a47d75f9a getMnemonic() moved to BochsController + Typos fixed. adrian 2012-06-06 11:22:22 +00:00
  • d5734a757a TracingTest adapted to ProtoStream hellwig 2012-06-05 14:26:45 +00:00
  • d4510be230 correction of the guards output hellwig 2012-06-05 13:59:46 +00:00
  • 47930c7255 added guards to checksum-oostubs-experiment hellwig 2012-06-05 13:57:28 +00:00
  • b68a5c432e checksum-oostubs adapted to ProtoStream (NOT TESTED) hellwig 2012-06-05 13:54:29 +00:00
  • 2ca3e84c64 added guards to weathermonitor-experiment hellwig 2012-06-05 12:52:31 +00:00
  • 03c1ce8a0f weathermonitor-experiment adapted to ProtoStream hellwig 2012-06-05 12:48:53 +00:00
  • 362ed5bb18 tabs -> whitespaces (dump-trace.py) hellwig 2012-06-05 12:04:10 +00:00
  • 18fdd87c8c dump-trace.py adapted to ProtoStream hellwig 2012-06-05 11:34:33 +00:00
  • 15d659500b ProtoStream updated hellwig 2012-06-04 15:20:32 +00:00
  • 70d6dae1e2 Adding x86 I/O port communication capabilities (see IOPortEvent) unzner 2012-06-04 10:53:28 +00:00
  • 02e62e7cb8 Updated class diagram, corrected one small error. unzner 2012-05-31 17:28:47 +00:00
  • 316e053af4 Class diagram updated to reflect current code structure. adrian 2012-05-31 12:29:33 +00:00
  • 7451702e30 TODO updated (moved finished key points to 'Erledigt'-section). adrian 2012-05-31 11:53:32 +00:00
  • 5adc043d19 Missing DANCEOS_RESTORE-#define added. adrian 2012-05-31 11:09:33 +00:00
  • 2ab9284f73 coolchecksum adapted to ProtoStream hellwig 2012-05-30 12:56:29 +00:00
  • 2566658b53 TODO updated. adrian 2012-05-30 11:54:52 +00:00
  • b4aaf08def TODO reorganized. adrian 2012-05-30 08:24:53 +00:00
  • ebd62281c3 The patch I announced on the mailing list regarding address space recognition. unzner 2012-05-28 09:23:27 +00:00
  • ae1459e6fd Documented results of memory-access tracing in Bochs. adrian 2012-05-24 14:13:41 +00:00
  • 3ec54af4e9 TracingPlugin got a dependency check regarding required aspects. adrian 2012-05-24 12:25:50 +00:00
  • c5848a9c6d ProtoStream reviewed hellwig 2012-05-24 12:03:23 +00:00
  • 03d8688241 Added getMnemoric(): Retrieves a textual description of the current instruction. adrian 2012-05-24 11:44:08 +00:00
  • 075b1344a7 Typo fixed. adrian 2012-05-24 10:35:37 +00:00
  • 8973a8d40a Use common register names in experiment code. adrian 2012-05-18 12:11:22 +00:00
  • 76e3f53fec TODO updated. adrian 2012-05-17 19:27:07 +00:00
  • 7a64711e0c Common naming for register IDs. adrian 2012-05-17 19:25:23 +00:00
  • 13745ae706 Moved client- and server-settings to CMAKE-config. adrian 2012-05-17 18:59:00 +00:00
  • ce38da26d0 Renamed AspectConfig.hpp.in -> FailConfig.hpp.in, updated files accordingly. adrian 2012-05-17 17:36:38 +00:00
  • c561ddcc9d Coding-style updated (no author names in source files). adrian 2012-05-17 17:06:44 +00:00