Files

 master

/

Source

/

Copy path

Directory actions

More options

Directory actions

More options

Latest commit

shazqadeer

erase linear annotations that appear on type constructors and type sy…

Mar 31, 2021

ca31fcb · Mar 31, 2021

History

History

This branch is 510 commits behind boogie-org/boogie:master.

/

Source

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
AbsInt		AbsInt	Refactoring VerifyImplementation (boogie-org#342)	Feb 13, 2021
BaseTypes		BaseTypes	Drop .NET Framework build (boogie-org#305)	Oct 20, 2020
BoogieDriver		BoogieDriver	Improve command-line interface (boogie-org#316)	Dec 13, 2020
CodeContractsExtender		CodeContractsExtender	Drop .NET Framework build (boogie-org#305)	Oct 20, 2020
Concurrency		Concurrency	erase linear annotations that appear on type constructors and type sy…	Mar 31, 2021
Core		Core	fixes boogie-org#355	Mar 27, 2021
ExecutionEngine		ExecutionEngine	Move Vec to LibraryDefinitions (boogie-org#354)	Mar 21, 2021
Graph		Graph	Drop .NET Framework build (boogie-org#305)	Oct 20, 2020
Houdini		Houdini	Refactoring VerifyImplementation (boogie-org#342)	Feb 13, 2021
Model		Model	One more model-parsing fix (boogie-org#339)	Feb 6, 2021
Predication		Predication	Drop .NET Framework build (boogie-org#305)	Oct 20, 2020
Provers/SMTLib		Provers/SMTLib	fixes boogie-org#355	Mar 27, 2021
UnitTests		UnitTests	CIVL cleanup: simplified Absy construction and consistent use of Asse…	Nov 11, 2020
VCExpr		VCExpr	Quantifier instantiation on VC expressions (boogie-org#352)	Mar 20, 2021
VCGeneration		VCGeneration	Quantifier instantiation on VC expressions (boogie-org#352)	Mar 20, 2021
Boogie.sln		Boogie.sln	Drop .NET Framework build (boogie-org#305)	Oct 20, 2020
Directory.Build.props		Directory.Build.props	updating version	Mar 29, 2021
StyleCop.ruleset		StyleCop.ruleset	Renamed ruleset file name	Jul 18, 2020
stylecop.json		stylecop.json	Added StyleCop config file	Jul 17, 2020
version.cs		version.cs	Set model_compress=false with Z3 version 4.8 or newer, because {:capt…	May 3, 2019
View all files