Skip to main content

Browse the archive

https://bitbucket.org/adelard/simple-concurrency
27 September 2021, 18:51:06 UTC
sort by:
Revision Author Date Message Commit Date
cd7dfa9 Dan Sheridan 27 February 2015, 15:32:58 UTC Change -accesses-for to report accesses from the "main" entry point even if it is not explicitly listed in -threads; this better matches the behaviour of -var-overlap. 27 February 2015, 15:32:58 UTC
c577112 Dan Sheridan 29 January 2015, 15:48:49 UTC Indicate compatibility with Frama-C Neon 29 January 2015, 15:48:49 UTC
eb80e75 Dan Sheridan 29 January 2015, 15:48:02 UTC Explicitly mark overridden methods in visitors to avoid "method is overridden" warnings 29 January 2015, 15:48:02 UTC
25c68e3 Dan Sheridan 29 January 2015, 15:35:55 UTC Frama-C Neon renames Cil.sizeOf_int to Cil.bytesSizeOf 29 January 2015, 15:35:55 UTC
b81fb65 Boris Yakobowski 01 June 2013, 17:25:15 UTC Merge test branch: Ignore references to shared things that are functions (as opposed to variables, that are selectable) 01 June 2013, 17:25:15 UTC
9503a33 Boris Yakobowski 25 May 2013, 22:05:40 UTC Ignore references to shared things that are functions (as opposed to variables, that are selectable) 25 May 2013, 22:05:40 UTC
3281566 Boris Yakobowski 25 May 2013, 21:47:34 UTC Remove unused "kind" and "default" variables, as well as some unused open 25 May 2013, 21:47:34 UTC
8bfeb06 Dan Sheridan 01 May 2013, 17:13:37 UTC First release of the Simple Concurrency Plugin for Frama-C 01 May 2013, 17:13:37 UTC
back to top