GitHub PushEvent at 2014-06-22 16:42:59
Repository: vml
Actor: xrchz
Payload: {"shas":[["7774b048493dca857251e80ad453fd4f04b96d7e","4e9e50b5d0f80819758cc85d7b06abc0007a7fde@member.fsf.org","prove COMPILER_RUN_INV_repl_step\n\nwith a cheat about nothing in the globals of the bootstrap_bc_state\nbeing NONE; the invariants in the early languages aren't really set up\nto prove this semantically. if we can't/don't want to prove this by\nevaluation, then they should probably be strengthened (I'm thinking of\nglobal_env_inv).","Ramana Kumar",true]],"size":1,"ref":"refs/heads/master","head":"7774b048493dca857251e80ad453fd4f04b96d7e"}