General

Profile

Mikhail Mandrykin

Issues

Projects

Activity

04/19/2019

05:54 PM Crude_slicer Revision f34f11f7 (crude_slicer): Fixed condition oredering in Refresh, previously V.compare was used by Make_stable, not the order from Opt.edges
Mikhail Mandrykin

04/18/2019

10:54 PM Crude_slicer Revision 787c8ccc (crude_slicer): Try to approximate undefined behavior on integer arithmetic
(division by zero, negative left shift etc... although this is a hack, we reuse Zarith's checks instead of proper C s... Mikhail Mandrykin
10:20 PM Crude_slicer Revision 237993f2 (crude_slicer): Change ite_limit back to 32, there are a significant number of __complex_emg examples that can be proved safe this way
Mikhail Mandrykin
09:23 PM Crude_slicer Revision 77603e60 (crude_slicer): Small tweaks in hope to slightly improve speed
Mikhail Mandrykin
06:04 PM Crude_slicer Revision 8f5f61e7 (crude_slicer): Optimized if condition ordering in switch rewriting
Mikhail Mandrykin
05:37 PM Crude_slicer Revision adfedbb5 (crude_slicer): Fixes to the implicaiton resolver
Mikhail Mandrykin
03:35 PM Crude_slicer Revision a623f17c (crude_slicer): Fixed utterly wrong definition and uses of `decide' in Opt and Ord
Mikhail Mandrykin
03:02 PM Crude_slicer Revision 3c7900da (crude_slicer): Additional simplification of casts from boolean expressions -- they are 1 or 0 and thus belong to any integral type
Mikhail Mandrykin

04/17/2019

09:06 PM Crude_slicer Revision 098cba5b (crude_slicer): DIRTY HACK: increase ite_limit based on integer global var count
Mikhail Mandrykin
09:05 PM Crude_slicer Revision e137e87a (crude_slicer): Implement the same region analysis hack as in AstraVer to avoid clashes in Symbolic
Mikhail Mandrykin

Also available in: Atom