Commits · master · Quentin Aristote / Static Analyzer

02 Jun, 2019 29 commits
- added example · 4da3b5b2
  Quentin Aristote authored Jun 02, 2019
  
  4da3b5b2
- added .out file · d696214b
  Quentin Aristote authored Jun 02, 2019
  
  d696214b
- deleted useless examples · 5e5297b5
  Quentin Aristote authored Jun 02, 2019
  
  5e5297b5
- changed 4th example · a4170940
  Quentin Aristote authored Jun 02, 2019
  
  a4170940
- Delete mccarthy.c · 285909a3
  Quentin Aristote authored Jun 02, 2019
  
  285909a3
- Delete factorial.c · 7e7d7d8e
  Quentin Aristote authored Jun 02, 2019
  
  7e7d7d8e
- nettoyé examples · db411a2a
  Clément Ogier authored Jun 02, 2019
  
  db411a2a
- rapport · dfaafd66
  Clément Ogier authored Jun 02, 2019
  
  dfaafd66
- remarque sur les fonctions · 61a3bee8
  Clément Ogier authored Jun 02, 2019
  
  61a3bee8
- ajout de l'exemple et d'une section · 18007e42
  Clément Ogier authored Jun 02, 2019
  
  18007e42
- ajout exemple 3 (ancien 3 maintenant 4) · 577ea734
  Clément Ogier authored Jun 02, 2019
  
  577ea734
- meilleur print · e7f00099
  Clément Ogier authored Jun 02, 2019
  
  e7f00099
- corrected function handling · 0db4c709
  Quentin Aristote authored Jun 02, 2019
  
  0db4c709
- longer help message · 6053a788
  Quentin Aristote authored Jun 02, 2019
  
  6053a788
- described disjoint intervals a bit more · eae86a50
  Quentin Aristote authored Jun 02, 2019
  
  eae86a50
- now allow pdfs and outs · 716721b8
  Quentin Aristote authored Jun 02, 2019
  
  716721b8
- removed recursion depth · f6e3c101
  Quentin Aristote authored Jun 02, 2019
  
  f6e3c101
- added final examples · 3d227db6
  Quentin Aristote authored Jun 02, 2019
  
  3d227db6
- removed examples directory · ec7faa86
  Quentin Aristote authored Jun 02, 2019
  
  ec7faa86
- wrote stuff · 73f531c4
  Quentin Aristote authored Jun 02, 2019
  
  73f531c4
- basically nothing · 75fa075a
  Quentin Aristote authored Jun 02, 2019
  
  75fa075a
- correct function handling · f9bc4283
  Quentin Aristote authored Jun 02, 2019
  
  f9bc4283
- ça marche · 2629c593
  Clément Ogier authored Jun 02, 2019
  
  2629c593
- removed example directory · bc627a7f
  Quentin Aristote authored Jun 02, 2019
  
  bc627a7f
- started writing report · 051fe528
  Quentin Aristote authored Jun 02, 2019
  
  051fe528
- corrected domain setting error message · cf55e0dd
  Quentin Aristote authored Jun 02, 2019
  
  cf55e0dd
- changed assertion display · bb09fe86
  Quentin Aristote authored Jun 02, 2019
  
  bb09fe86
- ajout de l'option dans frontend (Warning Equality ne marche pas) · 9501c30b
  Clément Ogier authored Jun 02, 2019
  
  9501c30b
- contraintes finies · 2c9be529
  Clément Ogier authored Jun 02, 2019
  
  2c9be529
29 May, 2019 1 commit
- premiere etape de l'ajout des contraintes et produits · 04ad87f1
  T440p Ogier authored May 29, 2019
  
  04ad87f1
24 May, 2019 2 commits
- changed function call handling · f48b70cc
  Quentin Aristote authored May 24, 2019
  
  f48b70cc
- added recursion support · 0d7652b2
  Quentin Aristote authored May 24, 2019
  
  0d7652b2
20 May, 2019 1 commit
- added inter-procedural analysis · 92a385ea
  Quentin Aristote authored May 20, 2019
  
  92a385ea
12 May, 2019 7 commits
- replaced join by widen · f50752f6
  Quentin Aristote authored May 12, 2019
  
  f50752f6
- added printing of error messages · 7cb6586a
  Quentin Aristote authored May 12, 2019
  
  7cb6586a
- replaced Printf with Format · 4ed6956e
  Quentin Aristote authored May 12, 2019
  
  4ed6956e
- now ignores dot files · 550f7dd2
  Quentin Aristote authored May 12, 2019
  
  550f7dd2
- removed deletion of parser files · 9e7f080c
  Quentin Aristote authored May 12, 2019
  
  9e7f080c
- little cleaning · e37cc4ca
  Quentin Aristote authored May 12, 2019
  
  e37cc4ca
- changed usage · d1337555
  Quentin Aristote authored May 12, 2019
  
  d1337555