Commits

Branch selector

 recorder

User selector

All users

All time

Commit History

Commits on Oct 10, 2022

• WIP

  alcides

  committed
  2b6eaf7

  Copy full SHA for 2b6eaf7

Commits on Sep 30, 2022

• also allow split refinements in @refinement and @refinementpredicate

  CatarinaGamboa

  committed
  ae57bd3

  Copy full SHA for ae57bd3

• Allow split of strings in state refinements

  CatarinaGamboa

  committed
  dc99526

  Copy full SHA for dc99526

Commits on Sep 28, 2022

• add iterator as test cases

  CatarinaGamboa

  committed
  05fc52b

  Copy full SHA for 05fc52b

• Merge pull request #5 from CatarinaGamboa/source_cleanup

  Show description for f000e91
  CatarinaGamboa

  authored
  f000e91

  Copy full SHA for f000e91

• Formatted again

  alcides

  committed
  a79c11c

  Copy full SHA for a79c11c

• More code cleanup

  alcides

  committed
  2bc84f2

  Copy full SHA for 2bc84f2

• Modernized Optional usage

  alcides

  committed
  c902238

  Copy full SHA for c902238

• Added autoformatter

  alcides

  committed
  d320ad9

  Copy full SHA for d320ad9

Commits on Sep 27, 2022

• Cleaned source

  alcides

  committed
  e6dd86a

  Copy full SHA for e6dd86a

Commits on Sep 20, 2022

• fix bug preventig iterator example to work - use of boolean variables inside if statements

  

  Catarina Gamboa

  committed
  8534806

  Copy full SHA for 8534806

Commits on Jul 1, 2022

• start inference of state changes in parameters

  CatarinaGamboa

  committed
  5701592

  Copy full SHA for 5701592

• Add example with account. Minor fix to only check the main refinement of parameters in the invocation

  CatarinaGamboa

  committed
  f785018

  Copy full SHA for f785018

Commits on Apr 26, 2022

• Merge branch 'master' of https://github.com/CatarinaGamboa/liquid-java

  CatarinaGamboa

  committed
  1943287

  Copy full SHA for 1943287

• make setup simpler

  CatarinaGamboa

  committed
  ef83219

  Copy full SHA for ef83219

• add javadoc to annotations

  CatarinaGamboa

  committed
  c2e9d22

  Copy full SHA for c2e9d22

• Update README.md

  CatarinaGamboa

  authored
  74176f9

  Copy full SHA for 74176f9

Commits on Jul 12, 2021

• Update LiquidJava Evaluation with Hands-on Study.md

  CatarinaGamboa

  authored
  5959357

  Copy full SHA for 5959357

• Update the study guide

  CatarinaGamboa

  committed
  baad81e

  Copy full SHA for baad81e

Commits on Jun 13, 2021

• Add verification for external object invocations in operations

  CatarinaGamboa

  committed
  2e1cb25

  Copy full SHA for 2e1cb25

Commits on Jun 2, 2021

• Add readme for hands on study

  CatarinaGamboa

  committed
  5271ccf

  Copy full SHA for 5271ccf

• Remove unnecessary files

  CatarinaGamboa

  committed
  c42dac1

  Copy full SHA for c42dac1

• Merge pull request #4 from CatarinaGamboa/antlr

  Show description for ee0d0a6
  CatarinaGamboa

  authored
  ee0d0a6

  Copy full SHA for ee0d0a6

• Solve error that was not being sent to ErrorEmitter yet

  CatarinaGamboa

  committed
  91d4fff

  Copy full SHA for 91d4fff

Commits on May 31, 2021

• Remove null initialization

  CatarinaGamboa

  committed
  578a1e7

  Copy full SHA for 578a1e7

Commits on May 26, 2021

• Error when lauching spoon with a workspace that contains a spooned folder

  CatarinaGamboa

  committed
  743d698

  Copy full SHA for 743d698

Commits on May 24, 2021

• Confirm user name change

  CatarinaGamboa

  committed
  b662451

  Copy full SHA for b662451

• Add remaining examples

  

  Catarina Ventura Gamboa

  committed
  f049494

  Copy full SHA for f049494

• Change each project to a separate project

  

  Catarina Ventura Gamboa

  committed
  7e02ba0

  Copy full SHA for 7e02ba0

• Add liquidJava part3 examples

  

  Catarina Ventura Gamboa

  committed
  0ec2c53

  Copy full SHA for 0ec2c53

• Add the plain Java part3 examples

  

  Catarina Ventura Gamboa

  committed
  912ceca

  Copy full SHA for 912ceca

Commits on May 23, 2021

• Add example for external libs state refinement

  Show description for 6c91a2b
  CatarinaGamboa

  authored
  6c91a2b

  Copy full SHA for 6c91a2b

Commits on May 20, 2021

• Update LiquidJava Evaluation with Hands-on Study.md

  CatarinaGamboa

  authored
  ccd994c

  Copy full SHA for ccd994c

• Merge pull request #3 from CatarinaGamboa/antlr

  Show description for bd709a4
  CatarinaGamboa

  authored
  bd709a4

  Copy full SHA for bd709a4

• Update LiquidJava Evaluation with Hands-on Study.md

  CatarinaGamboa

  authored
  d2d63b0

  Copy full SHA for d2d63b0

Pagination

Previous

Next