General

Profile

Sepideh Asadi

Issues

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

01:32 hifrog Revision ea67a489: fix error: catching polymorphic type

21/11/2019

19:56 hifrog Revision baf09aea: fix compilation errors complained by linux server

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