Commits · e4ab8f41d58af2c117d72505acdb9dbbee62e17a · LARA / lisa · GitLab

Snippets Groups Projects

Oct 03, 2022
- Use scallion printer in printer tests · e4ab8f41
  Katja Goltsova authored 2 years ago
  
  e4ab8f41
- Make 'and' and 'or' connectors in printer test left-associative · 3f36ab99
  Katja Goltsova authored 2 years ago
  
  3f36ab99
- Move sequent parsing into the scallion parser · fe46ea4a
  Katja Goltsova authored 2 years ago
  fe46ea4a
- Add a parser for LISA kernel · ccd5990a
  Katja Goltsova authored 2 years ago
  ccd5990a
Sep 19, 2022
- Require that PredicateFormula's and ConnectorFormula's args correspond to the label's arity · 4be9a1aa
  Katja Goltsova authored 2 years ago
  4be9a1aa
Jul 19, 2022
- Changed printer test. · 620f7056
  SimonGuilloud authored 2 years ago
  620f7056
Jun 23, 2022
- Re-enable scalafix/scalafmt, re-format everything · fbc8c0df
  Florian Cassayre authored 2 years ago
  
  fbc8c0df
- Complete re-organization into separate modules · 9f9f285a
  Florian Cassayre authored 2 years ago
  
  9f9f285a