Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • 40e9c967a82fad78f40d6dced869931e3ecd53da
  • master default protected
  • btypes-fixes
  • embedded-codegen
  • freetypes
  • rust-support
  • z3solver
7 results
Created with Raphaël 2.2.06Oct5432129Sep28201824Aug2221191817169874Jul16May9825Apr2423222019181716151431Jan304Dec28Nov2221826Oct1754Aug3228Jul2721201913121110529Jun272622129811May424Apr2320191817151413121130Mar27231396227Feb2316930Jan8313Dec916Nov141312Oct1Sep29Aug2219181512111098529Jul28272625141198Do not optimize projection with record typeRevert change in SetWithPredicateGeneratorImplement missing functions isTotalBoolean and isPartialBoolean in Java BRelationRewrite SET_RELATIONFix a compilation errorFix an error in handling tuplesImplement checkDomainBoolean in BRelationFix tests due to warningFix a typo in RelLaws_BOOL1Fix FunLaws testFix FunLaws testImprove type inference for rel, and handle void type more specificallyUse BObject as void types for untyped constructsFix SeqLaws testDistinguish between sets and relations in domain and range operatorHelp type checker in conc operation in Java BRelationHelp Java's compiler with typing more activelyRewrite sequences to functionsTry to fix in error caused while handling conditional predicate in iteration construct too strictWeaken testSetLawsNatural as its execution takes too longFix an error when handling identityRemove TODOs that are solvedCarefully remove conditional predicates in inner constructs of quantified constructsFix output for SetLawsNat testTry to fix handling conditional predicatesAdd conditional predicate to iteration constructs in TypeScript templateAdd conditional predicate to iteration constructs in C++ templateFix an NPE in IterationPredicateGenerator.javaCarefully remove conditional predicate within quantified constructFix handling of conditional predicate before quantified constructFix errors in intersection for Java and TypeScriptFix intersect in C++ BSet primitivesFix generalized intersection for TypeScriptFix generalized intersection for C++Fix generalized intersection for JavaFix an error in generalized union for BSetFix generalized union for C++Fix generalized union for JavaScriptRemove debug printsFix a compilation error in BSet.java
Loading