{"push_id":1392549531,"size":3,"distinct_size":3,"ref":"refs/heads/aes1","head":"2b19463ce4a412b715d71f2d50f148e2888673fc","before":"cb3cedbdfd19080dcd61dc9f9d6fe28cfa53a485","commits":[{"sha":"9bae9a781f3ffb407fc9d8386b63d348f6483d2e","author":{"name":"Samuel Gruetter","email":"f83a8d9256380a74d5812d1483045cc0f990094e@epfl.ch"},"message":"wip on writing load_tac using only semax_SC_field_load_general, but\n\nProblem: We can't do 'solve as many subgoals as possible until first fails'.\nAnd insight: Probably semax_SC_field_load' is enough for the general case, we could get rid of nested_efield","distinct":true,"url":"https://api.github.com/repos/samuelgruetter/VST/commits/9bae9a781f3ffb407fc9d8386b63d348f6483d2e"},{"sha":"572e32276d236a091fee37eded70cf8ffe87a394","author":{"name":"Samuel Gruetter","email":"f83a8d9256380a74d5812d1483045cc0f990094e@epfl.ch"},"message":"mv progs/verif_load_demo.v progs/verif_load_demo_general.v","distinct":true,"url":"https://api.github.com/repos/samuelgruetter/VST/commits/572e32276d236a091fee37eded70cf8ffe87a394"},{"sha":"2b19463ce4a412b715d71f2d50f148e2888673fc","author":{"name":"Samuel Gruetter","email":"f83a8d9256380a74d5812d1483045cc0f990094e@epfl.ch"},"message":"wip on writing a load_tac which always uses semax_max_path_field_load_nth_ram'","distinct":true,"url":"https://api.github.com/repos/samuelgruetter/VST/commits/2b19463ce4a412b715d71f2d50f148e2888673fc"}]}
{"actor":{"display_login":"samuelgruetter"}}