Artifact | Latest version | Version Count | Packaging | Update time |
---|---|---|---|---|
|- edu.uiowa.cs.clc.kind2.lustre.TypeDef
|- edu.uiowa.cs.clc.kind2.lustre.CastExpr
|- edu.uiowa.cs.clc.kind2.lustre.ContractBuilder
|
0.4.1 | jar | Jun 19, 2024 | |
|- edu.uiowa.cs.clc.kind2.lustre.TypeDef
|- edu.uiowa.cs.clc.kind2.lustre.CastExpr
|- edu.uiowa.cs.clc.kind2.lustre.ContractBuilder
|
0.3.9 | jar | May 23, 2024 | |
|- edu.uiowa.cs.clc.kind2.lustre.TypeDef
|- edu.uiowa.cs.clc.kind2.lustre.CastExpr
|- edu.uiowa.cs.clc.kind2.lustre.ContractBuilder
|
0.3.8 | jar | May 07, 2024 | |
|- edu.uiowa.cs.clc.kind2.lustre.TypeDef
|- edu.uiowa.cs.clc.kind2.lustre.CastExpr
|- edu.uiowa.cs.clc.kind2.lustre.BinaryOp
|
0.3.6 | jar | Jun 21, 2023 | |
|- edu.uiowa.cs.clc.kind2.lustre.TypeDef
|- edu.uiowa.cs.clc.kind2.lustre.CastExpr
|- edu.uiowa.cs.clc.kind2.lustre.BinaryOp
|
0.3.5 | jar | Jun 21, 2023 | |
|- edu.uiowa.cs.clc.kind2.lustre.TypeDef
|- edu.uiowa.cs.clc.kind2.lustre.CastExpr
|- edu.uiowa.cs.clc.kind2.lustre.BinaryOp
|
0.3.4 | jar | Apr 27, 2023 | |
|- edu.uiowa.cs.clc.kind2.lustre.TypeDef
|- edu.uiowa.cs.clc.kind2.lustre.CastExpr
|- edu.uiowa.cs.clc.kind2.lustre.BinaryOp
|
0.3.3 | jar | Apr 20, 2023 | |
|- edu.uiowa.cs.clc.kind2.lustre.TypeDef
|- edu.uiowa.cs.clc.kind2.lustre.CastExpr
|- edu.uiowa.cs.clc.kind2.lustre.BinaryOp
|
0.3.2 | jar | Mar 09, 2023 | |
|- edu.uiowa.cs.clc.kind2.lustre.TypeDef
|- edu.uiowa.cs.clc.kind2.lustre.CastExpr
|- edu.uiowa.cs.clc.kind2.lustre.BinaryOp
|
0.3.1 | jar | Dec 14, 2022 | |
|- edu.uiowa.cs.clc.kind2.lustre.TypeDef
|- edu.uiowa.cs.clc.kind2.lustre.CastExpr
|- edu.uiowa.cs.clc.kind2.lustre.BinaryOp
|
0.3.0 | jar | Jun 07, 2022 | |
|- edu.uiowa.cs.clc.kind2.lustre.RealExpr
|- edu.uiowa.cs.clc.kind2.lustre.ProgramBuilder
|- edu.uiowa.cs.clc.kind2.lustre.ArrayAccessExpr
|
0.2.2 | jar | Jan 23, 2021 | |
|- edu.uiowa.cs.clc.kind2.lustre.RealExpr
|- edu.uiowa.cs.clc.kind2.lustre.ProgramBuilder
|- edu.uiowa.cs.clc.kind2.lustre.ArrayAccessExpr
|
0.2.1 | jar | Jan 15, 2021 | |
|- edu.uiowa.cs.clc.kind2.lustre.RealExpr
|- edu.uiowa.cs.clc.kind2.lustre.ProgramBuilder
|- edu.uiowa.cs.clc.kind2.lustre.ArrayAccessExpr
|
0.2.0 | jar | Jan 14, 2021 | |
|- edu.uiowa.cs.clc.kind2.lustre.RealExpr
|- edu.uiowa.cs.clc.kind2.lustre.ProgramBuilder
|- edu.uiowa.cs.clc.kind2.lustre.ArrayAccessExpr
|
v0.1 | jar | Jan 13, 2021 | |
|- edu.uiowa.cs.clc.kind2.lustre.RealExpr
|- edu.uiowa.cs.clc.kind2.lustre.ProgramBuilder
|- edu.uiowa.cs.clc.kind2.lustre.ArrayAccessExpr
|
0.1 | jar | Jan 06, 2021 |