AND Public Git Repository - simgrid.git/rss - CMakeLists.txt history http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/history?f=CMakeLists.txt Clone of SimGrid repository with local patches en Arnaud Giersch /gitweb-files/git-logo.png AND Public Git Repository - simgrid.git/rss - CMakeLists.txt history http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/history?f=CMakeLists.txt Sun, 26 Nov 2023 22:59:09 +0000 Sun, 26 Nov 2023 22:59:09 +0000 gitweb v.2.20.1/2.20.1 Post-release cleanups Martin Quinson <martin.quinson@ens-rennes.fr> Sun, 26 Nov 2023 22:59:09 +0000 http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff/b1245e5ecc0f1eb4e2b76edac0004005e8c9a514 http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff/b1245e5ecc0f1eb4e2b76edac0004005e8c9a514 Post-release cleanups Post-release cleanups
  • [D] CMakeLists.txt
]]>
Release v3.35 Martin Quinson <martin.quinson@ens-rennes.fr> Thu, 23 Nov 2023 23:00:35 +0000 http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff/d68e1c39ec0832cb2391aedd17a868c597dd399e http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff/d68e1c39ec0832cb2391aedd17a868c597dd399e Release v3.35 Release v3.35
  • [D] CMakeLists.txt
]]>
tesh: display the run command ASAP, not after its timeout Martin Quinson <martin.quinson@ens-rennes.fr> Wed, 8 Nov 2023 23:08:16 +0000 http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff/d259b3370ea354bf2a4fb3e292a086b7a2f52ff7 http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff/d259b3370ea354bf2a4fb3e292a086b7a2f52ff7 tesh: display the run command ASAP, not after its timeout tesh: display the run command ASAP, not after its timeout
  • [D] CMakeLists.txt
]]>
Restaure INCLUDE(CheckCCompilerFlag) in cmake Martin Quinson <martin.quinson@ens-rennes.fr> Sun, 5 Nov 2023 12:28:20 +0000 http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff/f7aa303edbab9661d7054dcf1a795a88332ab3a6 http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff/f7aa303edbab9661d7054dcf1a795a88332ab3a6 Restaure INCLUDE(CheckCCompilerFlag) in cmake Restaure INCLUDE(CheckCCompilerFlag) in cmake It was actually used, my bad.
  • [D] CMakeLists.txt
]]>
Remove some restrictions on enable_model-checking now that it's only for the stateless MC Martin Quinson <martin.quinson@ens-rennes.fr> Sun, 5 Nov 2023 02:27:48 +0000 http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff/06fc953f22826925328daae2030ef04465e927b7 http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff/06fc953f22826925328daae2030ef04465e927b7 Remove some restrictions on enable_model-checking now that it's only for the stateless MC Remove some restrictions on enable_model-checking now that it's only for the stateless MC
  • [D] CMakeLists.txt
]]>
Remove the stateful model-checking from the archive. It's not working anymore Martin Quinson <martin.quinson@ens-rennes.fr> Sun, 5 Nov 2023 02:04:45 +0000 http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff/5f5a10db6fc4552782638abb4817041223e17775 http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff/5f5a10db6fc4552782638abb4817041223e17775 Remove the stateful model-checking from the archive. It's not working anymore Remove the stateful model-checking from the archive. It's not working anymore It's a real pity to remove all this great code, as it was doing very audacious things, but I need to do so to move forward. This code is very fragile and badly tested, making it very difficult to build upon. The next time this is implemented (if any), I guess that a compiler-approach (e.g. a clang plugin providing a full introspection over the compiled program) would be more robust than a fully runtime approach tricking with the debug information to get the info. That's too difficult and fragile. Again, I'm deeply sorry I had to remove this code, as it requires me to admit that I failed to maintain this great code over the years. But facts are stubborn.
  • [D] CMakeLists.txt
]]>
Add a cmake option to disable McMini tests, and rename some existing ones Martin Quinson <martin.quinson@ens-rennes.fr> Sun, 5 Nov 2023 00:10:37 +0000 http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff/17fb4b64f0bfb6f25debbcbdf4577812284e6e9e http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff/17fb4b64f0bfb6f25debbcbdf4577812284e6e9e Add a cmake option to disable McMini tests, and rename some existing ones Add a cmake option to disable McMini tests, and rename some existing ones Old configurations should be updated seamlessly.
  • [D] CMakeLists.txt
]]>
The Dart module is getting removed from cmake. Don't use it Martin Quinson <martin.quinson@ens-rennes.fr> Tue, 24 Oct 2023 17:31:16 +0000 http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff/86d1a0e420071dac4bbe44b1addc4fb29f65beb1 http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff/86d1a0e420071dac4bbe44b1addc4fb29f65beb1 The Dart module is getting removed from cmake. Don't use it The Dart module is getting removed from cmake. Don't use it
  • [D] CMakeLists.txt
]]>
Allow to disable EIGEN3 even if it's found on disk Martin Quinson <martin.quinson@ens-rennes.fr> Tue, 24 Oct 2023 17:00:02 +0000 http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff/677077982d1d07abcbc19cd4c7f8605742ed57d6 http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff/677077982d1d07abcbc19cd4c7f8605742ed57d6 Allow to disable EIGEN3 even if it's found on disk Allow to disable EIGEN3 even if it's found on disk
  • [D] CMakeLists.txt
]]>
add a make target named 'examples' that is easier to remember than 'tests' vs 'test' Martin Quinson <martin.quinson@ens-rennes.fr> Tue, 18 Jul 2023 08:37:07 +0000 http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff/5d066dea8dfc82fd1ee531937310134b4946d77f http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff/5d066dea8dfc82fd1ee531937310134b4946d77f add a make target named 'examples' that is easier to remember than 'tests' vs 'test' add a make target named 'examples' that is easier to remember than 'tests' vs 'test'
  • [D] CMakeLists.txt
]]>
Start a new development cycle Martin Quinson <martin.quinson@ens-rennes.fr> Mon, 26 Jun 2023 22:03:19 +0000 http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff/040bec34682ac9b1f9d33c99d0a17e5f17a41f6b http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff/040bec34682ac9b1f9d33c99d0a17e5f17a41f6b Start a new development cycle Start a new development cycle
  • [D] CMakeLists.txt
]]>
Release 3.34 Martin Quinson <martin.quinson@ens-rennes.fr> Mon, 26 Jun 2023 14:59:27 +0000 http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff/a61f76716567c2b75fc98c3363d30e2b028c349b http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff/a61f76716567c2b75fc98c3363d30e2b028c349b Release 3.34 Release 3.34
  • [D] CMakeLists.txt
]]>
A few spelling mistakes and many replacements: [Ss]imgrid -> SimGrid. Arnaud Giersch <arnaud.giersch@univ-fcomte.fr> Tue, 13 Jun 2023 19:51:48 +0000 http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff/3bb5446e9de29764eb8d739753c101cbb90a7b21 http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff/3bb5446e9de29764eb8d739753c101cbb90a7b21 A few spelling mistakes and many replacements: [Ss]imgrid -> SimGrid. A few spelling mistakes and many replacements: [Ss]imgrid -> SimGrid. [ci-skip]
  • [D] CMakeLists.txt
]]>
Add a target to recompile all ns3 tests (and only them) Martin Quinson <martin.quinson@ens-rennes.fr> Sun, 16 Apr 2023 09:03:31 +0000 http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff/f22a1d622082d4acdea64da24bba850e89374848 http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff/f22a1d622082d4acdea64da24bba850e89374848 Add a target to recompile all ns3 tests (and only them) Add a target to recompile all ns3 tests (and only them)
  • [D] CMakeLists.txt
]]>
Remove a file generated by cmake Martin Quinson <martin.quinson@ens-rennes.fr> Mon, 3 Apr 2023 19:10:10 +0000 http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff/3f2adefbdedfef867783ef87da78d7c145192795 http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff/3f2adefbdedfef867783ef87da78d7c145192795 Remove a file generated by cmake Remove a file generated by cmake
  • [D] CMakeLists.txt
]]>
Cosmetics in cmake Martin Quinson <martin.quinson@ens-rennes.fr> Sun, 2 Apr 2023 20:44:08 +0000 http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff/4bbc8305ba7bcc626cefb446b65ccd10ac2a2dc5 http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff/4bbc8305ba7bcc626cefb446b65ccd10ac2a2dc5 Cosmetics in cmake Cosmetics in cmake - use ON/OFF instead of 1/0 - display all MC related options together - mark some crufy variables as advanced to hide them
  • [D] CMakeLists.txt
]]>
More logs around the configuration of the MC variants Martin Quinson <martin.quinson@ens-rennes.fr> Sat, 1 Apr 2023 18:03:42 +0000 http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff/0d9bf83b7a687d5f0a621985329d5cf40d0d36f8 http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff/0d9bf83b7a687d5f0a621985329d5cf40d0d36f8 More logs around the configuration of the MC variants More logs around the configuration of the MC variants
  • [D] CMakeLists.txt
]]>
Only compile stateless MC when libevent is found Martin Quinson <martin.quinson@ens-rennes.fr> Sat, 1 Apr 2023 00:30:43 +0000 http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff/72265dbbfe57521bfa1b77cb4498afac9c3438c4 http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff/72265dbbfe57521bfa1b77cb4498afac9c3438c4 Only compile stateless MC when libevent is found Only compile stateless MC when libevent is found
  • [D] CMakeLists.txt
]]>
Rename SIMGRID_HAVE_MC into SIMGRID_HAVE_STATEFUL_MC (so that MC can be optional... Martin Quinson <martin.quinson@ens-rennes.fr> Fri, 31 Mar 2023 22:58:56 +0000 http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff/824740eb0df1dedddb86035ff3730d87e037f356 http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff/824740eb0df1dedddb86035ff3730d87e037f356 Rename SIMGRID_HAVE_MC into SIMGRID_HAVE_STATEFUL_MC (so that MC can be optional... Rename SIMGRID_HAVE_MC into SIMGRID_HAVE_STATEFUL_MC (so that MC can be optional again)
  • [D] CMakeLists.txt
]]>
Compile the safe part of MC in default mode too Martin Quinson <martin.quinson@ens-rennes.fr> Fri, 31 Mar 2023 21:48:26 +0000 http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff/7a1d9713c8dd8a96686f75acb428b2e4dcb08c1f http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff/7a1d9713c8dd8a96686f75acb428b2e4dcb08c1f Compile the safe part of MC in default mode too Compile the safe part of MC in default mode too Safety properties (with no checkpointing) are not requiring anything weird nowadays. Liveness properties, communication determinism and state-equality reductions are not considered safe as they still need some memory introspection black magic.
  • [D] CMakeLists.txt
]]>