Commits · e78ff37eb02fcb376621f2e21fdd4fa2370525e6 · LARA / lisa · GitLab

Snippets Groups Projects

Oct 03, 2022
- Trying to satisfy the CI, 8. · e78ff37e
  SimonGuilloud authored 2 years ago
  
  e78ff37e
- Trying to satisfy the CI, 7. · 2b7b05a0
  SimonGuilloud authored 2 years ago
  
  2b7b05a0
- Trying to satisfy the CI, 6. · 797223f3
  SimonGuilloud authored 2 years ago
  
  797223f3
- trying to sastisfy the CI 5. · 6a25924b
  SimonGuilloud authored 2 years ago
  
  6a25924b
- scalafix 3. · 4f97ea70
  SimonGuilloud authored 2 years ago
  
  4f97ea70
- scalafix 2. · b7bffd62
  SimonGuilloud authored 2 years ago
  
  b7bffd62
- scalafix. · 41acc944
  SimonGuilloud authored 2 years ago
  
  41acc944
- Merge conflicts in the manual · 1a7af4a2
  SimonGuilloud authored 2 years ago
  
  1a7af4a2
- Merge branch 'main' into front-integration · ee15e0c7
  SimonGuilloud authored 2 years ago
  
  ee15e0c7
Sep 29, 2022
- Merge pull request #45 from cache-nez/require-arity · 967f9ead
  SimonGuilloud authored 2 years ago
  967f9ead
- Merge branch 'main' into require-arity · e0a7260e
  SimonGuilloud authored 2 years ago
  
  e0a7260e
- Merge pull request #43 from sankalpgambhir/main · 6e3fd810
  SimonGuilloud authored 2 years ago
  6e3fd810
- Merge pull request #41 from cache-nez/clarify-front-tests · c082c167
  SimonGuilloud authored 2 years ago
  c082c167
Sep 26, 2022
- Merge branch 'main' into main · ddf000f9
  Viktor Kunčak authored 2 years ago
  
  ddf000f9
Sep 25, 2022
- Move all Peano-related files into their own package · 5f70f712
  Katja Goltsova authored 2 years ago
  
  5f70f712
- Run scalafix on Peano · 1b3106f4
  Katja Goltsova authored 2 years ago
  
  1b3106f4
- Prove in Peano arithmetic that x+y=y+x · ebe05d5a
  Katja Goltsova authored 2 years ago
  
  ebe05d5a
- Generalize instantiateForallAxiom to instantiateForallImport · befd7976
  Katja Goltsova authored 2 years ago
  
  befd7976
- Factor out Peano induction application · 73a298ee
  Katja Goltsova authored 2 years ago
  
  73a298ee
- Use instantiateForallAxiom in the proof of x+0=0+x to clean up the left hand side of the proof · 152289c4
  Katja Goltsova authored 2 years ago
  
  152289c4
- Prove in Peano that x+Sy = Sx+y · 6e355f4d
  Katja Goltsova authored 2 years ago
  
  6e355f4d
- Prove in Peano arithmetics that x + 0 = 0 + x · 96085809
  Katja Goltsova authored 2 years ago
  
  96085809
- Introduce PeanoArithmetics, PeanoArithmeticsLibrary, Peano · 453f3674
  Katja Goltsova authored 2 years ago
  453f3674
- Create a running theory with Peano axioms · db5131ab
  Ekaterina Goltsova authored 2 years ago
  
  db5131ab
- added subset definition axiom · b5b141eb
  Sankalp Gambhir authored 2 years ago
  
  b5b141eb
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
Sep 08, 2022
- Merge pull request #44 from cache-nez/broken-link · d0a96d1a
  SimonGuilloud authored 2 years ago
  d0a96d1a
Sep 05, 2022
- Fix a broken link to the reference manual · 9855b826
  Katja Goltsova authored 2 years ago
  
  9855b826
Sep 02, 2022
- Grammatical updates for part 2 · 66ea4a60
  Sankalp Gambhir authored 2 years ago
  
  66ea4a60
- Grammatical edits for introduction and part 1 · 05ea36da
  Sankalp Gambhir authored 2 years ago
  05ea36da
Sep 01, 2022
- Further split unification tests: 1 test corresponds to 1 check · 19881372
  Katja Goltsova authored 2 years ago
  
  19881372
Aug 31, 2022
- Run scalafix · c9c27783
  Katja Goltsova authored 2 years ago
  
  c9c27783
- Ignore unification tests until unification works with the new version of Lisa · 41cf66bc
  Katja Goltsova authored 2 years ago
  
  41cf66bc
- Improve error messaging in front ProofTests · b6073fd7
  Katja Goltsova authored 2 years ago
  b6073fd7
- @Ignore front's proof tests (instead of commenting out) · d31c103c
  Katja Goltsova authored 2 years ago
  
  d31c103c
- Split unification tests into multiple test cases · 947daec3
  Katja Goltsova authored 2 years ago
  
  947daec3
- Make unification tests more readable: · 08c61048
  Katja Goltsova authored 2 years ago
  08c61048
Aug 29, 2022
- remove leftover tentative code in Mapping.scala · 8bf95115
  SimonGuilloud authored 2 years ago
  
  8bf95115
Aug 28, 2022
- Removed old manual. · 51d9edb1
  SimonGuilloud authored 2 years ago
  
  51d9edb1
- Reworked LISA Reference Manual. · 9f55898f
  SimonGuilloud authored 2 years ago
  
  9f55898f