Рафаэль Садыков
- 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