Commit d8fe9ee

grigoryfedyukovich

committed

main AE-VAL functionality

1 parent 4ab99fb commit d8fe9eeCopy full SHA for d8fe9ee

358 files changed

+1908

-142033

lines changed

.travis.yml
CMakeFiles
- 3.5.1
  - CMakeCCompiler.cmake
- feature_tests.cxx
CMakeLists.txt
Dockerfile
README.md
contributors.txt
include
lib
play
- arrays
- boa
- crab
  - test-1.c
- fnptr
  - fn1.c
- mem
  - t1.c
  - t2.c
  - t3.c
  - t4.c
- neha-examples
  - 01.c
  - 02.c
  - 03.c
  - 04.c
  - 05.c
  - 06.c
  - 07.c
  - 08.c
  - 09.c
  - 10.c
  - 11.c
  - 12.c
  - 13.c
  - 14.c
  - 15.c
  - 16.c
  - 17.c
  - 18.c
  - 19.c
  - 20.c
  - 21.c
  - 22.c
  - 23.c
  - 24.c
  - 25.c
  - 26.c
  - 27.c
  - 28.c
  - 29.c
  - 30.c
  - 31.c
  - 32.c
  - 33.c
  - 34.c
  - 35.c
  - 36.c
  - 37.c
  - 38.c
  - 39.c
  - 40.c
  - 41.c
  - 42.c
  - 43.c
  - 44.c
  - 45.c
  - 46.c
- quant
  - ex1.c
  - ex1_instrumented.c
- simple-loops
- tests
py
sea-rt
seahorn_license.txt
share
- README.md
test
- CMakeLists.txt
- lit.cfg
- pabs-experiment
- predabs
- readme.md
- simple
- solve
tools
- CMakeLists.txt
- aeval
  - Ae.cpp
  - CMakeLists.txt
- seahorn
  - CMakeLists.txt
  - seahorn.cpp
- seainspect
  - CMakeLists.txt
  - seainspect.cc
- seapp
  - CMakeLists.txt
  - seapp.cc
units

358 files changed

+1908

-142033

lines changed

`‎.travis.yml`

This file was deleted.

`‎CMakeFiles/3.5.1/CMakeCCompiler.cmake`

This file was deleted.

Comments

(0)