Error while installing Nitrogen
Big thanks guys. Evidently I had set ERL_LIBS sometime back not fully understanding the implications. The ERL_LIBS value was orphaned when I deleted the library directory. So, unset ERL_LIBS did the trick. Nitrogen is now installed. Re hosed Erlang installation: thanks to tip from Bob Ippolito, I purged Erlang from...
Best way to log access to web pages
Each underlying webserver does it differently (or not at all) - this is something simple_bridge does not yet have abstracted. So in the case of cowboy, you'll likely have to rig it up yourself. If you're using a newer build of Nitrogen (if you have the file site/src/nitrogen_main_handler.erl), then you...
Determine HTTP method type
Adding Nitrogen as a dependency requires a few more steps than just adding the base nitrogen application as a dependency, since each request requires a setup and teardown, and the Nitrogen server need to be started. The simplest way to add Nitrogen to an existing application is to use the...
Frama-C: Jessie plugin can't prove bitwise-or safety (w.r.t. overflow)
c,overflow,frama-c,nitrogen,bitwise-or
which language is that? This is Why either in its version 2 or in its version 3 (the transition was about at the time of the version you use). the following condition cannot be proved […]: 0 <= bw_or(integer_of_uint32(result7), integer_of_uint32(result8)) It is always difficult to decide how to axiomatize...