summaryrefslogtreecommitdiff
path: root/Chalice/src/Chalice.scala
Commit message (Expand)AuthorAge
* Chalice: Chalice is now built using sbt (simple built tool).Gravatar stefanheule2011-08-02
* Chalice: Improve smoke testing: look for preconditions of functions, predicat...Gravatar stefanheule2011-07-22
* Chalice: improve smoke testing to use the subsumption option only for the "as...Gravatar stefanheule2011-07-20
* Chalice: Improve command line help and allow both "-param" (old) and "/param"...Gravatar stefanheule2011-07-20
* Chalice: Smoke testing to find unreachable code, preconditions that are equiv...Gravatar stefanheule2011-07-18
* Chalice: Removed debug codeGravatar mschwerhoff2011-07-05
* Chalice: Fixed a bug that prevented Chalice from correctly dealing with Boogi...Gravatar Unknown2011-07-05
* Chalice: New permission model that provides more abstraction and more flexibi...Gravatar stefanheule2011-07-01
* Fix some deprecation warnings from scalac 2.8.0.Gravatar kyessenov2011-02-16
* Small changes to compile and test Chalice on Linux.Gravatar kyessenov2010-12-04
* VS 2010 mode for Chalice: some errors didn't show up in the window because po...Gravatar kyessenov2010-08-20
* Chalice: turn asserts into assumes for method refinements (use -noFreeAssume ...Gravatar kyessenov2010-08-19
* Chalice:Gravatar kyessenov2010-08-18
* Chalice: add pre-conditions to specification statements; semantically spec st...Gravatar kyessenov2010-08-13
* Chalice: accept many input files at once; read from stdin if no input file sp...Gravatar kyessenov2010-08-12
* Chalice: put classes and objects into package "chalice"Gravatar kyessenov2010-08-11
* Chalice: forcefully kill Boogie with taskkill /T /F on terminationGravatar kyessenov2010-08-10
* Chalice: terminate Boogie subprocess manually on interrupt; Z3 still stays al...Gravatar kyessenov2010-08-06
* Chalice:Gravatar kyessenov2010-07-30
* Chalice: added surface syntax for acc(s[*].*) and acc(s[*].f); extended AST, ...Gravatar kyessenov2010-07-20
* Chalice: revert minor commit; add cygwin python make scriptGravatar kyessenov2010-07-15
* Chalice: fix a bug for boogie print-out of a sequence classGravatar kyessenov2010-07-15
* Chalice:Gravatar rustanleino2010-06-25
* Chalice: Implemented -vs switch, for use when running Chalice from inside Vi...Gravatar rustanleino2010-01-15
* - the "-gen" option works only if the program verifiesGravatar jansmans2009-10-16
* Implemented -noDeadlockChecks mode. With this mode, it is possible to give s...Gravatar rustanleino2009-10-01
* Parse channels and condition variables.Gravatar rustanleino2009-08-05
* Initial set of files.Gravatar mikebarnett2009-07-15
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-23 16:56:08 +0000