Skip to content
Snippets Groups Projects
Select Git revision
  • 2d-arrays
  • CI
  • QuickCheckFix
  • arrays2d
  • master default protected
5 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.012Feb23Dec221725Nov16Jun1510429May262519181611829Apr282526Mar251814121098425Feb1918141311965410Jan913Dec12924Nov181675429Oct2622161482130Sep2925211816121086231Aug292824232220171621Apr8Mar5428Feb25201918141310754329Jan2824178432131Dec302928201715111096229Nov24212019181715141394131Oct29252227Sep21201413Update DEPLOY.mdmaster remote_m…master remote_mirror_955f9cf82d831b07fda6ef467126a560/masterDocs: minor clarificationsDocs: typo in DEPLOY.mdGlobal: typo in stack.yamlZ3: fix installation/linking issuesgitignore: updateZ3: typo in install_z3.shZ3: Proper handling of temporary variablesZ3: Typo in API.hsDocs: Extra documentationCleanup2D Arrays: Desugaring multidimentional notationGlobal: Downgrade Z3 versionDebug: Log API requests + responsesWorking on 2d arrays / fixing bugs.QuickCheckFixQuickCheckFixZ3: Fix real arithmetic precisionAPI: Default options (can now emit "options" key)Test: Boolean comparison fixStarted working on fixing incorrect QuickCheck results.Tests: missing commaModel: Re-enabled model minificationDocs: minor fixes (4)Docs: minor fixes (3)Docs: minor fixes (2)Docs: minor fixesDocs: Updated API.mdDocs: EDSL specificationAPI: Fix JSON conversionarrays2darrays2dGlobal: Support for 2D-arrays (Test backend broken)API: Allow more user-friendly JSON keysGlobal: API option for checking only pre/postTests: End-to-end tests for serverMade logs slightly more structured.Both Z3 and QuickCheck don’t return Model keys with variable types now. Tests are fixed.Fixed bug that caused model returned by the web server to be empty.Fixed incorrect SoftDebug behaviour.Fixed bugs that caused incorrect precondition / postcondition feedback.EDSL: Fix 'with' var intros (with fresh vars)Added test iterations heuristic, added threading in LogicIR.Backend.TestEDSL: Implication + Variable introduction