- Email: email@example.com
- Registered on: 16/03/2016
- Last connection: 06/02/2023
- 12:27 hifrog Revision 7b3e168e: Merge pull request #4 from usi-verification-and-security/error-trace-fix
- Fix Error Trace
- 13:38 hifrog Revision 7a2bb916: add Gitter badge
- 13:01 hifrog Revision 7648a87d: Merge pull request #2 from usi-verification-and-security/fix-ssa-renamings
- merge Fix SSA renamings into CproverUpgrade5.12
- 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
- 00:15 hifrog Bug #13577 (New): prop incorrect result
- Benchmark: ex21-upg2.c (attached)
How to run:
./hifrog --logic prop ex21-upg2.
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...
- 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
Also available in: Atom