Programming Languages Research Group: Git - cdsspec-compiler.git/atom logThis is the public repository for the CDSSpec specification compiler.http://plrg.eecs.uci.edu/git/?p=cdsspec-compiler.gitPeizhao Oustatic/git-favicon.pngstatic/git-logo.png2016-12-07T21:29:57Zgitwebedits2016-12-07T21:29:57ZPeizhao Oupeizhaoo@uci.eduPeizhao Oupeizhaoo@uci.edu2016-12-07T21:29:57Zhttp://plrg.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=commitdiff;h=779ed9b283d72b689dc8ce8cfda162f7a2f66081
add support for "C_RET, S_RET, JustifyingPre/Postconditions"2016-07-12T08:58:40ZPeizhao Oupeizhaoo@uci.eduPeizhao Oupeizhaoo@uci.edu2016-07-12T08:58:40Zhttp://plrg.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=commitdiff;h=6c052684208c5c9350ae50d532031ea0ee073d40
add support for "C_RET, S_RET, JustifyingPre/Postconditions"
add support for unattached ordering points2016-03-04T23:20:25ZPeizhao Oupeizhaoo@uci.eduPeizhao Oupeizhaoo@uci.edu2016-03-04T23:20:25Zhttp://plrg.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=commitdiff;h=9b8cea33592559e9a8b351fba6ddd05618d7cc80
allow shorter spec --- @Interface is not mandatory2016-03-03T22:45:46ZPeizhao Oupeizhaoo@uci.eduPeizhao Oupeizhaoo@uci.edu2016-03-03T22:45:46Zhttp://plrg.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=commitdiff;h=d9e508585c6a61b781f2cc6beeac3b8e7ecc402c
allow shorter spec --- @Interface is not mandatory