☂️ Gillian 1.0

[giltho]

This serves as a megathread for issues to be fixed for "Gillian 1.0", whenever that may be.

• [ ] Core functionality / bugs

  • [x] #113
  • [x] #151
  • [x] #152
  • [ ] #162
  • [x] #164
  • [ ] #166
  • [ ] #174
  • [x] #182
  • [ ] #211

• [ ] Cleanup

  • [ ] #4
  • [x] #126
  • [ ] #127
  • [ ] #131
  • [ ] #140
  • [ ] #144
  • [ ] #159
  • [ ] #179
  • [ ] #191
  • [x] #196
  • [x] #204
  • [ ] #236

• [ ] Documentation

  • [x] #123
  • [ ] #198
  • [ ] #199
  • [x] #200

• [ ] Performance

  • [ ] #7
  • [ ] #8
  • [ ] #146
  • [ ] #163
  • [ ] #178

• [ ] Debugger / Lifter

  • [ ] #145
  • [ ] #147
  • [ ] #148
  • [ ] #149
  • [ ] #153
  • [x] #170
  • [x] #171
  • [x] #175
  • [x] #176
  • [ ] #181
  • [ ] #194
  • [x] #201
  • [ ] #220

• [x] Old objectives Original issue reads: This is the umbrella issue for putting the Gillian implementation back on track. With all the projects and experiments being conducted as well as preparing the artifacts, the project is a bit unstable, CI is not passing and there are broken features and disabled tests.

  • [x] #78
  • [x] #86
  • [x] #126
  • [x] Fix Test262 (covered by #113; Test262 has already been fixed)
  • [x] Fix the entire CI - fixed in #184

[giltho]

@Nat rename this as "Gillian 1.0" and write a proper checklist

[NatKarmios]

Okay, done, this is a bit of a megathread on issues now.

[NatKarmios]

@giltho feel free to elaborate on / prune some of these when you get the time