Changes between Version 34 and Version 35 of DeveloperPage


Ignore:
Timestamp:
10/02/24 20:54:35 (20 months ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • DeveloperPage

    v34 v35  
    1313* [http://vsl.cis.udel.edu/lib/sw/civl All Releases]
    1414* [wiki:WikiStart] User Page
    15 * [wiki:Changes2023]
    16 * [wiki:IR] : CIVL-IR (old)
    17 * [wiki:IR2] : CIVL-IR (new)
    18 * [wiki:LAST]: Low-level AST
    19 * [wiki:DataStructures]
    20 * [wiki:Arrays]
    21 * [wiki:Pointers]
    22 * [wiki:Choose]
    23 * [wiki:MessagePassing]
    24 * [wiki:OmnibusChanges]
    25 * [wiki:ContractReduction]
    26 * [wiki:VerificationWithContracts]
    27 * [wiki:CommonHelperFunctionsForDifferentParallelLanguage]
     15* [wiki:PFG] Parallel Flow Graph low-level IR
     16* [wiki:PIL] Parallel Intermediate Language high-level IR
    2817
    2918== Tool Development ==
    … …  
    9483* [wiki:2018_07_05] C Implementation of Naive Decision Tree
    9584* [wiki:IntDivOperations]
     85* [wiki:Changes2023]
     86* [wiki:IR] : CIVL-IR (old)
     87* [wiki:IR2] : CIVL-IR (new)
     88* [wiki:LAST]: Low-level AST
     89* [wiki:DataStructures]
     90* [wiki:Arrays]
     91* [wiki:Pointers]
     92* [wiki:Choose]
     93* [wiki:MessagePassing]
     94* [wiki:OmnibusChanges]
     95* [wiki:ContractReduction]
     96* [wiki:VerificationWithContracts]
     97* [wiki:CommonHelperFunctionsForDifferentParallelLanguage]