Search results

improve the cbmc formal verification

formal-verification

Status: Open.

#15 In oreparaz/vroughtime;

· oreparaz opened on Mar 5, 2023

embed a compact fault-tolerant interval intersection implementation

enhancementNew feature or requestNew feature or request

Status: Open.

#14 In oreparaz/vroughtime;

· oreparaz opened on Oct 30, 2022

implement IETF draft

enhancementNew feature or requestNew feature or request

Status: Open.

#13 In oreparaz/vroughtime;

· oreparaz opened on Oct 30, 2022

use a build system for grown-ups

Status: Open.

#12 In oreparaz/vroughtime;

· oreparaz opened on Jul 28, 2022

port unit tests from roughtime.googlesource.com

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#11 In oreparaz/vroughtime;

· oreparaz opened on Jul 28, 2022

migrate unit tests to doctest

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#10 In oreparaz/vroughtime;

· oreparaz opened on Jul 28, 2022