lemma functions for match_string - #14

Open

SetSplin wants to merge 15 commits into

evdenis:masterfrom

SetSplin:master

Commits on Jul 25, 2019

[+] match_string proved

Igor Tarakanov
authored and
evdenis
committed
25d2856
[fix] requirements for NULL terminated arrays, logic functions from strcmp.h

Igor Tarakanov
authored and
evdenis
committed
56546da
[fix] correct -1 casting

Igor Tarakanov
authored and
evdenis
committed
ca8d329
[wip]

Igor Tarakanov
authored and
evdenis
committed
ab9fcfd
[wip]

Igor Tarakanov
authored and
evdenis
committed
baa74c1
[+] match_string for null-terminated arrays proved

Igor Tarakanov
authored and
evdenis
committed
8dbb5dd
match_string: regenerate session
evdenis
committed
4f70635
match_string: restore original main
evdenis
committed
3b93699
match_string: reindend
evdenis
committed
777541d

Commits on Jul 28, 2019

match_string: simplify specification
evdenis
committed
d25b3f1
strcmp: add logic function
evdenis
committed
87faa30
strncmp: move contract to the header
evdenis
committed
8345738
strnlen: session update
evdenis
committed
bbde78d

Commits on Aug 21, 2019

Merge branch 'master' of github.com:evdenis/verker
Igor Tarakanov
committed
8e420ba
[+] lemma functions
Igor Tarakanov
committed
38ab80d