Code

No link#107

Code

Merged

massimotisi merged 43 commits intoatlanmod:masteratlanmod/coqtl:masterfrom massimotisi:no-linkmassimotisi/CoqTL:no-linkCopy head branch name to clipboardFeb 8, 2022

+875-1,805

Commits

Commits on Jan 22, 2022

• disabling certifications in core/test

  massimotisi

  committed
  ccbb1b7

  Copy full SHA for ccbb1b7

• Update README.md

  veriatl

  committed
  3e7a738

  Copy full SHA for 3e7a738

• Update Confluence.v

  veriatl

  committed
  8d4ab1e

  Copy full SHA for 8d4ab1e

• Merge branch 'no-link' of https://github.com/massimotisi/CoqTL into no-link

  veriatl

  committed
  84fb224

  Copy full SHA for 84fb224

• Update README.md

  veriatl

  committed
  24c9e37

  Copy full SHA for 24c9e37

• Update README.md

  veriatl

  committed
  8eff1cc

  Copy full SHA for 8eff1cc

• Update README.md

  veriatl

  committed
  08804a0

  Copy full SHA for 08804a0

Commits on Jan 25, 2022

• Update README.md

  veriatl

  committed
  9738db1

  Copy full SHA for 9738db1

Commits on Jan 28, 2022

• updates to README

  massimotisi

  committed
  bc2465b

  Copy full SHA for bc2465b

Commits on Jan 29, 2022

• fix confluence

  veriatl

  committed
  5f99288

  Copy full SHA for 5f99288

• moore2mealy ecores

  veriatl

  committed
  b4368e6

  Copy full SHA for b4368e6

• coq ecores of moore2mealy

  veriatl

  committed
  be55fe3

  Copy full SHA for be55fe3

• tr of moore2mealy

  veriatl

  committed
  2adae21

  Copy full SHA for 2adae21

• Update _CoqProject

  veriatl

  committed
  786494e

  Copy full SHA for 786494e

• Update Moore2Mealy.v

  veriatl

  committed
  45b4e49

  Copy full SHA for 45b4e49

• add model to moore2mealy

  veriatl

  committed
  0d8e646

  Copy full SHA for 0d8e646

• Update _CoqProject

  veriatl

  committed
  8d97177

  Copy full SHA for 8d97177

• add xmi file

  veriatl

  committed
  dfb1550

  Copy full SHA for dfb1550

Commits on Jan 31, 2022

• simplifying Moore2Mealy

  massimotisi

  committed
  8a94fa2

  Copy full SHA for 8a94fa2

• fixing resolve

  massimotisi

  committed
  8dc70a9

  Copy full SHA for 8dc70a9

• removing helper

  massimotisi

  committed
  7c3acd3

  Copy full SHA for 7c3acd3

• fixing resolve again

  massimotisi

  committed
  c80226c

  Copy full SHA for c80226c

• adding Moore2Mealy to README

  massimotisi

  committed
  1c15031

  Copy full SHA for 1c15031

• adding coq highlighting

  massimotisi

  committed
  5ad981c

  Copy full SHA for 5ad981c

• fixed indenting

  massimotisi

  committed
  ab35a48

  Copy full SHA for ab35a48

• introducing CoqTL and example

  massimotisi

  committed
  c6bb97c

  Copy full SHA for c6bb97c

• updating README

  massimotisi

  committed
  2cf1f55

  Copy full SHA for 2cf1f55

• reducing indenting

  massimotisi

  committed
  3e87f34

  Copy full SHA for 3e87f34

• separating rules

  massimotisi

  committed
  deccec9

  Copy full SHA for deccec9

• Merge branch 'master' of https://github.com/atlanmod/CoqTL into no-link

  massimotisi

  committed
  e0a8cf8

  Copy full SHA for e0a8cf8

• adding link to full code

  massimotisi

  committed
  7a860a2

  Copy full SHA for 7a860a2

• fix

  massimotisi

  committed
  93b5320

  Copy full SHA for 93b5320

• vscode tasks

  massimotisi

  committed
  7881ceb

  Copy full SHA for 7881ceb

• beautify code

  massimotisi

  committed
  1e46332

  Copy full SHA for 1e46332

Commits on Feb 2, 2022

• update model-import jar

  veriatl

  committed
  0cf0a7d

  Copy full SHA for 0cf0a7d

• add export to all instances

  veriatl

  committed
  24f03c2

  Copy full SHA for 24f03c2

Commits on Feb 8, 2022

• add basic engine

  veriatl

  committed
  a28e9a5

  Copy full SHA for a28e9a5

• remove certification from test engine

  veriatl

  committed
  d3bcec1

  Copy full SHA for d3bcec1

• Update _CoqProject

  veriatl

  committed
  c32cd25

  Copy full SHA for c32cd25

• remove certification from basic engine

  veriatl

  committed
  a5ce53f

  Copy full SHA for a5ce53f

• Update _CoqProject

  veriatl

  committed
  04c7a1a

  Copy full SHA for 04c7a1a

• fix type bug in test engine

  veriatl

  committed
  a490e27

  Copy full SHA for a490e27

• removing test and basic folders

  massimotisi

  committed
  26e18b7

  Copy full SHA for 26e18b7