Jan Kofron
- Login: jankofron
- Email: jan.kofron@d3s.mff.cuni.cz
- Registered on: 27/11/2014
- Last connection: 06/03/2019
Issues
| open | closed | Total | |
|---|---|---|---|
| Assigned issues | 0 | 0 | 0 |
| Reported issues | 0 | 0 | 0 |
Projects
| Project | Roles | Registered on |
|---|---|---|
| hi-bench | Developer | 05/04/2017 |
| hifrog | Developer | 17/01/2017 |
Activity
12/12/2019
- 15:54 OpenSMT 2 Revision 40887fc2: Updated CMake files to include STPSolver.cpp
- 15:50 OpenSMT 2 Revision f2e03655: Comments typos
- 15:45 OpenSMT 2 Revision 1ee98d15: Comments typos
Also available in: Atom