Sepideh Asadi
- Login: asadis
- Email: sepideh.a65@gmail.com
- Registered on: 16/03/2016
- Last connection: 04/03/2023
Issues
| open | closed | Total | |
|---|---|---|---|
| Assigned issues | 10 | 13 | 23 |
| Reported issues | 42 | 26 | 68 |
Projects
| Project | Roles | Registered on |
|---|---|---|
| hi-bench | Developer | 11/07/2016 |
| hifrog | Developer | 13/05/2016 |
| OpenSMT 2 | Developer | 10/05/2016 |
Activity
08/02/2021
- 12:27 hifrog Revision 7b3e168e: Merge pull request #4 from usi-verification-and-security/error-trace-fix
- Fix Error Trace
04/02/2021
- 13:38 hifrog Revision 7a2bb916: add Gitter badge
03/02/2021
- 13:01 hifrog Revision 7648a87d: Merge pull request #2 from usi-verification-and-security/fix-ssa-renamings
- merge Fix SSA renamings into CproverUpgrade5.12
25/01/2021
- 20:54 hifrog Revision 95f88f9b: Merge pull request #1 from usi-verification-and-security/fix-return-instructions
- Merge fix-return-instructions into cprover5.12_update
- 05:14 hifrog Revision 536954cb: delete a redundant header
13/11/2020
21/11/2019
07/10/2019
- 00:15 hifrog Bug #13577 (New): prop incorrect result
- Benchmark: ex21-upg2.c (attached)
How to run:
./hifrog --logic prop ex21-upg2.
Error:
reported as Successful... - 00:11 hifrog Bug #13356 (Resolved): Bug in Hifrog LRA encoding - resulting assertion violation for a safe bench
- This behaviour is Normal and expected in LRA, because LRA does not recognise int, all is Real number!
it is becaus...
26/09/2019
- 13:54 hifrog Bug #13356 (Resolved): Bug in Hifrog LRA encoding - resulting assertion violation for a safe bench
- *Benchmark*: ex13-change-orig.c (attached)
*How to run:*
./hifrog --logic qflra ex13-change-orig.c
*Error:*
...
Also available in: Atom