Sepideh Asadi
- Email: sepideh.a65@gmail.com
- Registered on: 16/03/2016
- Last connection: 04/03/2023
Issues
- Assigned issues: 10
- Reported issues: 68
Projects
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
06/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