Commits · f0dc2e04a4618fa7ac94219e6a449227959ccbed · LARA / lisa · GitLab

Snippets Groups Projects

Jun 17, 2022
- Continued work on theory DSL · f0dc2e04
  SimonGuilloud authored 3 years ago
  
  f0dc2e04
Jun 13, 2022
- Code reorganization and helpers · 3c5d0418
  SimonGuilloud authored 3 years ago
  3c5d0418
- Ran scalafmt · 6d3790d5
  SimonGuilloud authored 3 years ago
  
  6d3790d5
- updating the presentation of proofs and theories. · be0bb767
  SimonGuilloud authored 3 years ago
  
  be0bb767
Jun 11, 2022
- Rename TheorySymbol to ConstantLabel. Add SchematicLabel marker for symmetry · 05e41300
  Katja Goltsova authored 3 years ago
  
  05e41300
- Allow adding only constant (as opposed to schematic) symbols to a running theory · 3f6c0c15
  Ekaterina Goltsova authored 3 years ago
  3f6c0c15
- Run scalafix on all project files · a3e9f5d4
  Katja Goltsova authored 3 years ago
  
  a3e9f5d4
Jun 09, 2022
- Added scalafmt, scalafix and github ci as suggested in... · 4aa5b9a7
  SimonGuilloud authored 3 years ago
  4aa5b9a7
May 15, 2022
- Correction of small error regarding function and predicate definition. · 40d00f25
  SimonGuilloud authored 3 years ago
  
  40d00f25
Apr 15, 2022
- Multiple changes to the running theories: · 1002eb5a
  SimonGuilloud authored 3 years ago
  1002eb5a
Mar 25, 2022
- - Added kernel helper functions to instantiate schematic predicate or function in a whole sequent · a310af53
  SimonGuilloud authored 3 years ago
  a310af53
Feb 15, 2022
- Initial Commit · 0de11974
  SimonGuilloud authored 3 years ago
  0de11974