Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • main default protected
  • master
2 results
Created with Raphaël 2.2.04Jan331Dec2416151488Sep31Jan3010876319Jun4Apr19Mar151423Feb131217Jan161121Nov96530Oct2928262524221121Sep2025Jul12111098767653230Jun292827262522212019181716151413121130May26252422211298654329Apr2726252420177643230Mar2861some outstanding issues with 4 and 5work on section 3the contract models sectionmore introfinish new lr sectionalmost all of lr sectionfinish updates to one of the sections at least :)more slogmore changessection 2 fixesmore section 2some intro changesjfp reviewsadd conflict of interest thing for the jfp submissionfix the off the page overfull hboxes in the suppspell checkupdate proofs using upcast/downcast lemmas, add new contributionsget references right in the supp, say supp not extended versiondynamism to precisionfinish suppsupp for decomplexificationtwo sections of the suppfix overflows, broken refs, broken citesdelete some old commentsembiggen the discussion sectionembiggen the decomplexification and logical relation sectionsembiggen the gtt to cbpv sectionfix some space stuff, use overlines in the cast lemmasMerge branch 'master' of github.ccs.neu.edu:coqatoos/cbv-gradual-type-theoryintro editsthe cbv to gtt sectionfinish updates on sec 3 (biggest changes)Merge branch 'master' of github.ccs.neu.edu:coqatoos/cbv-gradual-type-theoryintro editsmove stuff around, finish least dyn subsectionMerge branch 'master' of github.ccs.neu.edu:coqatoos/cbv-gradual-type-theoryintro editscheckinexpanding figuresfix bibliography issues