Alexey Khoroshilov

  • Email:
  • Registered on: 11/25/2009
  • Last connection: 04/19/2017

Projects

Activity

Reported issues: 378

06/20/2017

07:08 pm Klever Feature #6732: Support non-system architectures
But what is about documenting
> adding a couple of source lines with additional build command options.
?
04:55 pm Requality Wiki edit: Requality-installation (#20)
04:55 pm Requality Wiki edit: Requality-installation (#19)
04:54 pm Requality Wiki edit: Requality-installation (#18)
04:54 pm Requality Wiki edit: Requality-installation (#17)

06/19/2017

09:24 pm Klever Feature #6732: Support non-system architectures
Ilja Zakharov wrote:
> Yes, a new architecture can be supported by adding a couple of source lines with additional b...

04/26/2017

08:47 pm Klever Feature #8175: Add support for high-level interface to static verifiers
Adapters is definitely a good pattern for integration external tools.
Good to see we have it again.
08:42 pm Klever Feature #8170: Set maximum restrictions for verification tasks at Bridge web interface
I guess different schedulers have different sets of supported restrictions.
Should Bridge support just a hardcoded s...

04/19/2017

07:36 pm Klever Feature #6906: Make VTG strategies task decision requests delay configurable
I have said about DBs
> May be task queues should be managed using something like "RethinkDB":https://rethinkdb.com ...

04/17/2017

02:54 pm Klever Bug #8076: Improve model for ieee80211_alloc_hw
ieee80211_alloc_hw() just allocates data structure, it is registered by ieee80211_register_hw().
See:
http://ldvs...

Also available in: Atom