Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 12, 2020

• more Ostrich compatibility

  pruemmer

  committedDec 12, 2020
  f3c0c48

Commits on Dec 4, 2020

• optimisation

  pruemmer

  committedDec 4, 2020
  39e279c

Commits on Dec 3, 2020

• ostrich as a further SMT solver

  pruemmer

  committedDec 3, 2020
  d4bddcc

Commits on Feb 18, 2020

• Renamed folder.

  

  robama

  committedFeb 18, 2020
  e385872

Commits on Oct 1, 2019

• Stable results.

  

  robama

  committedOct 1, 2019
  cc6871b

• Fixed push_nogoods_smt function.

  

  robama

  committedOct 1, 2019
  8473300

Commits on Sep 30, 2019

• Minor.

  

  robama

  committedSep 30, 2019
  c3519fa

• Minor.

  

  robama

  committedSep 30, 2019
  d4ecc56

Commits on Sep 26, 2019

• Minor.

  

  robama

  committedSep 26, 2019
  425b24f

• Merge branch 'master' of github.com:ArathaJS/aratha

  

  robama

  committedSep 26, 2019
  9e7be77

• Simple workaround for nogoods.

  

  robama

  committedSep 26, 2019
  a817cd6

Commits on Sep 25, 2019

• Some minor changes.

  

  robama

  committedSep 25, 2019
  325f0a0

Commits on Sep 21, 2019

• Just a note.

  

  robama

  committedSep 21, 2019
  ff3c54d

Commits on Sep 19, 2019

• Minor fix.

  

  robama

  committedSep 19, 2019
  0f231f2

Commits on Sep 18, 2019

• Workaround for running (sequentially) different solvers on the

  

  robama

  committedSep 18, 2019
  022cbfd

Commits on Aug 19, 2019

• Fixed scripts.

  

  robama

  committedAug 19, 2019
  db975ed

• Modified README and scripts.

  

  robama

  committedAug 19, 2019
  c805b86

• Added src folder.

  

  robama

  committedAug 19, 2019
  0079833

• Disabled incremental solving for CP solvers.

  

  robama

  committedAug 19, 2019
  b43d69d

• Fixed workaround for TypeError on methods invocation.

  

  robama

  committedAug 19, 2019
  86ec9fd

Commits on Aug 16, 2019

• Added benchmarks and scripts.

  

  robama

  committedAug 16, 2019
  7be9bf0

• Removed garbage.

  

  robama

  committedAug 16, 2019
  3d0440f

• Moved benchmarks into a new folder.

  

  robama

  committedAug 16, 2019
  295b0fb

Commits on Aug 15, 2019

• Aligning to last version of G-Strings. Added some benchmarks.

  

  robama

  committedAug 15, 2019
  1996c55

Commits on Feb 7, 2019

• Inherit PATH from shell for tests

  

  robama

  committedFeb 7, 2019
  96288a5

• Add is-circular to dependencies

  

  robama

  committedFeb 7, 2019
  f3bd0e3

Commits on Feb 4, 2019

• Updated lib.

  

  robama

  committedFeb 4, 2019
  9d9862d

Commits on Jan 6, 2019

• Fixed README

  

  robama

  committedJan 6, 2019
  c40a660

Commits on Dec 17, 2018

• Merge branch 'master' of github.com:ArathaJS/aratha

  

  robama

  committedDec 17, 2018
  730af81

• Add package.json and fix README.md

  Muon

  committedDec 17, 2018
  02f4884

Commits on Dec 4, 2018

• Added z3str prelude.

  

  robama

  committedDec 4, 2018
  1e9045b

Commits on Nov 29, 2018

• Some optimisations.

  

  robama

  committedNov 29, 2018
  3097cc9

• Fix consolidation of regex character ranges

  Muon

  committedNov 29, 2018
  8370ce8

• Fixed handling of str.to.re

  

  robama

  committedNov 29, 2018
  73f6d15

• Fixed RegExpExec

  

  robama

  committedNov 29, 2018
  ac60cc1

Pagination

PreviousNext