• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

smarr / SOMns / 1054

Builds Branch Commit Type Ran Committer Via Coverage
1054 csp-msg-breakpoints Rename tools.actors to tools.concurrency Make name more general to account for additional concurrency models. Signed-off-by: Stefan Marr <git@stefan-marr.de> push 25 Jan 2017 05:37PM UTC smarr travis-ci pending completion   set done
1053 master Merge PR #98: Various small fixes push 25 Jan 2017 05:27PM UTC web-flow travis-ci pending completion   set done
1052 master Fix field declaration for breakpoint nodes Need to be mutable `@Child` fields. They specialize based on breakpoint enabled/disabled. Signed-off-by: Stefan Marr <git@stefan-marr.de> Pull #98 25 Jan 2017 05:22PM UTC web-flow travis-ci pending completion   set done
1051 various-fixes Fix field declaration for breakpoint nodes Need to be mutable `@Child` fields. They specialize based on breakpoint enabled/disabled. Signed-off-by: Stefan Marr <git@stefan-marr.de> push 25 Jan 2017 05:21PM UTC smarr travis-ci pending completion   set done
1044 master Move codespeed.conf to root folder Doesn’t really belong into core-lib. Was there historically from SOM, where core-lib is a separate repo. Signed-off-by: Stefan Marr <git@stefan-marr.de> push 24 Jan 2017 08:42AM UTC smarr travis-ci pending completion   set done
1043 cleanup Move codespeed.conf to root folder Doesn’t really belong into core-lib. Was there historically from SOM, where core-lib is a separate repo. Signed-off-by: Stefan Marr <git@stefan-marr.de> push 24 Jan 2017 08:38AM UTC smarr travis-ci pending completion   set done
1040 master Move dynamic metric tests to tests folder Signed-off-by: Stefan Marr <git@stefan-marr.de> push 20 Jan 2017 01:27PM UTC smarr travis-ci pending completion   set done
1039 master Minor README update Signed-off-by: Stefan Marr <git@stefan-marr.de> push 20 Jan 2017 01:20PM UTC smarr travis-ci pending completion   set done
1038 master Enable CSP tests, which was missing so far Signed-off-by: Stefan Marr <git@stefan-marr.de> push 21 Jan 2017 05:18AM UTC smarr travis-ci pending completion   set done
1037 csp-tests Enable CSP tests, which was missing so far Signed-off-by: Stefan Marr <git@stefan-marr.de> push 19 Jan 2017 04:03PM UTC smarr travis-ci pending completion   set done
1036 master Merge PR #81: Add a basis software transactional system push 19 Jan 2017 03:53PM UTC web-flow travis-ci pending completion   set done
1033 threading/transactions Implement a basic ‘toy’ STM The general idea is that all accesses to objects and arrays are mediated via `Change` objects. These keep a copy of the initial state, and a working copy on which the transactions perform their accesses. On commit, we ... push 19 Jan 2017 03:44PM UTC smarr travis-ci pending completion   set done
1032 master Implement a basic ‘toy’ STM The general idea is that all accesses to objects and arrays are mediated via `Change` objects. These keep a copy of the initial state, and a working copy on which the transactions perform their accesses. On commit, we ... Pull #81 19 Jan 2017 03:44PM UTC web-flow travis-ci pending completion   set done
1031 master Update dym test data Signed-off-by: Stefan Marr <git@stefan-marr.de> push 19 Jan 2017 03:23PM UTC smarr travis-ci pending completion   set done
1028 master Merge PR #84: Implement basic Communicating Sequential Processes support push 19 Jan 2017 01:40PM UTC web-flow travis-ci pending completion   set done
  • ← Previous
  • 1
  • 2
  • …
  • 59
  • 60
  • 61
  • 62
  • 63
  • 64
  • 65
  • 66
  • 67
  • …
  • 70
  • 71
  • Next →
  • Back to Repo
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2025 Coveralls, Inc