Skip to content

Releases: autonomy-and-verification/ros-contract-language

Version Submitted to RAS

18 Jan 12:55
@mluckcuck mluckcuck
v0.3.1-ras
e690310
Compare
Choose a tag to compare
Version Submitted to RAS Pre-release
Pre-release

This is the version of RCL that is current for the version of the paper submitted to the RAS journal

Loading

v0.3-tosem

29 Jul 12:25
@mluckcuck mluckcuck
v0.3-tosem
ced838b
Compare
Choose a tag to compare
v0.3-tosem Pre-release
Pre-release

The v0.3 release as submitted with a paper to TOSEM.

Loading