Commits · 6d3790d580ed39bbe49d79c24bc13daf0f04403f · LARA / lisa · GitLab

Snippets Groups Projects

Jun 13, 2022
- Ran scalafmt · 6d3790d5
  SimonGuilloud authored 2 years ago
  
  6d3790d5
- isolated theory improvement to push other changes. · 3ca7abda
  SimonGuilloud authored 2 years ago
  
  3ca7abda
- continued work on theories presentation · 24087841
  SimonGuilloud authored 2 years ago
  
  24087841
- updating the presentation of proofs and theories. · be0bb767
  SimonGuilloud authored 2 years ago
  
  be0bb767
- refactoring · 7121b9e4
  SimonGuilloud authored 2 years ago
  
  7121b9e4
Jun 11, 2022
- Fix CI · a2b5d1fb
  Florian Cassayre authored 2 years ago
  
  a2b5d1fb
- Rename TheorySymbol to ConstantLabel. Add SchematicLabel marker for symmetry · 05e41300
  Katja Goltsova authored 2 years ago
  
  05e41300
- Allow adding only constant (as opposed to schematic) symbols to a running theory · 3f6c0c15
  Ekaterina Goltsova authored 2 years ago
  3f6c0c15
- In the CI, run scalafix and scalafmt on the entire project · c16fb0d0
  Katja Goltsova authored 2 years ago
  
  c16fb0d0
- scalafmt .sbt files · 3a34150a
  Katja Goltsova authored 2 years ago
  
  3a34150a
- Run scalafix on all project files · a3e9f5d4
  Katja Goltsova authored 2 years ago
  
  a3e9f5d4
- Format src/test with scalafmt · 96edf1fe
  Katja Goltsova authored 2 years ago
  
  96edf1fe
- Update .gitignore for more build tools and IDEs · 7026373a
  Katja Goltsova authored 2 years ago
  
  7026373a
Jun 09, 2022
- Added scalafmt, scalafix and github ci as suggested in... · 4aa5b9a7
  SimonGuilloud authored 2 years ago
  4aa5b9a7
- Corrected a bug in the equivalence checker. Due to small optimisations, part... · 0bf3da19
  SimonGuilloud authored 2 years ago
  0bf3da19
May 15, 2022
- Merge pull request #11 from SimonGuilloud/main · e5c8bd0d
  SimonGuilloud authored 3 years ago
  e5c8bd0d
- Fix missing line. · 432d5ebb
  SimonGuilloud authored 3 years ago
  
  432d5ebb
- Merge branch 'main' of https://github.com/SimonGuilloud/lisa · 3ee23571
  SimonGuilloud authored 3 years ago
  
  3ee23571
- Fix to missing case in printer match. · 5df53bfc
  SimonGuilloud authored 3 years ago
  
  5df53bfc
- Merge branch 'epfl-lara:main' into main · 61776116
  SimonGuilloud authored 3 years ago
  
  61776116
- Correction of small error regarding function and predicate definition. · 40d00f25
  SimonGuilloud authored 3 years ago
  
  40d00f25
Apr 24, 2022
- Merge pull request #8 from SimonGuilloud/main · 7f74dd02
  SimonGuilloud authored 3 years ago
  7f74dd02
- Finished the implementation of the new substitutions mechanism and made all... · ee791ebd
  SimonGuilloud authored 3 years ago
  ee791ebd
Apr 22, 2022
- Implementation of lambda terms and formulas to represent substitution better.... · e5975116
  SimonGuilloud authored 3 years ago
  e5975116
Apr 15, 2022
- Merge pull request #7 from SimonGuilloud/main · 55d093d9
  SimonGuilloud authored 3 years ago
  55d093d9
- Merge branch 'epfl-lara:main' into main · ab20534b
  SimonGuilloud authored 3 years ago
  
  ab20534b
- Multiple changes to the running theories: · 1002eb5a
  SimonGuilloud authored 3 years ago
  1002eb5a
Mar 25, 2022
- Merge pull request #6 from SimonGuilloud/main · eacb9c06
  SimonGuilloud authored 3 years ago
  eacb9c06
- - Added kernel helper functions to instantiate schematic predicate or function in a whole sequent · a310af53
  SimonGuilloud authored 3 years ago
  a310af53
Mar 21, 2022
- start to work on set theory thorems · f50efde1
  SimonGuilloud authored 3 years ago
  
  f50efde1
Mar 14, 2022
- Merge pull request #3 from FlorianCassayre/proof-judgement · 84468083
  SimonGuilloud authored 3 years ago
  84468083
Mar 07, 2022
- Schematic predicates were not printed differently · 495bead8
  Florian Cassayre authored 3 years ago
  
  495bead8
Mar 02, 2022
- Add missing sugars to KernelHelpers · aa12ae15
  Florian Cassayre authored 3 years ago
  
  aa12ae15
- Fix the indenting of imports in the printer · 850ff7e6
  Florian Cassayre authored 3 years ago
  
  850ff7e6
Feb 21, 2022
- Introduce the proof judgement ADT · 78cfcc81
  Florian Cassayre authored 3 years ago
  
  78cfcc81
Feb 16, 2022
- Merge pull request #2 from SimonGuilloud/main · 9a3a4a59
  SimonGuilloud authored 3 years ago
  9a3a4a59
- Renamed proof steps for instantiation · 57792caa
  SimonGuilloud authored 3 years ago
  
  57792caa
- Update manual with proof checker, new proof steps. · 4d74fa97
  SimonGuilloud authored 3 years ago
  
  4d74fa97
- Add two proof step to deduce the instantiation of a schematic symbol. · 32ba1503
  SimonGuilloud authored 3 years ago
  
  32ba1503
- Merge pull request #1 from FlorianCassayre/update-printer · c36adfb2
  SimonGuilloud authored 3 years ago
  c36adfb2