notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photosAll times are UTC
Ukraine

Bot filter coming soon

To deter bots pegging the database CPU to 100%, a bot testing filter to be added to the website. This should not affect newsfeeds etc. Anubis seems light-weight - it''''''''s already in use within the FreeBSD Project. This notice is just a heads up in case you see something odd. This notice will be updated after Anubis is installed.

non port: devel/uppaal/pkg-descr

Number of commits found: 1

Wednesday, 16 Nov 2005
09:25 vs search for other commits by this committer
Uppaal is an integrated tool environment for modeling, validation
and verification of real-time systems modeled as networks of timed
automata, extended with data types (bounded integers, arrays, etc.).

The tool is developed in collaboration between the Department of
Information Technology at Uppsala University, Sweden and the
Department of Computer Science at Aalborg University in Denmark.

WWW: http://www.uppaal.com/

PR:             ports/84975
Submitted by:   Timothy Bourke
Original commit

Number of commits found: 1