General

Profile

Рафаэль Садыков

  • Login: sadykov
  • Registered on: 07/29/2019
  • Last connection: 10/09/2022

Issues

open closed Total
Assigned issues 0 0 0
Reported issues 0 0 0

Projects

Project Roles Registered on
Imperative HOL examples Manager, Developer, Reporter, Customer 10/16/2019
TSMT: Tools for bounded E-Matching Developer 08/19/2019

Activity

05/16/2022

10:07 PM TSMT: Tools for bounded E-Matching Revision 2d636918 (tsmt): BitVector_Examples
almost finished Рафаэль Садыков
10:06 PM TSMT: Tools for bounded E-Matching Revision 7022fc5e (tsmt): BitVector_Examples
WIP Рафаэль Садыков

12/30/2021

06:33 PM TSMT: Tools for bounded E-Matching Revision 34cd1e46 (tsmt): BitVector_Examples
almost finished Рафаэль Садыков
04:50 PM TSMT: Tools for bounded E-Matching Revision c8034023 (tsmt): BitVector_Examples
WIP Рафаэль Садыков

12/27/2021

06:05 PM TSMT: Tools for bounded E-Matching Revision 38c59bc1 (tsmt): Updated BitVector theory
WIP Рафаэль Садыков

12/22/2021

05:07 PM TSMT: Tools for bounded E-Matching Revision 9c83a492 (tsmt): BitVector axioms with splitT
Рафаэль Садыков

12/09/2021

08:06 PM TSMT: Tools for bounded E-Matching Revision 796ec276 (tsmt): BitVector theory formalization
with examples Рафаэль Садыков

12/07/2021

07:46 PM TSMT: Tools for bounded E-Matching Revision ee0e6fd7 (tsmt): BitVector axiom
Second axiom formalization Рафаэль Садыков

12/01/2021

11:39 PM TSMT: Tools for bounded E-Matching Revision eb432d06 (tsmt): Fixed type variables check in `when` attribute
Рафаэль Садыков
05:56 PM TSMT: Tools for bounded E-Matching Revision dce1cfa0 (tsmt): Fixes to Pointers and Bounded theories
Рафаэль Садыков

Also available in: Atom