source:

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Graph Diff Rev Age Author Log Message
(edit) @fe065c3   5 years pabuhr new CFA generator and qthreads tests ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @d7f24b2   5 years pabuhr use floating point for all calculations ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @aca144e   5 years pabuhr formatting ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @9504a89   5 years pabuhr remove old code for costing ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @d4e68a6   5 years pabuhr move location of active_xxx routines, and counter for number … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @dc33b5b   5 years pabuhr update benchmarks and add benchmarks for qthreads ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @49dee5e   5 years pabuhr change thread name from Gortn to GoRtn? ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @3aa1d22   5 years pabuhr change from C to CFA for statements in example programs ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @d38c4b4   5 years pabuhr add thread bounded-bounder example ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @9af00d23   5 years a3moss Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @b8524ca   5 years a3moss new AST porting * mostly InitTweak? autogeneration * added some … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @f5edcb4   5 years ajbeach RenameVars? needed a rather significant rework for the new AST. ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @234b1cb   5 years a3moss Port TupleAssignment? to new AST ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @c0f9efe   5 years a3moss Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @b69233a   5 years a3moss Port assertion satisfaction to new AST ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @1ae47de   5 years ajbeach Convert now handles attributes on types. ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @17a0ede2   5 years a3moss Further resolver porting; finish initial draft of expression handling ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @3fc0f2a   5 years a3moss Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @c829320   5 years a3moss Hoist attributes back up to Type in new AST ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @5aa4656   5 years ajbeach Filled in SpecCost? and PolyCost? for the new ast. ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @f52ce6e   5 years pabuhr Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @4487667   5 years pabuhr fix small wording problems in concurrency paper from Section 5 to end ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @73edfe9   5 years a3moss Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @898ae07   5 years a3moss More resolver porting ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @b408364   5 years a3moss Correct over-aggressive assertion pruning ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @a2a85658   5 years mlbrooks Fixed conversion of tuple assignments to reuse the common part … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @c8e4d2f8   5 years a3moss Start porting CastExpr? resolution ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @bc92bee   5 years ajbeach Implemented Tuples::maybeImpure while it was fresh in my mind. ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @07ca4dd   5 years pabuhr Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @8220e50   5 years pabuhr fix small wording problems in concurrency paper up to Section 5 ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @54b3fde   5 years pabuhr formatting ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @ea05f8d   5 years a3moss Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @9d5089e   5 years a3moss Port CandidateFinder::makeFunctionCandidates() and deps ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @e6faef4   5 years ajbeach One DeclWithType::asmName conversion was missing. ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @b910d15   5 years ajbeach Implemented new versions of Tuples/Explode?. ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @6e55240   5 years mlbrooks Fixed tuple expressions crashing on code gen when convert-convert run … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @800bae1   5 years pabuhr Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @89faa82   5 years pabuhr PDF for first version of concurrency paper ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @bd12159   5 years pabuhr complete draft for second version of concurrency paper ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @aba20d2   5 years Thierry Delisle Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @8b34df0   5 years Thierry Delisle Removed incorrect copying in InferredParameters? conversion ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @120a28c3   5 years Thierry Delisle Added support for address-sanitizer which requires disabling Heap … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @b4d34fa   5 years mlbrooks add previously ignored file---goes with Fixed handling of literals.cfa ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @c36298d   5 years mlbrooks Fixed handling of "literals.cfa" string-detail test cases by … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @462a7c7   5 years Thierry Delisle Removed non-moving assignment on ParamEntry? to help debugging ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @6a1dfda   5 years pabuhr Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @dc5072f   5 years pabuhr remove const char * input because of error ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @6896548   5 years mlbrooks Fixed convert-convert issues with strings, when conversion happens … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @d76f32c   5 years ajbeach ast::UniqueExpr? was not having one of its fields initialized. ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @d60780c   5 years pabuhr Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @d7a02ae   5 years pabuhr first complete draft of new concurrency paper ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @21300d7   5 years Thierry Delisle Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @aaeacf4   5 years Thierry Delisle Removed global look-up table from UniqueId? to Decl ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @6625727   5 years pabuhr Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @04396aa   5 years pabuhr formatting, add const char * and char * sin operators, add skip( n ) … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @432ce7a   5 years a3moss Port CandidateFinder::postvisit for UntypedExpr?, stub dependencies ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @4b7cce6   5 years a3moss Fill in CandidateFinder? boilerplate in resolver port ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @3da7c19   5 years a3moss Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @d57e349   5 years a3moss More resolver porting ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @8548c35   5 years pabuhr fix 32-bit test ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @6ad19fd   5 years pabuhr Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @b326277   5 years pabuhr add cast to prevent infinite type resolution ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @86a8be5   5 years pabuhr not wd with char type, and update test appropriately ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @396037d   5 years a3moss Start stubbing CandidateFinder? in ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @5485e10   5 years a3moss Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @2773ab8   5 years a3moss Add new resolver overload for WaitForStmt? ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @558d13b   5 years mlbrooks fix conversion bug in constants; string constants were being mistaken … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @6949c45   5 years pabuhr Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @891b827   5 years pabuhr change type of wd and pc, fix missing scanset initialization ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @b117e0c   5 years pabuhr formatting ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @f9a7cf0   5 years a3moss Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @2d11663   5 years a3moss resolver porting; finish top level of initialization ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @ca8824d   5 years pabuhr add manipulator input and output tests ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @6e3e0717   5 years Thierry Delisle Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @6355ba7   5 years Thierry Delisle Removed debugging prints which are no longer useful ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @a62749f   5 years ajbeach Better support for loose labels. ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @e7f8119   5 years Thierry Delisle Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @61c7239   5 years pabuhr first attempt input/output manipulators ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @1e6ea4e1   5 years pabuhr formatting, add builtin_complex ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @46438e4   5 years pabuhr Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @05d55ff   5 years a3moss Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @60aaa51d   5 years a3moss More resolver porting; mostly CurrentObject? ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @9856ca9   5 years Thierry Delisle Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @e16e27e1   5 years Thierry Delisle Fix to WithGuards? accessory which didn't work ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @be8518f   5 years ajbeach Fixed up AssertAcyclic?. ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @ef75948   5 years Thierry Delisle Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @4e5e6cc   5 years Thierry Delisle Fixed indentation and remove too strict abort ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @9151fcb   5 years Thierry Delisle Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @0b73f0c   5 years Thierry Delisle More progress on the conversion pass ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @866545b   5 years pabuhr Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @5684736   5 years a3moss Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @2b59f55   5 years a3moss More resolver porting ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @7cc0344   5 years ajbeach Added a checker that should help debug cycles in new AST. ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @1a4323e   5 years a3moss Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @f46bfd2f   5 years Thierry Delisle Removed extraneous prints ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @8c0d801   5 years a3moss Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @b7d92b96   5 years a3moss More resolver porting ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @d3b2c32a   5 years a3moss Add limit to number of recursive assertions tried at once ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @546e712   5 years Thierry Delisle Fix for 1 bug of N ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @2a54479   5 years ajbeach Convert persevers Validate::SizeType?. Removed the inCache checks I'm … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
Note: See TracRevisionLog for help on using the revision log.