Commits · lambda · Eric Wurbel / Evidence

Browse files

May 23, 2023
- added "lambda" masses computation (relies on integer arithmetic) · 725c5f6b
  Eric Würbel authored May 23, 2023
  
  725c5f6b
Feb 03, 2023
- error in Wincl enumeration · 8e286cd0
  Eric Würbel authored Feb 3, 2023
  
  8e286cd0
Feb 02, 2023
- added global BBA trace on level 1 · b3a1b588
  Eric Würbel authored Feb 2, 2023
  
  b3a1b588
Feb 01, 2023
- command line error handling. · 03635b04
  Eric Würbel authored Feb 1, 2023
  
  03635b04
- labeled sets version ok & tested. · 83b610cd
  Eric Würbel authored Feb 1, 2023
  
  83b610cd
Jan 30, 2023
- work in progress. Does not run (and probably not compile either). · 5ed1b07f
  Eric Würbel authored Jan 30, 2023
  
  5ed1b07f
- some comments. · 670f2ce1
  Eric Würbel authored Jan 30, 2023
  
  670f2ce1
- added options: print generated asp program and print answer sets · 466b7452
  Eric Würbel authored Jan 30, 2023
  
  466b7452
- bug in disjunction body generation. Corrected test predicate. · f14eca8b
  Eric Würbel authored Jan 30, 2023
  
  f14eca8b
Jan 27, 2023
- added traces. · f8537b46
  Eric Würbel authored Jan 27, 2023
  
  f8537b46
- ooops · 8e75a3de
  Eric Würbel authored Jan 27, 2023
  
  8e75a3de
- let's test this email thing · 2cd5c5e8
  Eric Würbel authored Jan 27, 2023
  
  2cd5c5e8
- small comment · 3ef3a612
  Eric Würbel authored Jan 27, 2023
  
  3ef3a612
- autoload error. · 3d6c5e15
  Eric Würbel authored Jan 27, 2023
  
  3d6c5e15
- reformating. · ece31856
  Eric Würbel authored Jan 27, 2023
  
  ece31856
Jan 25, 2023
- Ok, raw mode implemented. Reworked CLI · e58225ba
  Eric Würbel authored Jan 25, 2023
  
  e58225ba
- some useful comments. · 2700082a
  Eric Würbel authored Jan 25, 2023
  
  2700082a
Dec 02, 2022
- solved bug in subformulae disjunction rule generation. · faf2f7ae
  Eric Würbel authored Dec 2, 2022
  
  faf2f7ae
Nov 18, 2022
- added useless option :o) · 80bc88bf
  Eric Würbel authored Nov 18, 2022
  
  80bc88bf
Jun 24, 2022
- added some comments. · 14940faf
  Eric Würbel authored Jun 24, 2022
  
  14940faf
Jun 16, 2022
- divers ajouts pour le calcul des intersections des Bi · a69c875a
  Eric Würbel authored Jun 16, 2022
  
  a69c875a
Jun 10, 2022
- working on new example · 19fb0645
  Eric Würbel authored Jun 10, 2022
  
  19fb0645
May 31, 2022
- ignoring executable · a697aca9
  Eric Würbel authored May 31, 2022
  
  a697aca9
- added compilation script. · 613a2943
  Eric Würbel authored May 31, 2022
  
  613a2943
- first functional version. · 65da14aa
  Eric Würbel authored May 31, 2022
  
  65da14aa
- Excluding sandbox. · cecfb0d8
  Eric Würbel authored May 31, 2022
  
  cecfb0d8
May 25, 2022
- main program almost ok. Something wrong with negations. · 2df14c40
  Eric Würbel authored May 25, 2022
  
  2df14c40
May 23, 2022
- advances in generation (simplified sfp_ generation) and main pred. · 9f2a4b10
  Eric Würbel authored May 23, 2022
  
  9f2a4b10
May 20, 2022
- Begining of main predicate. Work on i/o. · fe9e5ca2
  Eric Würbel authored May 20, 2022
  
  fe9e5ca2
- working on the generation of asp prog representing a set of formulae. · 35382cd6
  Eric Würbel authored May 20, 2022
  
  35382cd6
May 18, 2022
- excluding tests dir. · 2b1f71c0
  Eric Würbel authored May 18, 2022
  
  2b1f71c0
- added automated run of ASP. · f1b27d57
  Eric Würbel authored May 18, 2022
  
  f1b27d57
May 17, 2022
- initialisation. · 203c8e5e
  Eric Würbel authored May 17, 2022
  
  203c8e5e